Select a calendar:
Filter March Events by Event Type:
SUNMONTUEWEDTHUFRISAT
Events for March 01, 2016
-
CS Colloquium: Manu Sridharan (Samsung Research) - Analysis Tools for Reliable Software Everywhere
Tue, Mar 01, 2016 @ 11:00 AM - 12:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Manu Sridharan, Samsung Research America
Talk Title: Analysis Tools for Reliable Software Everywhere
Series: CS Colloquium
Abstract: This lecture satisfies requirements for CSCI 591: Computer Science Research Colloquium
Software is becoming ubiquitous in everyday life, from today's
smartphones and servers to tomorrow's self-driving cars, drones, and Internet of Things devices. However, the distributed, always-on nature of this software poses significant new challenges for reliability, security, and programmer productivity. Better programming tools are needed to enable next-generation applications to achieve their full transformative potential. I have helped design and develop several such tools in my recent research based on novel techniques in program analysis.
This talk will focus on EventRacer, the first tool for discovering and debugging non-determinism errors in event-driven programs. Event-driven programming has recently achieved a meteoric rise in popularity, as it is well-suited to the needs of modern interactive, client-server applications. However, event-driven programs often suffer from timing-based data races that can be fiendishly difficult to reproduce and debug. EventRacer adapts the notion of a "happens-before relation" from concurrent and distributed systems to give a clean definition of data races for event-driven programs. It also incorporates multiple novel techniques to achieve scalability and usability for real-world applications. With EventRacer, we found many errors in deployed Fortune 100 web sites, and its techniques have since been applied in a variety of other emerging domains.
Biography: Manu Sridharan is a senior researcher at Samsung Research America in the area of programming languages and software engineering. He received his PhD from the University of California, Berkeley in 2007, and he worked as a research staff member at IBM Research from 2008-2013. His research has drawn on, and contributed to, techniques in static analysis, dynamic analysis, and program synthesis, with applications to security, software quality, code refactoring, and software performance. His work has been incorporated into multiple commercial products, including IBM's commercial security analysis tool and Samsung's developer toolkit for the Tizen operating system. For further details, see http://manu.sridharan.net.
Host: CS Department
Location: Olin Hall of Engineering (OHE) - 136
Audiences: Everyone Is Invited
Contact: Assistant to CS chair
-
Epstein Institute Seminar - ISE 651
Tue, Mar 01, 2016 @ 03:30 PM - 04:50 PM
Daniel J. Epstein Department of Industrial and Systems Engineering
Conferences, Lectures, & Seminars
Speaker: Eric Horvitz, Technical Fellow & Managing Director - Microsoft Research Lab
Talk Title: Data, Predictions, and Decisions in Support of People and Society
Host: Ali Abbas
More Information: March 1, 2016 Horvitz.pdf
Location: Ethel Percy Andrus Gerontology Center (GER) - 206
Audiences: Everyone Is Invited
Contact: Michele ISE
-
CS Colloquium: Iolanda Leite (Disney Research) - Long-term Human-Robot Interaction in the Real-World
Tue, Mar 01, 2016 @ 04:00 PM - 05:00 PM
Thomas Lord Department of Computer Science
Conferences, Lectures, & Seminars
Speaker: Iolanda Leite, Disney Research
Talk Title: Long-term Human-Robot Interaction in the Real-World
Series: CS Colloquium
Abstract: This lecture satisfies requirements for CSCI 591: Computer Science Research Colloquium
Most social robots and virtual characters are still unable to keep users engaged over repeated interactions because they lack social and adaptive capabilities that facilitate the interaction once the novelty effect fades away. In this seminar, I will present my past and current research on mechanisms that allow autonomous robots to be deployed in real-world social environments over weeks and months. These mechanisms include computational models of empathy, turn-taking and engagement. I will present evidence on the positive effects of implementing these models in robots and virtual characters interacting with people in several application domains, and discuss limitations of the current state of the art in robotic technology suitable for realistic social environments. An improved understanding of how robots should perceive and act depending on their surrounding social context can lead to more natural, enjoyable and useful long-term human-robot interactions.
The meeting will be available to stream HERE. Please open in new tab for best results.
Biography: Iolanda Leite is an Associate Research Scientist at Disney Research, Pittsburgh. She received her Ph.D in Information Systems and Computer Engineering from Instituto Superior Técnico, University of Lisbon, in 2013. From 2013 to 2015, she was a Postdoctoral Associate at the Yale Social Robotics Lab. Her doctoral dissertation, "Long-term Interactions with Empathic Social Robots", received an honorable mention in the IFAAMAS-13 Victor Lesser Distinguished Dissertation Award. Iolanda has published over 40 conference and journal in the areas of human-robot interaction, artificial intelligence and affective computing.
Host: CS Department
Location: Henry Salvatori Computer Science Center (SAL) - 101
Audiences: Everyone Is Invited
Contact: Assistant to CS chair
