Publications

DBLP page  |  Google scholar page  

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.


Preprints

  • Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, and Sanjit A. Seshia. LTL-Constrained Policy Optimization with Cycle Experience Replay.   (pdf)

  • Eric Hsiung, Joydeep Biswas, and Swarat Chaudhuri. Learning Reward Machines through Preference Queries over Sequences.   (pdf)

  • Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, and Alex Polozov. Grounding Data Science Code Generation with Input-Output Specifications. (pdf)

  • Abhinav Jain, Chima Adiole, Thomas Reps, Swarat Chaudhuri, and Chris Jermaine. Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback.   (pdf)

Peer-Reviewed Papers

2024

  • George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, and Swarat Chaudhuri. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.   Neural Information Processing Systems (NeurIPS), 2024.   (pdf)

  • Yeming Wen and Swarat Chaudhuri. Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models. Neural Information Processing Systems (NeurIPS), 2024.

  • Arya Grayeli, Atharva Sehgal, Omar Costilla Reyes, Miles Cranmer, and Swarat Chaudhuri. Symbolic Regression with a Learned Concept Library.   Neural Information Processing Systems (NeurIPS), 2024.   (pdf)

  • Abhinav Jain, Swarat Chaudhuri, Thomas Reps, and Chris Jermaine. Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation.   Neural Information Processing Systems (NeurIPS), 2024.  (pdf)

  • Amitayush Thakur, George Tsoukalas, Yeming Wen, Jimmy Xin, and Swarat Chaudhuri. An In-Context Learning Agent for Formal Theorem Proving.  First Conference on Language Modeling (COLM), 2024.   (pdf)

  • Meghana A. Sistla, Swarat Chaudhuri, and Thomas Reps. Weighted Context-Free-Language Ordered Binary Decision Diagrams.   Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2024. (pdf)

  • Lunyiu Nie, Zhimin Ding, Erdong Hu, Chris Jermaine, and Swarat Chaudhuri. Online Cascade Learning for Efficient Inference over Streams.   International Conference on Machine Learning (ICML), 2024.   (pdf)

  • Anders Miltner, Ziteng Wang, Swarat Chaudhuri, and Isil Dillig. Relational Synthesis of Recursive Programs via Constrained Tree Automata.   International Conference on Computer-Aided Verification (CAV), 2024.  

  • Meghana A. Sistla, Swarat Chaudhuri, and Thomas Reps. CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.   ACM Transactions on Programming Languages and Systems (TOPLAS), 2024. Journal-first presentation at PLDI 2024. (pdf)

  • Yeming Wen and Swarat Chaudhuri. Batched Low-Rank Adaptation of Foundation Models.   International Conference on Learning Representations (ICLR), 2024.  (Oral presentation)   (pdf)

  • Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, and Greg Durrett. MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning.  International Conference on Learning Representations (ICLR), 2024.  (Spotlight presentation)   (pdf)

  • Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, and Swarat Chaudhuri. Neurosymbolic Grounding for Compositional World Models.   International Conference on Learning Representations (ICLR), 2024.   (pdf)

  • Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, and Charles Sutton. A Probabilistic Framework for Modular Continual Learning.   International Conference on Learning Representations (ICLR), 2024.  (pdf)

  • Chenxi Yang, Greg Anderson, and Swarat Chaudhuri. Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation.   IEEE Conference on Secure and Trustworthy Machine Learning (SatML), 2024.     (pdf)

2023

  • Divyanshu Saxena, Nihal Sharma, Donghyun Kim, Rohit Dwivedula, Jiayi Chen, Chenxi Yang, Sriram Ravula, Zichao Hu, Aditya Akella, Sebastian Angel, Joydeep Biswas, Swarat Chaudhuri, Isil Dillig, Alex Dimakis, P Godfrey, Daehyeok Kim, Chris Rossbach, and Gang Wang. On a Foundation Model for Operating Systems  Machine Learning for Systems Workshop at 37th NeurIPS Conference. (pdf)

  • Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, and Greg Durrett. Deductive Additivity for Planning of Natural Language Proofs  Workshop on Natural Language Reasoning and Structured Explanations (NLRSE). (pdf)

  • Meghana A. Sistla, Swarat Chaudhuri, and Thomas Reps. Symbolic Quantum Simulation with Quasimodo.   International Conference on Computer-Aided Verification (CAV), 2023.   (pdf)

  • Greg Anderson, Swarat Chaudhuri, and Isil Dillig. Guiding Safe Exploration with Weakest Preconditions.   International Conference on Learning Representations (ICLR), 2023.  (pdf)

