February 2019 - talks - lists.cs.princeton.edu

Zvi Galil Distinguished Lecture next Thursday (Valentine's Day) 12:30p
by Nick Feamster 07 Feb '19

07 Feb '19

Folks, Zvi Galil, Dean of Computing at Georgia Tech, the architect of the online MS in Computer Science at Georgia Tech, former Dean of Columbia, former president of Tel Aviv University, and member of the NAE, will be joining us next week for a distinguished lecture to tell us about Georgia Tech’s online Masters in Computer Science (OMSCS). Our department can learn a lot from Zvi and his OMSCS adventure, which I helped start (I developed one of the first courses in the degree). Aside from his distinguished career in research and administration, Zvi’s vision and leadership took Georgia Tech from relative obscurity to a top-tier department. Did I mention Zvi is a super great guy and that he has a fantastic sense of humor? You’ll really enjoy his talk, and I hope to see you there. Talk abstract here: https://www.cs.princeton.edu/events/25800 Please sign up to meet him here: https://docs.google.com/spreadsheets/d/1F_WgfioAIruNhJtrJHWEQSmR24hEFXm8EVz… Best, -Nick

1 0

Colloquium Speaker-Tam Vu, TODAY at 4:30pm
by Emily C. Lawrence 07 Feb '19

07 Feb '19

Colloquium Speaker Tam Vu from the University of Colorado, Boulder Thursday, February 7 - 4:30-5:30pm Computer Science - Room 105 Host: Jennifer Rexford " Earable Computers : Ear-worn Systems for Healthcare, HCI, BCI, and Brain Stimulations" This talk introduces the concept of " Earable computers", small computing and actuating devices that are worn inside, behind, around, or on user's ears. Earable sensing and actuation are motivated from the fact that human ears are relatively close to the sources of many important physiological signals such as the brain, eyes, facial muscles, heart, core body temperature, and more. Therefore, placing the sensors and associated stimulators inside the ear canals or behind the ears could open up a wide range of applications from improving cognitive function, keeping truck drivers from falling asleep while driving, extending attention span, to quantifying pain and suffering, reducing opioid use, suppressing seizure, just to name a few. This talk will discuss the opportunities that earable systems could bring and system challenges that need to be addressed to unleash its potentials. I will share our experience and lessons learned through realizing such systems in the context of human computer interaction, brain computer interaction, and healthcare. Bio: Tam Vu is an Assistant Professor of Computer Science Department at University of Colorado, Boulder. He directs Mobile and Networked Systems (MNS) Lab at the university, where he and his team conduct system research in the areas of wearable and mobile systems including mobile healthcare, mobile security, cyber physical system, and wireless sensing. His research has been recognized with a NSF CAREER award, two Google Faculty Awards, ten best paper awards, best paper nomination, and research highlights in flagship venues in mobile system research including MobiCom , MobiSys , and SenSys . He is also actively pushing his research outcomes to practice through technology transfer activities with 17 patents filed and leading two start-ups that he co-founded to commercialize them.

1 0

Reminder: Colloquium Speaker-Tam Vu, tomorrow at 4:30pm
by Emily C. Lawrence 06 Feb '19

06 Feb '19

Colloquium Speaker Tam Vu from the University of Colorado, Boulder Thursday, February 7 - 4:30-5:30pm Computer Science - Room 105 Host: Jennifer Rexford " Earable Computers : Ear-worn Systems for Healthcare, HCI, BCI, and Brain Stimulations" This talk introduces the concept of " Earable computers", small computing and actuating devices that are worn inside, behind, around, or on user's ears. Earable sensing and actuation are motivated from the fact that human ears are relatively close to the sources of many important physiological signals such as the brain, eyes, facial muscles, heart, core body temperature, and more. Therefore, placing the sensors and associated stimulators inside the ear canals or behind the ears could open up a wide range of applications from improving cognitive function, keeping truck drivers from falling asleep while driving, extending attention span, to quantifying pain and suffering, reducing opioid use, suppressing seizure, just to name a few. This talk will discuss the opportunities that earable systems could bring and system challenges that need to be addressed to unleash its potentials. I will share our experience and lessons learned through realizing such systems in the context of human computer interaction, brain computer interaction, and healthcare. Bio: Tam Vu is an Assistant Professor of Computer Science Department at University of Colorado, Boulder. He directs Mobile and Networked Systems (MNS) Lab at the university, where he and his team conduct system research in the areas of wearable and mobile systems including mobile healthcare, mobile security, cyber physical system, and wireless sensing. His research has been recognized with a NSF CAREER award, two Google Faculty Awards, ten best paper awards, best paper nomination, and research highlights in flagship venues in mobile system research including MobiCom , MobiSys , and SenSys . He is also actively pushing his research outcomes to practice through technology transfer activities with 17 patents filed and leading two start-ups that he co-founded to commercialize them.

1 0

Robert Harrison will present his Pre FPO on February 7, 2019 at 2pm in CS 402
by Nicki Gotsis 04 Feb '19

04 Feb '19

Robert Harrison will present his Pre FPO on February 7, 2019 at 2pm in CS 402. The members of his committee are as follows: Jennifer Rexford (adviser), Nick Feamster, Nate Foster (Cornell), Kyle Jamieson, and David Walker All are welcome to attend. The talk title and abstract follow below. Title: Scalable Network-Wide Telemetry with Programmable Switches Abstract: Managing and securing modern networks requires collecting and analyzing network traffic from a distributed collection of switches in real time, i.e., performing network-wide telemetry. Telemetry systems must be flexible and fine-grained, both in timescale and traffic detail, to support the wide range of queries that analyze security, performance, and reliability properties of networks. Yet, they must also scale as the number of monitoring tasks, link speeds, and the size of the networks grow. Achieving fine-grained, network-wide telemetry that scales requires balancing the division of labor between high-speed network switches and general-purpose CPUs. Modern Protocol Independent Switch Architecture (PISA) switches combine the high-speed processing of network hardware with the programmability, albeit limited, of general-purpose CPUs and allow us to adjust this division of labor. This thesis explores, first, how to partition telemetry tasks between a general-purpose CPU and a single PISA switch for a flexible query language, and second, how to distribute a subset of queries expressed in that language across a set of switches. In order to realize these goals, we must address two key challenges: (i) how to effectively use a programmable switch to perform customized data collection that minimizes the amount of data processed by the CPU, and (ii) how to efficiently coordinate among a distributed set of switches to compute the output of a global function. In addressing both of these challenges, we must operate within memory, processing, and bandwidth constraints. We describe our solutions, respectively, to these challenges below. First, we present Sonata, an expressive and scalable network telemetry system that performs the collection and analysis of network traffic using the compute resources of both stream-processing servers and a programmable switch. Sonata provides a declarative interface to express queries using dataflow operators for a range of common telemetry tasks. Sonata partitions queries across a stream processor and a switch data plane, running as much of the query as it can on the network switch at line rate. Sonata models the constraints of PISA switches and solves an optimization problem to compile the high-level dataflow operators in the query language to low-level PISA primitives. Sonata can support a wide range of monitoring tasks while reducing the workload on the stream processor by orders of magnitude compared to existing telemetry systems. Second, we present Herd, a system for implementing a subset of Sonata queries distributed across a set of switches with high accuracy under resource constraints. Our solution counts relevant flows at distributed switches without maintaining per-flow state and probabilistically reports them to a central coordinator. Based on these reports, the coordinator adapts the reporting threshold and probability at each switch based on the spatial locality of the flows. Simulations using real traffic traces show that our prototype can detect network-wide heavy hitters accurately with 17% savings in communication overhead and 38% savings in switch state compared to existing approaches. We then present an algorithm to tune system parameters in order to maximize detection accuracy under resource constraints. Together, Sonata and Herd provide network operators the ability to execute a set of network-wide telemetry queries from a single interface that combines the strengths of both programmable data planes and general-purpose CPUs to achieve both flexibility and scalability.

1 0

Colloquium Speaker-Cynthia Sturton, TODAY at 12:30
by Emily C. Lawrence 04 Feb '19

04 Feb '19

Colloquium Speaker Cynthia Sturton, from University of North Carolina at Chapel Hill Monday, February 4 - 12:30pm Computer Science - Room 105 Host: Margaret Martonosi “Hardware is the New Software: Finding Exploitable Bugs in Hardware Designs” Bugs in hardware designs can create vulnerabilities that open the machine to malicious exploit. Despite mature functional validation tools and new research in designing secure hardware, the question of how to find and recognize those bugs remains open. My students and I have developed two tools in response to this question. The first is a security specification miner; it semi-automatically identifies security-critical properties of a design specified at the register transfer level. The second tool, Coppelia , is a symbolic execution engine that explores a hardware design and generates complete exploits for the security bugs it finds. We use Coppelia and our set of generated security properties to find new bugs in the open-source RISC-V and OR1k CPU architectures. Bio: Cynthia Sturton is an Assistant Professor and Peter Thacher Grauer Fellow at the University of North Carolina at Chapel Hill. She leads the Hardware Security @ UNC research group to investigate the use of static and dynamic analysis to protect against vulnerable hardware designs. Her research is funded by several National Science Foundation awards, the Semiconductor Research Corporation, Intel, a Junior Faculty Development Award from the University of North Carolina, and a Google Faculty Research Award. She was recently awarded the Computer Science Departmental Teaching Award at the University of North Carolina. Sturton received her B.S.E. from Arizona State University and her M.S. and Ph.D. from the University of California, Berkeley. Lunch will be available to talk attendees at 12:00pm.

1 0

Reminder: Colloquium Speaker-Cynthia Sturton, tomorrow at 12:30
by Emily C. Lawrence 03 Feb '19

03 Feb '19

Colloquium Speaker Cynthia Sturton, from University of North Carolina at Chapel Hill Monday, February 4 - 12:30pm Computer Science - Room 105 Host: Margaret Martonosi “Hardware is the New Software: Finding Exploitable Bugs in Hardware Designs” Bugs in hardware designs can create vulnerabilities that open the machine to malicious exploit. Despite mature functional validation tools and new research in designing secure hardware, the question of how to find and recognize those bugs remains open. My students and I have developed two tools in response to this question. The first is a security specification miner; it semi-automatically identifies security-critical properties of a design specified at the register transfer level. The second tool, Coppelia , is a symbolic execution engine that explores a hardware design and generates complete exploits for the security bugs it finds. We use Coppelia and our set of generated security properties to find new bugs in the open-source RISC-V and OR1k CPU architectures. Bio: Cynthia Sturton is an Assistant Professor and Peter Thacher Grauer Fellow at the University of North Carolina at Chapel Hill. She leads the Hardware Security @ UNC research group to investigate the use of static and dynamic analysis to protect against vulnerable hardware designs. Her research is funded by several National Science Foundation awards, the Semiconductor Research Corporation, Intel, a Junior Faculty Development Award from the University of North Carolina, and a Google Faculty Research Award. She was recently awarded the Computer Science Departmental Teaching Award at the University of North Carolina. Sturton received her B.S.E. from Arizona State University and her M.S. and Ph.D. from the University of California, Berkeley. Lunch will be available to talk attendees at 12:00pm.

1 0

Colloquium Speaker-Tam Vu, Thursday, Feb 7
by Emily C. Lawrence 01 Feb '19

01 Feb '19

Colloquium Speaker Tam Vu from the University of Colorado, Boulder Thursday, February 7 - 4:30-5:30pm Computer Science - Room 105 Host: Jennifer Rexford " Earable Computers : Ear-worn Systems for Healthcare, HCI, BCI, and Brain Stimulations" This talk introduces the concept of " Earable computers", small computing and actuating devices that are worn inside, behind, around, or on user's ears. Earable sensing and actuation are motivated from the fact that human ears are relatively close to the sources of many important physiological signals such as the brain, eyes, facial muscles, heart, core body temperature, and more. Therefore, placing the sensors and associated stimulators inside the ear canals or behind the ears could open up a wide range of applications from improving cognitive function, keeping truck drivers from falling asleep while driving, extending attention span, to quantifying pain and suffering, reducing opioid use, suppressing seizure, just to name a few. This talk will discuss the opportunities that earable systems could bring and system challenges that need to be addressed to unleash its potentials. I will share our experience and lessons learned through realizing such systems in the context of human computer interaction, brain computer interaction, and healthcare. Bio: Tam Vu is an Assistant Professor of Computer Science Department at University of Colorado, Boulder. He directs Mobile and Networked Systems (MNS) Lab at the university, where he and his team conduct system research in the areas of wearable and mobile systems including mobile healthcare, mobile security, cyber physical system, and wireless sensing. His research has been recognized with a NSF CAREER award, two Google Faculty Awards, ten best paper awards, best paper nomination, and research highlights in flagship venues in mobile system research including MobiCom , MobiSys , and SenSys . He is also actively pushing his research outcomes to practice through technology transfer activities with 17 patents filed and leading two start-ups that he co-founded to commercialize them.

1 0