Compression of Partially Ordered Strings. - Rajeev Alur; Swarat Chaudhuri; Kousha Etessami; Sudipto Guha; Mihalis Yannakakis (CONCUR, 2003)

On-the-Fly Reachability and Cycle Detection for Recursive State Machines. - Rajeev Alur; Swarat Chaudhuri; Kousha Etessami; P. Madhusudan (TACAS, 2005)

Languages of Nested Trees. - Rajeev Alur; Swarat Chaudhuri; P. Madhusudan (CAV, 2006)

Branching Pushdown Tree Automata. - Rajeev Alur; Swarat Chaudhuri (FSTTCS, 2006)

A fixpoint calculus for local and global program flows. - Rajeev Alur; Swarat Chaudhuri; P. Madhusudan (POPL, 2006)

Instrumenting C Programs with Nested Word Monitors. - Swarat Chaudhuri; Rajeev Alur (SPIN, 2007)

Model Checking on Trees with Path Equivalences. - Rajeev Alur; Pavol Cerný; Swarat Chaudhuri (TACAS, 2007)

Dynamic inference of likely data preconditions over predicates by tree learning. - Sriram Sankaranarayanan 001; Swarat Chaudhuri; Franjo Ivancic; Aarti Gupta (ISSTA, 2008)

Subcubic algorithms for recursive state machines. - Swarat Chaudhuri (POPL, 2008)

Parallel programming with object assemblies. - Roberto Lublinerman; Swarat Chaudhuri; Pavol Cerný (OOPSLA, 2009)

Symbolic pruning of concurrent program executions. - Chao Wang 001; Swarat Chaudhuri; Aarti Gupta; Yu Yang 013 (ESEC/SIGSOFT FSE, 2009)

Model Checking of Linearizability of Concurrent List Implementations. - Pavol Cerný; Arjun Radhakrishna; Damien Zufferey; Swarat Chaudhuri; Rajeev Alur (CAV, 2010)

Smooth interpretation. - Swarat Chaudhuri; Armando Solar-Lezama (PLDI, 2010)

Continuity analysis of programs. - Swarat Chaudhuri; Sumit Gulwani; Roberto Lublinerman (POPL, 2010)

Temporal Reasoning for Procedural Programs. - Rajeev Alur; Swarat Chaudhuri (VMCAI, 2010)

Smoothing a Program Soundly and Robustly. - Swarat Chaudhuri; Armando Solar-Lezama (CAV, 2011)

Delegated isolation. - Roberto Lublinerman; Jisheng Zhao; Zoran Budimlic; Swarat Chaudhuri; Vivek Sarkar (OOPSLA, 2011)

Path-based inductive synthesis for program inversion. - Saurabh Srivastava 001; Sumit Gulwani; Swarat Chaudhuri; Jeffrey S. Foster (PLDI, 2011)

Proving programs robust. - Swarat Chaudhuri; Sumit Gulwani; Roberto Lublinerman; Sara NavidPour (SIGSOFT FSE, 2011)

A Study of Android Application Security. - William Enck; Damien Octeau; Patrick D. McDaniel; Swarat Chaudhuri (USENIX Security Symposium, 2011)

Software model checking using languages of nested trees. - Rajeev Alur; Swarat Chaudhuri; P. Madhusudan (ACM Trans. Program. Lang. Syst., 2011)

Euler: A System for Numerical Optimization of Programs. - Swarat Chaudhuri; Armando Solar-Lezama (CAV, 2012)

Continuity and robustness of programs. - Swarat Chaudhuri; Sumit Gulwani; Roberto Lublinerman (Commun. ACM, 2012)

Extraction of statistically significant malware behaviors. - Sirinda Palahan; Domagoj Babic; Swarat Chaudhuri; Daniel Kifer (ACSAC, 2013)

Robustness Analysis of String Transducers. - Roopsha Samanta; Jyotirmoy V. Deshmukh; Swarat Chaudhuri (ATVA, 2013)

Regular Real Analysis. - Swarat Chaudhuri; Sriram Sankaranarayanan 001; Moshe Y. Vardi (LICS, 2013)

Isolation for nested task parallelism. - Jisheng Zhao; Roberto Lublinerman; Zoran Budimlic; Swarat Chaudhuri; Vivek Sarkar (OOPSLA, 2013)

Robustness Analysis of Networked Systems. - Roopsha Samanta; Jyotirmoy V. Deshmukh; Swarat Chaudhuri (VMCAI, 2013)

