Publications

[Most of the papers made available here also appear in print, and the corresponding copyright is held by the publisher. However, you are permitted to download the papers and use them for individual and classroom reading.]

Journals and conferences

2016

  • Neil Dantam, Zachary Kingston, Swarat Chaudhuri, and Lydia Kavraki. Incremental Task and Motion Planning: A Constraint-Based Approach. Robotics: Science and Systems (RSS), 2016. (pdf)
  • Yue Wang, Neil Dantam, Swarat Chaudhuri, and Lydia Kavraki. Task and Motion Policy Synthesis as Liveness Games. International Conference on Automated Planning and Scheduling (ICAPS), 2016. (pdf)
  • Navid Yaghmazadeh, Christian Klinger, Isil Dillig, and Swarat Chaudhuri. Synthesizing transformations on hierarchically structured data. ACM Conference on Programming Language Design and Implementation (PLDI), 2016.  (pdf)
  • Kengo Kido, Swarat Chaudhuri and Ichiro Hasuo. Abstract interpretation with infinitesimals — towards scalability in nonstandard static analysis. International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2016. (pdf)

2015

  • Zhenqi Huang, Yu Wang, Sayan Mitra, Geir Dullerud and Swarat Chaudhuri. Controller synthesis with inductive proofs for piecewise linear systems: an SMT-based algorithm. 54th IEEE Conference on Decision and Control (CDC), 2015.
  • Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, and Andrey Rybalchenko. Recursive Games for Compositional Program Synthesis. Verified Software: Theories, Tools, and Experiments (VSTTE), 2015.
  • John K. Feser, Swarat Chaudhuri, and Isil Dillig. Synthesizing data structure transformations from input-output examples. ACM Conference on Programming Language Design and Implementation (PLDI), 2015. (pdf)
  • Yanxin Lu, Joe Warren, Christopher Jermaine, Swarat Chaudhuri, and Scott Rixner. Grading the Graders: Motivating Peer Graders in a MOOC. 24th International World Wide Web Conference (WWW), 2015. (pdf)

2014

  • Anna Drummond, Yanxin Lu, Swarat Chaudhuri, Christopher Jermaine, Scott Rixner, and Joe Warren. Learning to Grade Student Programs in a Massive Open Online Course. IEEE International Conference on Data Mining (ICDM), 2014.
  • Thomas Dillig, Isil Dillig, and Swarat Chaudhuri. Optimal Guard Synthesis for Memory Safety. 26th International Conference on Computer Aided Verification (CAV), 2014. (pdf)
  • Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John Mellor-Crummey, and Vivek Sarkar. Test-Driven Repair of Data Races in Structured Parallel Programs. ACM Conference on Programming Language Design and Implementation (PLDI), 2014. (pdf)
  • Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, and Lydia Kavraki.
    SMT-Based Synthesis of Integrated Task and Motion Plans from Plan Outlines. IEEE International Conference on Robotics and Automation (ICRA), 2014. (pdf)
  • Swarat Chaudhuri, Martin Clochard, and Armando Solar-Lezama. Bridging Boolean and quantitative synthesis using smoothed proof search. 41st Annual Symposium on Principles of Programming Languages (POPL), 2014. (pdf)
  • Tewodros Beyene, Swarat Chaudhuri, Corneliu Popeea, and Andrey Rybalchenko. A constraint-based approach to solving games on infinite graphs. 41st Annual Symposium on Principles of Programming Languages (POPL), 2014. (pdf)
  • Swarat Chaudhuri, Azadeh Farzan, and Zachary Kincaid. Consistency analysis of decision-making programs. 41st Annual Symposium on Principles of Programming Languages (POPL), 2014. (pdf)

2013

  • Sirinda Palahan, Domagoj Babic, Swarat Chaudhuri, and Daniel Kifer. Extraction of statistically significant malware behaviors. Annual Computer Security Applications Conference (ACSAC), 2013.  (pdf)
  • 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. (pdf)
  • Roopsha Samanta, Jyotirmoy Deshmukh, and Swarat Chaudhuri. Robustness analysis of string transducers. Automated Technology for Verification and Analysis (ATVA), 2013. (pdf)
  • Swarat Chaudhuri, Sriram Sankaranarayanan, and Moshe Vardi. Regular real analysis. 28th Symposium on Logic in Computer Science (LICS), 2013. (pdf)
  • Roopsha Samanta, Jyotirmoy Deshmukh, and Swarat Chaudhuri. Robustness analysis of networked systems. Verification, Model Checking, and Abstract Interpretation (VMCAI), 2013. (pdf)

