Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020

Swarat Chaudhuri is an assistant professor of computer science at Rice University. He is an expert on methods for automated reasoning about systems, in particular abstract interpretation and model checking, and the application of such methods in computer-aided programming.

Swarat received a bachelor’s degree in computer science from the Indian Institute of Technology, Kharagpur, in 2001, and a doctoral degree in computer science from the University of Pennsylvania in 2007. From 2008-2011, he was an assistant professor at the Pennsylvania State University, University Park. He is a recipient of the National Science Foundation CAREER award, the ACM SIGPLAN Outstanding Doctoral Dissertation Award, and the Morris and Dorothy Rubinoff Dissertation Award from the University of Pennsylvania.

Tue 16 Jun

Displayed time zone: Pacific Time (US & Canada) change

14:00 - 15:00
Formal Methods and Reinforcement LearningMAPL at MAPL live stream
Chair(s): Aws Albarghouthi University of Wisconsin-Madison, USA
Learned Garbage Collection
Lujing Cen MIT CSAIL, Ryan Marcus MIT CSAIL / Intel Labs, Hongzi Mao MIT CSAIL, Justin Gottschlich Intel Labs / Penn, Mohammad Alizadeh MIT CSAIL, Tim Kraska MIT CSAIL
Trustworthy Autonomy through Program Synthesis
Swarat Chaudhuri Rice University