A Semantics for Approximate Program Transformations - Edwin M. Westbrook; Swarat Chaudhuri (CoRR, 2013)

Optimal Guard Synthesis for Memory Safety. - Thomas Dillig; Isil Dillig; Swarat Chaudhuri (CAV, 2014)

Learning to Grade Student Programs in a Massive Open Online Course. - Anna Drummond; Yanxin Lu; Swarat Chaudhuri; Christopher M. Jermaine; Joe Warren; Scott Rixner (ICDM, 2014)

SMT-based synthesis of integrated task and motion plans from plan outlines. - Srinivas Nedunuri; Sailesh Prabhu; Mark Moll; Swarat Chaudhuri; Lydia E. Kavraki (ICRA, 2014)

Test-driven repair of data races in structured parallel programs. - Rishi Surendran; Raghavan Raman; Swarat Chaudhuri; John M. Mellor-Crummey; Vivek Sarkar (PLDI, 2014)

A constraint-based approach to solving games on infinite graphs. - Tewodros A. Beyene; Swarat Chaudhuri; Corneliu Popeea; Andrey Rybalchenko (POPL, 2014)

Bridging boolean and quantitative synthesis using smoothed proof search. - Swarat Chaudhuri; Martin Clochard; Armando Solar-Lezama (POPL, 2014)

Consistency analysis of decision-making programs. - Swarat Chaudhuri; Azadeh Farzan; Zachary Kincaid (POPL, 2014)

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. - Kengo Kido; Swarat Chaudhuri; Ichiro Hasuo (SNR@CAV, 2015)

Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. - Zhenqi Huang; Yu Wang 044; Sayan Mitra; Geir E. Dullerud; Swarat Chaudhuri (CDC, 2015)

Synthesizing data structure transformations from input-output examples. - John K. Feser; Swarat Chaudhuri; Isil Dillig (PLDI, 2015)

Recursive Games for Compositional Program Synthesis. - Tewodros A. Beyene; Swarat Chaudhuri; Corneliu Popeea; Andrey Rybalchenko (VSTTE, 2015)

Grading the Graders: Motivating Peer Graders in a MOOC. - Yanxin Lu; Joe Warren; Christopher M. Jermaine; Swarat Chaudhuri; Scott Rixner (WWW, 2015)

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version). - Kengo Kido; Swarat Chaudhuri; Ichiro Hasuo (CoRR, 2015)

Task and Motion Policy Synthesis as Liveness Games. - Yue Wang 026; Neil T. Dantam; Swarat Chaudhuri; Lydia E. Kavraki (ICAPS, 2016)

Synthesizing transformations on hierarchically structured data. - Navid Yaghmazadeh; Christian Klinger; Isil Dillig; Swarat Chaudhuri (PLDI, 2016)

Incremental Task and Motion Planning: A Constraint-Based Approach. - Neil T. Dantam; Zachary K. Kingston; Swarat Chaudhuri; Lydia E. Kavraki (Robotics: Science and Systems, 2016)

Component-based synthesis of table consolidation and transformation tasks from examples. - Yu Feng 001; Ruben Martins; Jacob Van Geffen; Isil Dillig; Swarat Chaudhuri (PLDI, 2017)

Bayesian specification learning for finding API usage errors. - Vijayaraghavan Murali; Swarat Chaudhuri; Chris Jermaine (ESEC/SIGSOFT FSE, 2017)

Neural Attribute Machines for Program Generation. - Matthew Amodio; Swarat Chaudhuri; Thomas W. Reps (CoRR, 2017)

Data-Driven Program Completion. - Yanxin Lu; Swarat Chaudhuri; Chris Jermaine; David Melski (CoRR, 2017)

Finding Likely Errors with Bayesian Specifications. - Vijayaraghavan Murali; Swarat Chaudhuri; Chris Jermaine (CoRR, 2017)

Bayesian Sketch Learning for Program Synthesis. - Vijayaraghavan Murali; Swarat Chaudhuri; Chris Jermaine (CoRR, 2017)

Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). - Swarat Chaudhuri; Sampath Kannan; Rupak Majumdar; Michael J. Wooldridge (Dagstuhl Reports, 2017)

Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives. - Yue Wang 026; Swarat Chaudhuri; Lydia E. Kavraki (AAMAS, 2018)

Automata vs Linear-Programming Discounted-Sum Inclusion. - Suguman Bansal; Swarat Chaudhuri; Moshe Y. Vardi (CAV (2), 2018)

