BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Bridging the Discrete and the Continuous in Reasoning about Progra
 ms - Swarat Chaudhuri\, Rice University
DTSTART:20130725T100000Z
DTEND:20130725T110000Z
UID:TALK46391@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:Traditionally\, reasoning about programs is a boolean problem 
 that is solved using the discrete tools of logic. However\, in many emerge
 nt applications\, discrete reasoning about programs needs to be supplement
 ed by quantitative analysis. This demand opens up a new playground for res
 earch: there is now the opportunity to combine the discrete tools of progr
 am analysis with continuous tools like numerical optimization\, geometric 
 algorithms\, and statistical machine learning.\n\nThis talk will describe 
 some recent and ongoing work on topic. Specifically\, I will talk about sm
 oothed proof search\, a new approach to synthesis with respect to boolean 
 and quantitative goals that couples discrete program analysis with continu
 ous numerical optimization. I will also touch upon a few other ongoing pro
 jects on this topic in my group\, including reasoning about programs under
  numerical uncertainty\, a synthesis approach for robotics that combines S
 AT-based reasoning with continuous motion planning\, and a statistical pro
 gram analysis used to grade student submissions in a massive open online c
 ourse.\n\nBio: Swarat Chaudhuri is an assistant professor of computer scie
 nce at Rice University. He is an expert on program verification and synthe
 sis.\nSwarat received a bachelor's degree in computer science from the Ind
 ian Institute of Technology\, Kharagpur\, in 2001\, and a doctoral degree 
 in computer science from the University of Pennsylvania in 2007. He is a r
 ecipient of the National Science Foundation CAREER award\, the ACM SIGPLAN
  Outstanding Doctoral Dissertation Award\, and the Morris and Dorothy Rubi
 noff Dissertation Award from the University of Pennsylvania.\n
LOCATION:Auditorium\, Microsoft Research Ltd\, 21 Station Road\, Cambridge
 \, CB1 2FB
END:VEVENT
END:VCALENDAR