2012

  • Swarat Chaudhuri and Armando Solar-Lezama. Euler: A System for Numerical Optimization of Programs. 24th International Conference on Computer-Aided Verification (CAV), 2012.   (pdf)

2011

  • Rajeev Alur, Swarat Chaudhuri, and P. Madhusudan. Software model checking with languages of nested trees. ACM Transactions on Programming Languages and Systems (TOPLAS). Volume 33 Issue 5, November 2011.   (pdf)
  • Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, and Vivek Sarkar. Delegated isolation. International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2011. (pdf)
  • Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, and Sara Navidpour.
    Proving programs robust. Joint European Software Engineering Conference and ACM Symposium on the Foundations of Software Engineering (ESEC/FSE), 2011. (pdf)
  • Swarat Chaudhuri and Armando Solar-Lezama. Smoothing a program soundly and robustly. 23rd International Conference on Computer-Aided Verification (CAV), 2011. (pdf)
  • William Enck, Damien Octeau, Patrick McDaniel, and Swarat Chaudhuri. A study of Android application security. The 20th USENIX Security Symposium, 2011.   (pdf)
  • Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, and Jeff Foster. Path-based inductive synthesis for program inversion. ACM Conference on Programming Language Design and Implementation (PLDI), 2011. (pdf)

2010

  • Pavol Cerny, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, and Rajeev Alur. Model Checking of Linearizability of Concurrent List Implementations. 22nd International Conference on Computer-Aided Verification (CAV), 2010. (pdf)
  • Swarat Chaudhuri and Armando Solar-Lezama. Smooth interpretation. ACM Conference on Programming Language Design and Implementation (PLDI), 2010 (pdf)
  • Swarat Chaudhuri, Sumit Gulwani, and Roberto Lublinerman. Continuity analysis of programs. 37th Annual Symposium on Principles of Programming Languages (POPL), 2010. (pdf)
  • Rajeev Alur and Swarat Chaudhuri. Temporal reasoning for procedural programs. The 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2010.  (pdf)

2009

  • Roberto Lublinerman, Swarat Chaudhuri, and Pavol Cerny. Parallel programming with object assemblies. International Conference on Object Oriented Programming, Systems, Languages and Applications (OOPSLA), 2009. (pdf) (ppt)
  • Chao Wang, Swarat Chaudhuri, Aarti Gupta, and Yu Yang. Symbolic Pruning of Concurrent Program Executions. Joint European Software Engineering Conference and ACM Symposium on the Foundations of Software Engineering (ESEC/FSE), 2009. (pdf)

2008

  • Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta. Dynamic inference of likely data preconditions over predicates by tree learning. International Symposium on Software Testing and Analysis (ISSTA), 2008. (pdf)
  • Swarat Chaudhuri. Subcubic algorithms for recursive state machines. 35th Annual Symposium on Principles of Programming Languages (POPL), 2008. (pdf)

2007

  • Swarat Chaudhuri and Rajeev Alur. Instrumenting C programs with nested word monitors. 14th Workshop on Model Checking Software (SPIN), 2007. (pdf)
  • Rajeev Alur, Pavol Cerny, and Swarat Chaudhuri. Model checking on trees with path equivalences. 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2007. (pdf)

2006

  • Rajeev Alur and Swarat Chaudhuri. Branching pushdown tree automata. 26th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), 2006. (pdf)
  • Rajeev Alur, Swarat Chaudhuri, and P. Madhusudan. Languages of nested trees. 18th International Conference on Computer-Aided Verification (CAV), 2006. (pdf)Slides (ppt).
  • Rajeev Alur, Swarat Chaudhuri, and P. Madhusudan. A fixpoint calculus for local and global program flows. 33rd Annual Symposium on Principles of Programming Languages (POPL), 2006. (pdf)Slides (ppt).

2005

  • Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, and P. Madhusudan. On-the-fly reachability and cycle detection for recursive state machines. 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2005.

2003

  • Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, and Mihalis Yannakakis. Compression of partially ordered strings. 14th International Conference on Concurrency Theory (CONCUR), 2003.

Surveys

  • Rajeev Alur and Swarat Chaudhuri. Logics and automata for software model-checking. Lecture notes, Marktoberdorf Summer School, 2006. (pdf)

Theses

  • Swarat Chaudhuri. Logics and algorithms for software model checking. Doctoral dissertation, University of Pennsylvania, 2007.