Neural Sketch Learning for Conditional Program Generation. - Vijayaraghavan Murali; Letao Qi; Swarat Chaudhuri; Chris Jermaine (ICLR, 2018)

Programmatically Interpretable Reinforcement Learning. - Abhinav Verma 001; Vijayaraghavan Murali; Rishabh Singh; Pushmeet Kohli; Swarat Chaudhuri (ICML, 2018)

Program splicing. - Yanxin Lu; Swarat Chaudhuri; Chris Jermaine; David Melski (ICSE, 2018)

HOUDINI: Lifelong Learning as Program Synthesis. - Lazar Valkov; Dipak Chaudhari; Akash Srivastava; Charles Sutton; Swarat Chaudhuri (NeurIPS, 2018)

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

Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives. - Yue Wang 026; Swarat Chaudhuri; Lydia E. Kavraki (WAFR, 2018)

Synthesis of Differentiable Functional Programs for Lifelong Learning. - Lazar Valkov; Dipak Chaudhari; Akash Srivastava; Charles Sutton; Swarat Chaudhuri (CoRR, 2018)

An incremental constraint-based framework for task and motion planning. - Neil T. Dantam; Zachary K. Kingston; Swarat Chaudhuri; Lydia E. Kavraki (Int. J. Robotics Res., 2018)

The Task-Motion Kit: An Open Source, General-Purpose Task and Motion-Planning Framework. - Neil T. Dantam; Swarat Chaudhuri; Lydia E. Kavraki (IEEE Robotics Autom. Mag., 2018)

Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. - Joshua J. Michalenko; Ameesh Shah; Abhinav Verma 001; Richard G. Baraniuk; Swarat Chaudhuri; Ankit B. Patel (ICLR (Poster), 2019)

Control Regularization for Reduced Variance Reinforcement Learning. - Richard Cheng; Abhinav Verma 001; Gábor Orosz; Swarat Chaudhuri; Yisong Yue; Joel Burdick (ICML, 2019)

Imitation-Projected Programmatic Reinforcement Learning. - Abhinav Verma 001; Hoang Minh Le 002; Yisong Yue; Swarat Chaudhuri (NeurIPS, 2019)

Optimization and abstraction: a synergistic approach for analyzing neural network robustness. - Greg Anderson 003; Shankara Pailoor; Isil Dillig; Swarat Chaudhuri (PLDI, 2019)

Neural query expansion for code search. - Jason Liu; Seohyun Kim 001; Vijayaraghavan Murali; Swarat Chaudhuri; Satish Chandra 001 (MAPL@PLDI, 2019)

Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning. - Abhinav Verma 001; Hoang Minh Le 002; Yisong Yue; Swarat Chaudhuri (CoRR, 2019)

Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives. - Yue Wang 026; Swarat Chaudhuri; Lydia E. Kavraki (IEEE Robotics Autom. Lett., 2019)

Neurosymbolic Reinforcement Learning with Formally Verified Exploration. - Greg Anderson 003; Abhinav Verma 001; Isil Dillig; Swarat Chaudhuri (NeurIPS, 2020)

Learning Differentiable Programs with Admissible Neural Heuristics. - Ameesh Shah; Eric Zhan; Jennifer J. Sun; Abhinav Verma 001; Yisong Yue; Swarat Chaudhuri (NeurIPS, 2020)

Searching a Database of Source Codes Using Contextualized Code Search. - Rohan Mukherjee 001; Chris Jermaine; Swarat Chaudhuri (Proc. VLDB Endow., 2020)

Flexible Generation of Natural Language Deductions. - Kaj Bostrom; Xinyu Zhao; Swarat Chaudhuri; Greg Durrett (EMNLP (1), 2021)

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

A Sampling-based Motion Planning Framework for Complex Motor Actions. - Shlok Sobti; Rahul Shome; Swarat Chaudhuri; Lydia E. Kavraki (IROS, 2021)

OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. - Jiayi Wei; Tongrui Li; Swarat Chaudhuri; Isil Dillig; Joydeep Biswas (IROS, 2021)

Neural Program Generation Modulo Static Analysis. - Rohan Mukherjee 001; Yeming Wen; Dipak Chaudhari; Thomas W. Reps; Swarat Chaudhuri; Christopher M. Jermaine (NeurIPS, 2021)

Flexible Operations for Natural Language Deduction. - Kaj Bostrom; Xinyu Zhao; Swarat Chaudhuri; Greg Durrett (CoRR, 2021)

