Events Calendar

CS Colloquium: Satish Chandra (Facebook) - Formula-Based Software Debugging

Speaker: Satish Chandra , Facebook

Talk Title: Formula-Based Software Debugging

Series: CS Colloquium

Abstract: This lecture satisfies requirements for CSCI 591: Computer Science Research Colloquium.

Software often ships with known defects because fixing bugs requires expensive developer time. With the availability of virtually unlimited compute power, an interesting question is whether the burden of fixing bugs can be shifted, at least in part, from the human to the machine. This question has, of late, attracted significant activity in the software engineering and programming language communities. In this talk, I will discuss recent techniques that have been proposed towards this goal. My main focus will be on techniques that draw on the power of SMT (satisfiability modulo theories) solvers, i.e. engines that crunch first-order logic formulae.

Time permitting, I will also talk about my experiences with tech transfer at industrial research labs.

Biography: Satish Chandra obtained a PhD from the University of Wisconsin-Madison in 1997, and a B.Tech from the Indian Institute of Technology-Kanpur in 1991, both in computer science. From 1997 to 2002, he was a member of technical staff at Bell Laboratories, where his research focused on program analysis, domain-specific languages, and data-communication protocols. From 2002 to 2013, he was a research staff member at IBM Research, where his research focused on bug finding and verification, software synthesis, and test automation.
From 2013 to 2016, he worked at Samsung Research America, where he led the advanced programming tools research team. In 2016, he started working at Facebook. He is an ACM Distinguished Scientist.

Host: CS Department

Location: Ronald Tutor Hall of Engineering (RTH) - 217

Audiences: Everyone Is Invited

Contact: Assistant to CS chair