FIS image header
Scholarly Interest Report
Swarat Chaudhuri
Associate Professor
Associate Professor of Computer Science
  • Ph.D. Algorithms and Logics for Software Analysis. (2007) University of Pennsylvania
  • Bachelor of Technology, (2001) Indian Institute of Technology, Kharagpur, India.
Primary Department
   Department of Computer Science
No Image
Research Areas
 Reasoning about programs: Algorithmic approaches to program verification, synthesis, and approximation, in particular abstract interpretation and model checking. Parallel programming: Abstractions and languages for parallel programming. Theoretical computer science: Logic and automata theory.
Selected Publications

Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, and Vivek Sarkar.
Isolation for nested task-parallelism. International Conference on Object Oriented Programming,
Systems, Languages and Applications (OOPSLA), 2013


Robustness analysis of networked systems. In International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2013


Roopsha Samanta, Jyotirmoy Deshmukh, and Swarat Chaudhuri. Robustness analysis of
string transducers. In Automated Technology for Verification and Analysis (ATVA), 2013.
[LICS13] Swarat Chaudhuri, Sriram Sankaranarayanan and Moshe Vardi. Regular real analysis.
ACM/IEEE Symposium on Logic in Computer Science (LICS), 2013


Swarat Chaudhuri and Daniel Kifer "Sirinda Palahan, Domagoj Babic, Swarat Chaudhuri, and Daniel Kifer. Extraction of statistically significant malware behaviors. Annual Computer Security Applications Conference (ACSAC), 2013.." 

 Conference papers

Swarat Chaudhuri and Armando Solar-Lezama. Euler: A System for numerical optimization of programs. In International Conference on Computer-Aided Verification (CAV), 2012. 


Swarat Chaudhuri, Sumit Gulwani, and Roberto Lublinerman. Continuity and robustness of programs. Research highlights, Communication of the ACM (CACM), August 2012. 

 Invited Talks

Bridging the Discrete and the Continuous in Reasoning about Programs. Given at Microsoft
Research, Cambridge and Institute for Science and Technology, Austria.


Quantitative Program Synthesis Using Smoothed Numerical Search. At the 5th International Workshop on Numerical Software Verification, Berkeley, July 2012.

Supervised Theses & Dissertations
 Shams Mahmood Imam, Master of Science Habanero-Scala: A Hybrid Programming model integrating Fork/Join and Actor Models. (2011) (Thesis Committee Member)

 Kuldeep Meel, Masters Sampling Techniques for Boolean Satisfiability. (2014) (Thesis Committee Member)

 Nick Vrvilo, Maste Implementing Asynchronous Checkpoint/Restart for the Concurrent Collections Model. (2014) (Thesis Committee Member)

 Anna Drummond, PhD Statistical Machine Lerning for Text Mining with Markov Chain Monte Carlo Inference. (2014) (Thesis Committee Member)

 Sailesh Prabhu, Masters Sampling-Based Approach to the Integrated Task and Motion Planning Problem. (2015) (Thesis Director)

 Sonali Dutta, PhD Assertion-based Flow Monitoring of SystemC models. (2016) (Thesis Committee Member)

 Yanxin Lu, MS Improving the efficiency & Quality of Massive Open Online Course by using the Automated Grading & Feedback generation. (Thesis Director)

Positions Held
 Program Committee Member, Computer-Aided Verification (CAV), 2012.. (2012 - 2012)

 External Review Committee Member. (2012 - 2012)

 Publicity Chair, ACM Symposium on Principles of Programming Languages (POPL). (2012 - 2012)

 Program Chair, Workshop on Numerical Software Verification (NSV). (2012 - 2012)

 External Review Committee member, ACM Conference on Programming Language Design and Implementation (PLDI), 2012. (2012 - 2012)

 Program Committee member, MOOC workshop, 1st Workshop on Programming Languages Technology for Massive Open Online Courses,. (2013 - 2013)

 External Review Committee, ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA). (2013 - 2013)

 External Review Committee, ACM Symposium on Principles of Programming Languages (POPL). (2013 - 2013)

 Program Committee member, FoSSaCS, Foundations of Software Science and Computation Structures . (2013 - 2013)

 Program Committee member, MOOC workshop, 2nd Workshop on Synthesis for Massive Open Online Courses,. (2013 - 2013)

 Program Committee member, ACM Conference on Programming Language Design and Implementation (PLDI), 2013. (2013 - 2013)

 Program Committee Member, ACM Conference on Principles of Programming Languages (POPL), 2012. (2012 - 2012)