CS Events Monthly View
Computer Science Department ColloquiumAnalysis Tools for Reliable Software Everywhere |
|
||
Monday, March 28, 2016, 10:30am |
|||
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.
In this talk, I will discuss two recent projects focused on program
analysis for JavaScript, which poses unique challenges due to
JavaScript's dynamic nature. First, I will present dynamic
determinacy analysis, a technique that dramatically improves the
scalability and precision of JavaScript static analysis. Determinacy
analysis collects sound, over-approximate information from dynamic
runs to aid in static analysis of complex reflective code.
Second, I will present EventRacer, the first tool for discovering and
debugging non-determinism errors in event-driven programs.
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.
EventRacer enabled discovery of many errors in deployed Fortune 100
web sites, and its techniques have since been applied in a variety of
other emerging domains.
Speaker: Manu Sridharan
Bio
Manu Sridharan is a senior researcher at Samsung Research America inthe area of programming languages and software engineering. Hereceived his PhD from the University of California, Berkeley in 2007,and he worked as a research staff member at IBM Re
Location : Core A (Room 301)
Committee:
Vinod Ganapathy
Event Type: Computer Science Department Colloquium
:
Organization:
Samsung Research America