Interpreting Expert Annotation Differences in Animal Behavior. - Megan Tjandrasuwita; Jennifer J. Sun; Ann Kennedy; Swarat Chaudhuri; Yisong Yue (CoRR, 2021)

Neurosymbolic Programming. - Swarat Chaudhuri; Kevin Ellis; Oleksandr Polozov; Rishabh Singh; Armando Solar-Lezama; Yisong Yue (Found. Trends Program. Lang., 2021)

Online Partial Conditional Plan Synthesis for POMDPs With Safe-Reachability Objectives: Methods and Experiments. - Yue Wang 026; Abdullah Al Redwan Newaz; Juan David Hernández; Swarat Chaudhuri; Lydia E. Kavraki (IEEE Trans Autom. Sci. Eng., 2021)

Natural Language Deduction through Search over Statement Compositions. - Kaj Bostrom; Zayne Sprague; Swarat Chaudhuri; Greg Durrett (EMNLP (Findings), 2022)

Natural Language Deduction with Incomplete Information. - Zayne Sprague; Kaj Bostrom; Swarat Chaudhuri; Greg Durrett (EMNLP, 2022)

Safe Neurosymbolic Learning with Differentiable Symbolic Execution. - Chenxi Yang; Swarat Chaudhuri (ICLR, 2022)

Policy Optimization with Linear Temporal Logic Constraints. - Cameron Voloshin; Hoang Minh Le 002; Swarat Chaudhuri; Yisong Yue (NeurIPS, 2022)

Meta-Meta Classification for One-Shot Learning. - Arkabandhu Chowdhury; Dipak Chaudhari; Swarat Chaudhuri; Chris Jermaine (WACV, 2022)

Neurosymbolic Programming for Science. - Jennifer J. Sun; Megan Tjandrasuwita; Atharva Sehgal; Armando Solar-Lezama; Swarat Chaudhuri; Yisong Yue; Omar Costilla-Reyes (CoRR, 2022)

Comparator automata in quantitative verification. - Suguman Bansal; Swarat Chaudhuri; Moshe Y. Vardi (Log. Methods Comput. Sci., 2022)

Bottom-up synthesis of recursive functional programs using angelic execution. - Anders Miltner; Adrian Trejo Nuñez; Ana Brendel; Swarat Chaudhuri; Isil Dillig (Proc. ACM Program. Lang., 2022)

Unsupervised Learning of Neurosymbolic Encoders. - Eric Zhan; Jennifer J. Sun; Ann Kennedy; Yisong Yue; Swarat Chaudhuri (Trans. Mach. Learn. Res., 2022)

Symbolic Quantum Simulation with Quasimodo. - Meghana Sistla; Swarat Chaudhuri; Thomas W. Reps (CAV (3), 2023)

Guiding Safe Exploration with Weakest Preconditions. - Greg Anderson 003; Swarat Chaudhuri; Isil Dillig (ICLR, 2023)

Policy Optimization with Robustness Certificates. - Chenxi Yang; Greg Anderson 003; Swarat Chaudhuri (CoRR, 2023)

Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback. - Abhinav Jain 001; Chima Adiole; Swarat Chaudhuri; Thomas W. Reps; Chris Jermaine (CoRR, 2023)

Deductive Additivity for Planning of Natural Language Proofs. - Zayne Sprague; Kaj Bostrom; Swarat Chaudhuri; Greg Durrett (CoRR, 2023)

Learning Reward Machines through Preference Queries over Sequences. - Eric Hsiung; Joydeep Biswas; Swarat Chaudhuri (CoRR, 2023)

A Language-Agent Approach to Formal Theorem-Proving. - Amitayush Thakur; Yeming Wen; Swarat Chaudhuri (CoRR, 2023)

On a Foundation Model for Operating Systems. - Divyanshu Saxena; Nihal Sharma; Donghyun Kim 002; Rohit Dwivedula; Jiayi Chen; Chenxi Yang; Sriram Ravula; Zichao Hu; Aditya Akella; Sebastian Angel; Joydeep Biswas; Swarat Chaudhuri; et al. (CoRR, 2023)

Quasimodo. - Meghana Aparna Sistla; Swarat Chaudhuri; Thomas W. Reps (Zenodo, 2023)

Quasimodo. - Meghana Aparna Sistla; Swarat Chaudhuri; Thomas W. Reps (Zenodo, 2023)

Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. - Anders Miltner; Ziteng Wang; Swarat Chaudhuri; Isil Dillig (CAV (3), 2024)