2022

  • Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, and Greg Durrett. Natural Language Deduction with Incomplete Information. Empirical Methods in Natural Language Processing (EMNLP).   (pdf)

  • Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, and Greg Durrett. Natural Language Deduction through Search over Statement Compositions. Findings of Empirical Methods in Natural Language Processing (EMNLP-Findings).   (pdf)

  • Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, and Omar Costilla Reyes. Neurosymbolic Programming for Science. NeurIPS 2022 AI for Science Workshop.   (pdf)

  • Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, and Swarat Chaudhuri. Unsupervised Learning of Neurosymbolic Encoders. Transactions on Machine Learning Research (TMLR), 2022.   (pdf)

  • Cameron Voloshin, Hoang M. Le, Swarat Chaudhuri, and Yisong Yue. Policy Optimization with Linear Temporal Logic Constraints. Neural Information Processing Systems (NeurIPS), 2022.   (pdf)

  • Suguman Bansal, Swarat Chaudhuri, and Moshe Y. Vardi. Comparator Automata in Quantitative Verification. Logical Methods in Computer Science (LMCS), 2022. (pdf)

  • Chenxi Yang and Swarat Chaudhuri. Safe Neurosymbolic Learning with Differentiable Symbolic Execution. International Conference on Learning Representations (ICLR), 2022. (pdf)

  • Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, and Isil Dillig. Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution. Principles of Programming Languages (POPL), 2022.   (Distinguished paper)     (pdf)

  • Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, and Chris Jermaine. Meta-Meta Classification for One-Shot Learning. Workshop on Applications of Computer Vision (WACV), 2022.   (pdf)

2021

  • Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, and Yisong Yue. Neurosymbolic Programming. Foundations and Trends in Programming Languages (FnT), 2021.     (pdf)

  • Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, and Chris Jermaine. Neural Program Generation Modulo Static Analysis. Neural Information Processing Systems (NeurIPS), 2021.   (Spotlight paper)     (pdf)

  • Arkabandhu Chowdhury, Mingchao Jiang, Swarat Chaudhuri, and Chris Jermaine. Few-shot Image Classification: Just Use a Library of Pre-trained Feature Extractors and a Simple Classifier. International Conference on Computer Vision (ICCV), 2021.   (pdf)

  • Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, and Greg Durrett. Flexible Generation of Natural Language Deductions. Empirical Methods in Natural Language Processing (EMNLP), 2021.   (pdf)

  • Megan Tjandrasuwita, Jennifer J Sun, Ann Kennedy, Swarat Chaudhuri, and Yisong Yue. Interpreting Expert Annotation Differences in Animal Behavior. Computer Vision for Animals Workshop, 2021.   (pdf)

  • Yue Wang, Abdullah Al Redwan Newaz, Juan David Hernández, Swarat Chaudhuri, and Lydia E. Kavraki. Online Partial Conditional Plan Synthesis for POMDPs With Safe-Reachability Objectives: Methods and Experiments. IEEE Transactions on Automation Science and Engineering, 2021.   (pdf)

  • Shlok Sobti, Rahul Shome, Swarat Chaudhuri, and Lydia E. Kavraki. A Sampling-based Motion Planning Framework for Complex Motor Actions. International Conference on Intelligent Robots and Systems (IROS), 2021.   (pdf)

  • Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, and Joydeep Biswas. OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. International Conference on Intelligent Robots and Systems (IROS), 2021.   (pdf)

2020

  • Ameesh Shah*, Eric Zhan*, Jennifer J. Sun, Abhinav Verma, Yisong Yue, and Swarat Chaudhuri. Learning Differentiable Programs with Admissible Neural Heuristics. Neural Information Processing Systems (NeurIPS), 2020.   (pdf)

  • Greg Anderson, Abhinav Verma, Isil Dillig, and Swarat Chaudhuri. Neurosymbolic Reinforcement Learning with Formally Verified Exploration. Neural Information Processing Systems (NeurIPS), 2020.   (pdf)

  • Rohan Mukherjee, Chris Jermaine, and Swarat Chaudhuri. Searching a Database of Source Codes Using Contextualized Code Search. Proceedings of Very Large Databases (VLDB), 2020.   (pdf)

