Swarat Chaudhuri

Registered user since Tue 9 Apr 2019

Name: Swarat Chaudhuri

Bio: 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.

Affiliation: Rice University

Personal website: http://www.cs.rice.edu/~sc40/

Contributions

MAPL 2019Committee Member in Program Committee within the MAPL 2019-track
PLDI 2019Committee Member in External Program Committee within the PLDI Research Papers-track
Author of Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness within the PLDI Research Papers-track
POPL 2019Committee Member in Program Committee within the Research Papers-track
PLDI 2018Presenter of Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis within the PLDI Tutorials-track
PLDI 2017Committee Member in Program Committee
Author of Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples within the PLDI Research Papers-track
Session Chair of Learning and Probabilistic (part of PLDI Research Papers)
* ICSE 2018 *Author of Program Splicing within the Technical Papers -track
Off the Beaten Track 2016Author of Chanakya: Computer-Aided Strategic Reasoning within the Off the Beaten Track-track
General Chair in Organizing Committee within the Off the Beaten Track-track
VMCAIAuthor of Abstract Interpretation with Infinitesimals within the VMCAI-track
PLDI 2016Committee Member in External Program Committee
Author of Synthesizing Transformations on Hierarchically Structured Data within the Research Papers-track
WAX 2015Committee Member in Program Committee within the WAX-track
PLDI 2015Author of Synthesizing Data Structure Transformations from Input-Output Examples within the Research Papers-track
Committee Member in External Review Committee within the Research Papers-track
SPLASH 2014Committee Member in Program Committee within the OOPSLA-track
SPLASH 2013Committee Member in External Review Committee within the OOPSLA-track
Author of Isolation for Nested Task Parallelism within the OOPSLA-track