Neurosymbolic Grounding for Compositional World Models. - Atharva Sehgal; Arya Grayeli; Jennifer J. Sun; Swarat Chaudhuri (ICLR, 2024)

MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning. - Zayne Sprague; Xi Ye; Kaj Bostrom; Swarat Chaudhuri; Greg Durrett (ICLR, 2024)

A Probabilistic Framework for Modular Continual Learning. - Lazar Valkov; Akash Srivastava; Swarat Chaudhuri; Charles Sutton (ICLR, 2024)

Batched Low-Rank Adaptation of Foundation Models. - Yeming Wen; Swarat Chaudhuri (ICLR, 2024)

Online Cascade Learning for Efficient Inference over Streams. - Lunyiu Nie; Zhimin Ding; Erdong Hu; Christopher M. Jermaine; Swarat Chaudhuri (ICML, 2024)

Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation. - Abhinav Jain 001; Swarat Chaudhuri; Thomas W. Reps; Christopher M. Jermaine (NeurIPS, 2024)

Symbolic Regression with a Learned Concept Library. - Arya Grayeli; Atharva Sehgal; Omar Costilla-Reyes; Miles D. Cranmer; Swarat Chaudhuri (NeurIPS, 2024)

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

Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models. - Yeming Wen; Swarat Chaudhuri (NeurIPS, 2024)

Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation. - Chenxi Yang; Greg Anderson 003; Swarat Chaudhuri (SaTML, 2024)

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

Deep Policy Optimization with Temporal Logic Constraints. - Ameesh Shah; Cameron Voloshin; Chenxi Yang; Abhinav Verma 001; Swarat Chaudhuri; Sanjit A. Seshia (CoRR, 2024)

Learning Quantitative Automata Modulo Theories. - Eric Hsiung; Swarat Chaudhuri; Joydeep Biswas (CoRR, 2024)

C3: Learning Congestion Controllers with Formal Certificates. - Chenxi Yang; Divyanshu Saxena; Rohit Dwivedula; Kshiteej Mahajan; Swarat Chaudhuri; Aditya Akella (CoRR, 2024)

Formal Mathematical Reasoning: A New Frontier in AI. - Kaiyu Yang; Gabriel Poesia; Jingxuan He; Wenda Li; Kristin Lauter; Swarat Chaudhuri; Dawn Song (CoRR, 2024)

Weighted Context-Free-Language Ordered Binary Decision Diagrams. - Meghana Sistla; Swarat Chaudhuri; Thomas W. Reps (Proc. ACM Program. Lang., 2024)

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. - Meghana Aparna Sistla; Swarat Chaudhuri; Thomas W. Reps (ACM Trans. Program. Lang. Syst., 2024)

Automata Learning from Preference and Equivalence Queries. - Eric Hsiung; Joydeep Biswas; Swarat Chaudhuri (CAV (4), 2025)

Self-Evolving Visual Concept Library using Vision-Language Critics. - Atharva Sehgal; Patrick Yuan; Ziniu Hu; Yisong Yue; Jennifer J. Sun; Swarat Chaudhuri (CVPR, 2025)

LTL-Constrained Policy Optimization with Cycle Experience Replay. - Ameesh Shah; Cameron Voloshin; Chenxi Yang; Abhinav Verma 001; Swarat Chaudhuri; Sanjit A. Seshia (Trans. Mach. Learn. Res., 2025)

ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving. - Amitayush Thakur; George Tsoukalas; Greg Durrett; Swarat Chaudhuri (CoRR, 2025)

Resource-efficient Inference with Foundation Model Programs. - Lunyiu Nie; Zhimin Ding; Kevin Yu; Marco Cheung; Chris Jermaine; Swarat Chaudhuri (CoRR, 2025)

CLEVER: A Curated Benchmark for Formally Verified Code Generation. - Amitayush Thakur; Jasper Lee; George Tsoukalas; Meghana Sistla; Matthew Zhao; Stefan Zetzsche; Greg Durrett; Yisong Yue; Swarat Chaudhuri (CoRR, 2025)

AlphaEvolve: A coding agent for scientific and algorithmic discovery. - Alexander Novikov 001; Ngân Vu; Marvin Eisenberger; Emilien Dupont; Po-Sen Huang; Adam Zsolt Wagner; Sergey Shirobokov; Borislav Kozlovskii; Francisco J. R. Ruiz; Abbas Mehrabian; M. Pawan Kumar; Abigail See; et al. (CoRR, 2025)