Swarat Chaudhuri

Registered user since Tue 9 Apr 2019

Name:Swarat Chaudhuri
Bio:

Swarat Chaudhuri is an Associate Professor of computer science at the University of Texas at Austin. His research lies in the intersection of Programming Languages (PL) and Machine Learning (ML). Specifically, he studies ways in which PL and ML techniques can be brought together to build robust and trustworthy intelligent systems targeting complex tasks such as software development and robot control.

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. Before joining UT Austin, he held faculty positions at Rice University and the Pennsylvania State University. He is a recipient of the National Science Foundation CAREER award, the ACM SIGPLAN John Reynolds Doctoral Dissertation Award, and the Morris and Dorothy Rubinoff Dissertation Award from the University of Pennsylvania.

Country:United States
Affiliation:University of Texas at Austin

Contributions

PLDI 2023 Committee Member in PLDI Review Committee within the PLDI Research Papers-track
NASA Formal Methods Program Chair in Organizing Committee within the NFM 2023-track
POPL 2023 Author of Neurosymbolic Programming within the TutorialFest-track
MAPS 2022 General Chair in Organizing Committee within the MAPS 2022-track
Session Chair of Evening (part of MAPS 2022)
POPL 2022 Author of Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution within the POPL-track
PLDI 2021 Committee Member in Program Committee within the PLDI-track
VMCAI 2021 Committee Member in Program Committee within the VMCAI-track
MAPL 2020 Invited Speaker of Trustworthy Autonomy through Program Synthesis within the MAPL-track
MAPL 2019 Committee Member in Program Committee within the MAPL 2019-track
Author of Neural Query Expansion for Code Search within the MAPL 2019-track
PLDI 2019 Committee 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 2019 Committee Member in Program Committee within the Research Papers-track
PLDI 2018 Presenter of Bayou: Deep Learning over “Big Code” for Program Analysis and Synthesis within the PLDI Tutorials-track
* ICSE 2018 * Author of Program Splicing within the Technical Papers -track
PLDI 2017 Committee 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)
PLDI 2016 Committee Member in External Program Committee
Author of Synthesizing Transformations on Hierarchically Structured Data within the Research Papers-track
Off the Beaten Track 2016 Author 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
VMCAI Author of Abstract Interpretation with Infinitesimals within the VMCAI-track
PLDI 2015 Author 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
WAX 2015 Committee Member in Program Committee within the WAX-track
SPLASH 2014 Committee Member in Program Committee within the OOPSLA-track
SPLASH 2013 Committee Member in External Review Committee within the OOPSLA-track
Author of Isolation for Nested Task Parallelism within the OOPSLA-track
SPLASH 2011 Author of Delegated Isolation within the OOPSLA-track
Committee Member in External Reviewers within the OOPSLA-track