2019

  • Abhinav Verma*, Hoang M. Le*, Yisong Yue, and Swarat Chaudhuri. Imitation-Projected Programmatic Reinforcement Learning. Neural Information Processing Systems (NeurIPS), 2019.   (pdf)

  • Richard Cheng, Abhinav Verma, Gabor Orosz, Swarat Chaudhuri, Yisong Yue, and Joel Burdick. Control Regularization for Reduced Variance Reinforcement Learning. International Conference on Machine Learning (ICML), 2019.   (pdf)

  • Greg Anderson, Shankara Pailoor, Isil Dillig, and Swarat Chaudhuri. Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness. Symposium on Programming Language Design and Implementation (PLDI), 2019. (Distinguished Paper)   (pdf)

  • Yue Wang, Swarat Chaudhuri, and Lydia Kavraki. Point-Based Policy Synthesis for POMDPs with Boolean and Quantitative Objectives. IEEE Robotics and Automation Letters (RAL), 2019.   (pdf)

  • Josh Michalenko, Abhinav Verma, Ameesh Shah, Richard G. Baraniuk, Swarat Chaudhuri, and Ankit B. Patel. Representing Formal Languages: A Comparison between Finite Automata and Recurrent Neural Networks. International Conference on Learning Representations (ICLR), 2019.   (pdf)

2018

  • Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles A. Sutton, and Swarat Chaudhuri. Houdini: Lifelong Learning as Program Synthesis. Neural Information Processing Systems (NeurIPS), 2018. (pdf)

  • Yue Wang, Swarat Chaudhuri, and Lydia Kavraki. Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives. Workshop on Algorithmic Foundations of Robotics (WAFR), 2018. (pdf)

  • Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, and Swarat Chaudhuri. Programmatically Interpretable Reinforcement Learning. International Conference on Machine Learning (ICML), 2018.   (pdf)

  • Suguman Bansal, Swarat Chaudhuri, and Moshe Y. Vardi. Automata vs Linear-Programming Discounted-Sum Inclusion. International Conference on Computer-Aided Verification (CAV), 2018.   (pdf)

  • Neil Dantam, Swarat Chaudhuri, and Lydia Kavraki. An Incremental Constraint-Based Framework for Task and Motion Planning. International Journal of Robotics Research, 2018.   (pdf)

  • Neil Dantam, Swarat Chaudhuri, and Lydia Kavraki. The Task-Motion Kit: An Open Source, General-Purpose Task and Motion-Planning Framework. IEEE Robotics & Automation Magazine, 2018.   (pdf)

  • Yue Wang, Swarat Chaudhuri, and Lydia Kavraki. Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives. International Conference on Autonomous Agents and Multiagent Systems (AAMAS), 2018. (pdf)

  • Vijayaraghavan Murali, Letao Qi, Swarat Chaudhuri, and Chris Jermaine. Neural Sketch Learning for Conditional Program Generation. International Conference for Learning Representations (ICLR), 2018.   (pdf)   (Oral presentation)

  • Timon Gehr, Matthew Mirman, Dana Drachsler Cohen, Petar Tsankov, Swarat Chaudhuri, and Martin Vechev. AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. IEEE Symposium on Security and Privacy (S&P), 2018.   (pdf)

  • Yanxin Lu, Swarat Chaudhuri, David G. Melski, and Chris Jermaine. Program Splicing. International Conference on Software Engineering (ICSE), 2018.   (pdf)

  • Suguman Bansal, Swarat Chaudhuri, and Moshe Y. Vardi. Comparator Automata in Quantitative Verification. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS), 2018.   (pdf)

2017

  • Vijayaraghavan Murali, Swarat Chaudhuri, and Chris Jermaine. Bayesian Specification Learning for Finding API Usage Errors. European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), 2017.   (pdf)

  • Yu Feng, Ruben Martins, Jacon Van Geffen, Isil Dillig, and Swarat Chaudhuri. Component-Based Synthesis of Table Consolidation and Transformation Tasks from Examples. ACM Conference on Programming Language Design and Implementation (PLDI), 2017.   (pdf)

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 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 Y. 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, Sumit Gulwani, and Roberto Lublinerman. Continuity and robustness of programs. Communications of the ACM (CACM) Research Highlight, August 2012.  (html version)  (pdf)
    [Technical perspective by Andreas Zeller] 

  • 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)
    (Distinguished Paper; CACM Research Highlight)

  • 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. Logics and algorithms for software model checking. Doctoral dissertation, University of Pennsylvania, 2007. (pdf) (ACM SIGPLAN Doctoral Dissertation Award; Maurice and Dorothy Rubinoff Award)

  • 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).

  • Swarat Chaudhuri and Rajeev Alur. Instrumenting C programs with nested word monitors. 14th Workshop on Model Checking Software (SPIN), 2007. (pdf).

2006

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

  • 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)

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. (pdf)

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. (pdf)