Swarat Chaudhuri
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
67
Venues
28
Active years
2003–2026
Best venue rank
A*
Where they publish
- A*CAV10 papers
- A*ICLR8 papers
- A*PLDI8 papers
- A*POPL6 papers
- A*ICML4 papers
- A*EMNLP3 papers
- BVMCAI3 papers
- AOOPSLA3 papers
- AIROS2 papers
- ATACAS2 papers
- AEuroSys1 paper
- BITP1 paper
- A*CVPR1 paper
- NationalHOTNETS1 paper
- AWACV1 paper
- A*ICCV1 paper
- BFOSSACS1 paper
- A*ICSE1 paper
- A*SP1 paper
- CWAFR1 paper
- A*WWW1 paper
- A*ICDM1 paper
- A*ICRA1 paper
- AACSAC1 paper
- BATVA1 paper
- A*LICS1 paper
- AISSTA1 paper
- BCONCUR1 paper
Papers
67 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | EuroSys | Canopy: Property-Driven Learning for Congestion Control. | Chenxi Yang, Divyanshu Saxena, Rohit Dwivedula, Kshiteej Mahajan, Swarat Chaudhuri, Aditya Akella |
| 2026 | ITP | ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving. | Amitayush Thakur, George Tsoukalas, Greg Durrett, Swarat Chaudhuri |
| 2025 | CAV | Automata Learning from Preference and Equivalence Queries. | Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri |
| 2025 | CVPR | Self-Evolving Visual Concept Library using Vision-Language Critics. | Atharva Sehgal, Patrick Yuan, Ziniu Hu, Yisong Yue, Jennifer J. Sun, Swarat Chaudhuri |
| 2025 | HOTNETS | Man-Made Heuristics Are Dead. Long Live Code Generators! | Rohit Dwivedula, Divyanshu Saxena, Aditya Akella, Swarat Chaudhuri, Daehyeok Kim |
| 2025 | ICML | Position: Formal Mathematical Reasoning - A New Frontier in AI. | Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song |
| 2024 | CAV | Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. | Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig |
| 2024 | ICLR | Neurosymbolic Grounding for Compositional World Models. | Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri |
| 2024 | ICLR | MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning. | Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett |
| 2024 | ICLR | A Probabilistic Framework for Modular Continual Learning. | Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, Charles Sutton |
| 2024 | ICLR | Batched Low-Rank Adaptation of Foundation Models. | Yeming Wen, Swarat Chaudhuri |
| 2024 | ICML | Online Cascade Learning for Efficient Inference over Streams. | Lunyiu Nie, Zhimin Ding, Erdong Hu, Christopher M. Jermaine, Swarat Chaudhuri |
| 2023 | CAV | Symbolic Quantum Simulation with Quasimodo. | Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps |
| 2023 | ICLR | Guiding Safe Exploration with Weakest Preconditions. | Greg Anderson, Swarat Chaudhuri, Isil Dillig |
| 2022 | EMNLP | Natural Language Deduction through Search over Statement Compositions. | Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett |
| 2022 | EMNLP | Natural Language Deduction with Incomplete Information. | Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett |
| 2022 | ICLR | Safe Neurosymbolic Learning with Differentiable Symbolic Execution. | Chenxi Yang, Swarat Chaudhuri |
| 2022 | WACV | Meta-Meta Classification for One-Shot Learning. | Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, Chris Jermaine |
| 2021 | EMNLP | Flexible Generation of Natural Language Deductions. | Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett |
| 2021 | ICCV | 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 |
| 2021 | IROS | A Sampling-based Motion Planning Framework for Complex Motor Actions. | Shlok Sobti, Rahul Shome, Swarat Chaudhuri, Lydia E. Kavraki |
| 2021 | IROS | OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. | Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas |
| 2019 | ICLR | Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. | Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel |
| 2019 | ICML | Control Regularization for Reduced Variance Reinforcement Learning. | Richard Cheng, Abhinav Verma, Gbor Orosz, Swarat Chaudhuri, Yisong Yue, Joel Burdick |
| 2019 | PLDI | Optimization and abstraction: a synergistic approach for analyzing neural network robustness. | Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri |
| 2019 | PLDI | Neural query expansion for code search. | Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra |
| 2018 | CAV | Automata vs Linear-Programming Discounted-Sum Inclusion. | Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi |
| 2018 | FOSSACS | Comparator Automata in Quantitative Verification. | Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi |
| 2018 | ICLR | Neural Sketch Learning for Conditional Program Generation. | Vijayaraghavan Murali, Letao Qi, Swarat Chaudhuri, Chris Jermaine |
| 2018 | ICML | Programmatically Interpretable Reinforcement Learning. | Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri |
| 2018 | ICSE | Program splicing. | Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski |
| 2018 | SP | 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 |
| 2018 | WAFR | Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives. | Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki |
| 2017 | PLDI | Component-based synthesis of table consolidation and transformation tasks from examples. | Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri |
| 2016 | PLDI | Synthesizing transformations on hierarchically structured data. | Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri |
| 2016 | VMCAI | Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
| 2015 | CAV | Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. | Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo |
| 2015 | PLDI | Synthesizing data structure transformations from input-output examples. | John K. Feser, Swarat Chaudhuri, Isil Dillig |
| 2015 | WWW | Grading the Graders: Motivating Peer Graders in a MOOC. | Yanxin Lu, Joe Warren, Christopher M. Jermaine, Swarat Chaudhuri, Scott Rixner |
| 2014 | CAV | Optimal Guard Synthesis for Memory Safety. | Thomas Dillig, Isil Dillig, Swarat Chaudhuri |
| 2014 | ICDM | Learning to Grade Student Programs in a Massive Open Online Course. | Anna Drummond, Yanxin Lu, Swarat Chaudhuri, Christopher M. Jermaine, Joe Warren, Scott Rixner |
| 2014 | ICRA | SMT-based synthesis of integrated task and motion plans from plan outlines. | Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki |
| 2014 | PLDI | Test-driven repair of data races in structured parallel programs. | Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey, Vivek Sarkar |
| 2014 | POPL | A constraint-based approach to solving games on infinite graphs. | Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko |
| 2014 | POPL | Bridging boolean and quantitative synthesis using smoothed proof search. | Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama |
| 2014 | POPL | Consistency analysis of decision-making programs. | Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid |
| 2013 | ACSAC | Extraction of statistically significant malware behaviors. | Sirinda Palahan, Domagoj Babic, Swarat Chaudhuri, Daniel Kifer |
| 2013 | ATVA | Robustness Analysis of String Transducers. | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
| 2013 | LICS | Regular Real Analysis. | Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi |
| 2013 | OOPSLA | Isolation for nested task parallelism. | Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar |
| 2013 | VMCAI | Robustness Analysis of Networked Systems. | Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri |
| 2012 | CAV | Euler: A System for Numerical Optimization of Programs. | Swarat Chaudhuri, Armando Solar-Lezama |
| 2011 | CAV | Smoothing a Program Soundly and Robustly. | Swarat Chaudhuri, Armando Solar-Lezama |
| 2011 | OOPSLA | Delegated isolation. | Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar |
| 2011 | PLDI | Path-based inductive synthesis for program inversion. | Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster |
| 2010 | CAV | Model Checking of Linearizability of Concurrent List Implementations. | Pavol Cern, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur |
| 2010 | PLDI | Smooth interpretation. | Swarat Chaudhuri, Armando Solar-Lezama |
| 2010 | POPL | Continuity analysis of programs. | Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman |
| 2010 | VMCAI | Temporal Reasoning for Procedural Programs. | Rajeev Alur, Swarat Chaudhuri |
| 2009 | OOPSLA | Parallel programming with object assemblies. | Roberto Lublinerman, Swarat Chaudhuri, Pavol Cern |
| 2008 | ISSTA | Dynamic inference of likely data preconditions over predicates by tree learning. | Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta |
| 2008 | POPL | Subcubic algorithms for recursive state machines. | Swarat Chaudhuri |
| 2007 | TACAS | Model Checking on Trees with Path Equivalences. | Rajeev Alur, Pavol Cern, Swarat Chaudhuri |
| 2006 | CAV | Languages of Nested Trees. | Rajeev Alur, Swarat Chaudhuri, P. Madhusudan |
| 2006 | POPL | A fixpoint calculus for local and global program flows. | Rajeev Alur, Swarat Chaudhuri, P. Madhusudan |
| 2005 | TACAS | On-the-Fly Reachability and Cycle Detection for Recursive State Machines. | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan |
| 2003 | CONCUR | Compression of Partially Ordered Strings. | Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis |