Swarat Chaudhuri

174 papers A* 48A 12B 6C 1Misc 1Journal 82Unranked 20
YearRankTypeTitle / Venue / Authors
2026 J jnl
CSLib: The Lean Computer Science Library.
CoRR
Clark W. Barrett, Swarat Chaudhuri, Fabrizio Montesi, Jim Grundy, Pushmeet Kohli, Leonardo de Moura, Alexandre Rademaker, Sorrachai Yingchareonthawornchai
2026 A conf
Canopy: Property-Driven Learning for Congestion Control.
EuroSys
Chenxi Yang, Divyanshu Saxena, Rohit Dwivedula, Kshiteej Mahajan, Swarat Chaudhuri, Aditya Akella
2026 J jnl
Evaluating Agentic Optimization on Large Codebases.
CoRR
Atharva Sehgal, James Hou, Akanksha Sarkar, Ishaan Mantripragada, Swarat Chaudhuri, Jennifer J. Sun, Yisong Yue
2026 J jnl
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification.
Commun. ACM
Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song
2025 J jnl
AlphaEvolve: A coding agent for scientific and algorithmic discovery.
CoRR
Alexander Novikov, 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, Swarat Chaudhuri, George Holland, Alex Davies, Sebastian Nowozin, Pushmeet Kohli, Matej Balog
2025 — conf
Automata Learning from Preference and Equivalence Queries.
CAV (4)
Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri
2025 J jnl
CLEVER: A Curated Benchmark for Formally Verified Code Generation.
CoRR
Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri
2025 J jnl
FlashResearch: Real-time Agent Orchestration for Efficient Deep Research.
CoRR
Lunyiu Nie, Nedim Lipka, Ryan A. Rossi, Swarat Chaudhuri
2025 J jnl
LTL-Constrained Policy Optimization with Cycle Experience Replay.
Trans. Mach. Learn. Res.
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
2025 J jnl
Lean Finder: Semantic Search for Mathlib That Understands User Intents.
CoRR
Jialin Lu, Kye Emond, Kaiyu Yang, Swarat Chaudhuri, Weiran Sun, Wuyang Chen
2025 J jnl
Learning Interestingness in Automated Mathematical Theory Formation.
CoRR
George Tsoukalas, Rahul Saha, Amitayush Thakur, Sabrina Reguyal, Swarat Chaudhuri
2025 Misc conf
Man-Made Heuristics Are Dead. Long Live Code Generators!
HotNets
Rohit Dwivedula, Divyanshu Saxena, Aditya Akella, Swarat Chaudhuri, Daehyeok Kim
2025 J jnl
Man-Made Heuristics Are Dead. Long Live Code Generators!
CoRR
Rohit Dwivedula, Divyanshu Saxena, Aditya Akella, Swarat Chaudhuri, Daehyeok Kim
2025 — conf
Position: Formal Mathematical Reasoning - A New Frontier in AI.
ICML (Position Papers)
Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song
2025 J jnl
ProofWala: Multilingual Proof Data Synthesis and Theorem-Proving.
CoRR
Amitayush Thakur, George Tsoukalas, Greg Durrett, Swarat Chaudhuri
2025 J jnl
Resource-efficient Inference with Foundation Model Programs.
CoRR
Lunyiu Nie, Zhimin Ding, Kevin Yu, Marco Cheung, Chris Jermaine, Swarat Chaudhuri
2025 A* conf
Self-Evolving Visual Concept Library using Vision-Language Critics.
CVPR
Atharva Sehgal, Patrick Yuan, Ziniu Hu, Yisong Yue, Jennifer J. Sun, Swarat Chaudhuri
2025 J jnl
Self-Evolving Visual Concept Library using Vision-Language Critics.
CoRR
Atharva Sehgal, Patrick Yuan, Ziniu Hu, Yisong Yue, Jennifer J. Sun, Swarat Chaudhuri
2024 A* conf
A Probabilistic Framework for Modular Continual Learning.
ICLR
Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, Charles Sutton
2024 A* conf
Batched Low-Rank Adaptation of Foundation Models.
ICLR
Yeming Wen, Swarat Chaudhuri
2024 J jnl
C3: Learning Congestion Controllers with Formal Certificates.
CoRR
Chenxi Yang, Divyanshu Saxena, Rohit Dwivedula, Kshiteej Mahajan, Swarat Chaudhuri, Aditya Akella
2024 J jnl
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.
ACM Trans. Program. Lang. Syst.
Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps
2024 — conf
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation.
SaTML
Chenxi Yang, Greg Anderson, Swarat Chaudhuri
2024 J jnl
Deep Policy Optimization with Temporal Logic Constraints.
CoRR
Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia
2024 J jnl
Formal Mathematical Reasoning: A New Frontier in AI.
CoRR
Kaiyu Yang, Gabriel Poesia, Jingxuan He, Wenda Li, Kristin E. Lauter, Swarat Chaudhuri, Dawn Song
2024 J jnl
Grounding Data Science Code Generation with Input-Output Specifications.
CoRR
Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov
2024 J jnl
Learning Quantitative Automata Modulo Theories.
CoRR
Eric Hsiung, Swarat Chaudhuri, Joydeep Biswas
2024 A* conf
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning.
ICLR
Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2024 A* conf
Neurosymbolic Grounding for Compositional World Models.
ICLR
Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri
2024 A* conf
Online Cascade Learning for Efficient Inference over Streams.
ICML
Lunyiu Nie, Zhimin Ding, Erdong Hu, Christopher M. Jermaine, Swarat Chaudhuri
2024 J jnl
Online Cascade Learning for Efficient Inference over Streams.
CoRR
Lunyiu Nie, Zhimin Ding, Erdong Hu, Christopher M. Jermaine, Swarat Chaudhuri
2024 A* conf
Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation.
NeurIPS
Abhinav Jain, Swarat Chaudhuri, Thomas W. Reps, Christopher M. Jermaine
2024 J jnl
Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation.
CoRR
Abhinav Jain, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine
2024 A* conf
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
NeurIPS
George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri
2024 J jnl
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.
CoRR
George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri
2024 — conf
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata.
CAV (3)
Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig
2024 A* conf
Symbolic Regression with a Learned Concept Library.
NeurIPS
Arya Grayeli, Atharva Sehgal, Omar Costilla-Reyes, Miles D. Cranmer, Swarat Chaudhuri
2024 J jnl
Symbolic Regression with a Learned Concept Library.
CoRR
Arya Grayeli, Atharva Sehgal, Omar Costilla-Reyes, Miles D. Cranmer, Swarat Chaudhuri
2024 A* conf
Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models.
NeurIPS
Yeming Wen, Swarat Chaudhuri
2024 J jnl
Synthesize, Partition, then Adapt: Eliciting Diverse Samples from Foundation Models.
CoRR
Yeming Wen, Swarat Chaudhuri
2024 J jnl
Weighted Context-Free-Language Ordered Binary Decision Diagrams.
Proc. ACM Program. Lang.
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
2023 J jnl
A Language-Agent Approach to Formal Theorem-Proving.
CoRR
Amitayush Thakur, Yeming Wen, Swarat Chaudhuri
2023 J jnl
A Probabilistic Framework for Modular Continual Learning.
CoRR
Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, Charles Sutton
2023 J jnl
Batched Low-Rank Adaptation of Foundation Models.
CoRR
Yeming Wen, Swarat Chaudhuri
2023 J jnl
Deductive Additivity for Planning of Natural Language Proofs.
CoRR
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2023 A* conf
Guiding Safe Exploration with Weakest Preconditions.
ICLR
Greg Anderson, Swarat Chaudhuri, Isil Dillig
2023 J jnl
Learning Reward Machines through Preference Queries over Sequences.
CoRR
Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri
2023 J jnl
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning.
CoRR
Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2023 — ed.
NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings
NFM
Kristin Yvonne Rozier, Swarat Chaudhuri
2023 J jnl
Neurosymbolic Grounding for Compositional World Models.
CoRR
Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri
2023 J jnl
On a Foundation Model for Operating Systems.
CoRR
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, Philip Brighten Godfrey, Daehyeok Kim, Christopher J. Rossbach, Gang Wang
2023 J jnl
Policy Optimization with Robustness Certificates.
CoRR
Chenxi Yang, Greg Anderson, Swarat Chaudhuri
2023 — conf
Symbolic Quantum Simulation with Quasimodo.
CAV (3)
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
2023 J jnl
Symbolic Quantum Simulation with Quasimodo.
CoRR
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
2023 J jnl
Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback.
CoRR
Abhinav Jain, Chima Adiole, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine
2023 J jnl
Weighted Context-Free-Language Ordered Binary Decision Diagrams.
CoRR
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
2022 J jnl
Bottom-up synthesis of recursive functional programs using angelic execution.
Proc. ACM Program. Lang.
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
2022 J jnl
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.
CoRR
Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps
2022 J jnl
Comparator automata in quantitative verification.
Log. Methods Comput. Sci.
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
2022 J jnl
Guiding Safe Exploration with Weakest Preconditions.
CoRR
Greg Anderson, Swarat Chaudhuri, Isil Dillig
2022 — ed.
MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, San Diego, CA, USA, 13 June 2022
MAPS@PLDI
Swarat Chaudhuri, Charles Sutton
2022 A conf
Meta-Meta Classification for One-Shot Learning.
WACV
Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, Chris Jermaine
2022 — conf
Natural Language Deduction through Search over Statement Compositions.
EMNLP (Findings)
Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett
2022 J jnl
Natural Language Deduction through Search over Statement Compositions.
CoRR
Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett
2022 A* conf
Natural Language Deduction with Incomplete Information.
EMNLP
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2022 J jnl
Natural Language Deduction with Incomplete Information.
CoRR
Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett
2022 J jnl
Neurosymbolic Programming for Science.
CoRR
Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes
2022 A* conf
Policy Optimization with Linear Temporal Logic Constraints.
NeurIPS
Cameron Voloshin, Hoang Minh Le, Swarat Chaudhuri, Yisong Yue
2022 J jnl
Policy Optimization with Linear Temporal Logic Constraints.
CoRR
Cameron Voloshin, Hoang Minh Le, Swarat Chaudhuri, Yisong Yue
2022 A* conf
Safe Neurosymbolic Learning with Differentiable Symbolic Execution.
ICLR
Chenxi Yang, Swarat Chaudhuri
2022 J jnl
Safe Neurosymbolic Learning with Differentiable Symbolic Execution.
CoRR
Chenxi Yang, Swarat Chaudhuri
2022 J jnl
Unsupervised Learning of Neurosymbolic Encoders.
Trans. Mach. Learn. Res.
Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, Swarat Chaudhuri
2021 A conf
A Sampling-based Motion Planning Framework for Complex Motor Actions.
IROS
Shlok Sobti, Rahul Shome, Swarat Chaudhuri, Lydia E. Kavraki
2021 J jnl
Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution.
CoRR
Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig
2021 A* conf
Few-shot Image Classification: Just Use a Library of Pre-trained Feature Extractors and a Simple Classifier.
ICCV
Arkabandhu Chowdhury, Mingchao Jiang, Swarat Chaudhuri, Chris Jermaine
2021 — conf
Flexible Generation of Natural Language Deductions.
EMNLP (1)
Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett
2021 J jnl
Flexible Operations for Natural Language Deduction.
CoRR
Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett
2021 J jnl
Interpreting Expert Annotation Differences in Animal Behavior.
CoRR
Megan Tjandrasuwita, Jennifer J. Sun, Ann Kennedy, Swarat Chaudhuri, Yisong Yue
2021 A* conf
Neural Program Generation Modulo Static Analysis.
NeurIPS
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine
2021 J jnl
Neural Program Generation Modulo Static Analysis.
CoRR
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine
2021 J jnl
Neurosymbolic Programming.
Found. Trends Program. Lang.
Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue
2021 A conf
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation.
IROS
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas
2021 J jnl
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation.
CoRR
Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas
2021 J jnl
Online Partial Conditional Plan Synthesis for POMDPs With Safe-Reachability Objectives: Methods and Experiments.
IEEE Trans Autom. Sci. Eng.
Yue Wang, Abdullah Al Redwan Newaz, Juan David Hernández, Swarat Chaudhuri, Lydia E. Kavraki
2021 J jnl
Unsupervised Learning of Neurosymbolic Encoders.
CoRR
Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, Swarat Chaudhuri
2020 A* conf
Learning Differentiable Programs with Admissible Neural Heuristics.
NeurIPS
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
2020 J jnl
Learning Differentiable Programs with Admissible Neural Heuristics.
CoRR
Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri
2020 J jnl
Meta-Meta-Classification for One-Shot Learning.
CoRR
Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, Chris Jermaine
2020 A* conf
Neurosymbolic Reinforcement Learning with Formally Verified Exploration.
NeurIPS
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
2020 J jnl
Neurosymbolic Reinforcement Learning with Formally Verified Exploration.
CoRR
Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri
2020 J jnl
Searching a Database of Source Codes Using Contextualized Code Search.
CoRR
Rohan Mukherjee, Swarat Chaudhuri, Chris Jermaine
2020 J jnl
Searching a Database of Source Codes Using Contextualized Code Search.
Proc. VLDB Endow.
Rohan Mukherjee, Chris Jermaine, Swarat Chaudhuri
2019 A* conf
Control Regularization for Reduced Variance Reinforcement Learning.
ICML
Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel Burdick
2019 J jnl
Control Regularization for Reduced Variance Reinforcement Learning.
CoRR
Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel W. Burdick
2019 J jnl
Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning.
CoRR
Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri
2019 A* conf
Imitation-Projected Programmatic Reinforcement Learning.
NeurIPS
Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri
2019 — conf
Neural query expansion for code search.
MAPL@PLDI
Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra
2019 J jnl
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness.
CoRR
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
2019 A* conf
Optimization and abstraction: a synergistic approach for analyzing neural network robustness.
PLDI
Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri
2019 J jnl
Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives.
IEEE Robotics Autom. Lett.
Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
2019 — conf
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks.
ICLR (Poster)
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
2019 J jnl
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks.
CoRR
Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel
2018 A* conf
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation.
IEEE Symposium on Security and Privacy
Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev
2018 J jnl
An incremental constraint-based framework for task and motion planning.
Int. J. Robotics Res.
Neil T. Dantam, Zachary K. Kingston, Swarat Chaudhuri, Lydia E. Kavraki
2018 — conf
Automata vs Linear-Programming Discounted-Sum Inclusion.
CAV (2)
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
2018 A conf
Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives.
AAMAS
Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
2018 J jnl
Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives.
CoRR
Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
2018 B conf
Comparator Automata in Quantitative Verification.
FoSSaCS
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
2018 J jnl
Comparator automata in quantitative verification.
CoRR
Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi
2018 A* conf
HOUDINI: Lifelong Learning as Program Synthesis.
NeurIPS
Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri
2018 — conf
Neural Sketch Learning for Conditional Program Generation.
ICLR
Vijayaraghavan Murali, Letao Qi, Swarat Chaudhuri, Chris Jermaine
2018 C conf
Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives.
WAFR
Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
2018 A* conf
Program splicing.
ICSE
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski
2018 A* conf
Programmatically Interpretable Reinforcement Learning.
ICML
Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri
2018 J jnl
Programmatically Interpretable Reinforcement Learning.
CoRR
Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri
2018 J jnl
Synthesis of Differentiable Functional Programs for Lifelong Learning.
CoRR
Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri
2018 J jnl
The Task-Motion Kit: An Open Source, General-Purpose Task and Motion-Planning Framework.
IEEE Robotics Autom. Mag.
Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki
2017 J jnl
Bayesian Sketch Learning for Program Synthesis.
CoRR
Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine
2017 — conf
Bayesian specification learning for finding API usage errors.
ESEC/SIGSOFT FSE
Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine
2017 A* conf
Component-based synthesis of table consolidation and transformation tasks from examples.
PLDI
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
2017 J jnl
Data-Driven Program Completion.
CoRR
Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski
2017 J jnl
Finding Likely Errors with Bayesian Specifications.
CoRR
Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine
2017 J jnl
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111).
Dagstuhl Reports
Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, Michael J. Wooldridge
2017 J jnl
Neural Attribute Machines for Program Generation.
CoRR
Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps
2016 B conf
Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis.
VMCAI
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
2016 J jnl
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples.
CoRR
Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri
2016 — ed.
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
CAV (1)
Swarat Chaudhuri, Azadeh Farzan
2016 — ed.
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
CAV (2)
Swarat Chaudhuri, Azadeh Farzan
2016 — conf
Incremental Task and Motion Planning: A Constraint-Based Approach.
Robotics: Science and Systems
Neil T. Dantam, Zachary K. Kingston, Swarat Chaudhuri, Lydia E. Kavraki
2016 A* conf
Synthesizing transformations on hierarchically structured data.
PLDI
Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri
2016 A* conf
Task and Motion Policy Synthesis as Liveness Games.
ICAPS
Yue Wang, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki
2015 J jnl
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version).
CoRR
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
2015 — conf
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.
SNR@CAV
Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
2015 J jnl
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm.
CoRR
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
2015 — conf
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm.
CDC
Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri
2015 A* conf
Grading the Graders: Motivating Peer Graders in a MOOC.
WWW
Yanxin Lu, Joe Warren, Christopher M. Jermaine, Swarat Chaudhuri, Scott Rixner
2015 — conf
Recursive Games for Compositional Program Synthesis.
VSTTE
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
2015 A* conf
Synthesizing data structure transformations from input-output examples.
PLDI
John K. Feser, Swarat Chaudhuri, Isil Dillig
2014 A* conf
A constraint-based approach to solving games on infinite graphs.
POPL
Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko
2014 A* conf
Bridging boolean and quantitative synthesis using smoothed proof search.
POPL
Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama
2014 A* conf
Consistency analysis of decision-making programs.
POPL
Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid
2014 A* conf
Learning to Grade Student Programs in a Massive Open Online Course.
ICDM
Anna Drummond, Yanxin Lu, Swarat Chaudhuri, Christopher M. Jermaine, Joe Warren, Scott Rixner
2014 A* conf
Optimal Guard Synthesis for Memory Safety.
CAV
Thomas Dillig, Isil Dillig, Swarat Chaudhuri
2014 A* conf
SMT-based synthesis of integrated task and motion plans from plan outlines.
ICRA
Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki
2014 A* conf
Test-driven repair of data races in structured parallel programs.
PLDI
Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey, Vivek Sarkar
2013 J jnl
A Semantics for Approximate Program Transformations
CoRR
Edwin M. Westbrook, Swarat Chaudhuri
2013 A conf
Extraction of statistically significant malware behaviors.
ACSAC
Sirinda Palahan, Domagoj Babic, Swarat Chaudhuri, Daniel Kifer
2013 A conf
Isolation for nested task parallelism.
OOPSLA
Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar
2013 A* conf
Regular Real Analysis.
LICS
Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi
2013 B conf
Robustness Analysis of Networked Systems.
VMCAI
Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri
2013 B conf
Robustness Analysis of String Transducers.
ATVA
Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri
2012 J jnl
Continuity and robustness of programs.
Commun. ACM
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
2012 A* conf
Euler: A System for Numerical Optimization of Programs.
CAV
Swarat Chaudhuri, Armando Solar-Lezama
2011 A* conf
A Study of Android Application Security.
USENIX Security Symposium
William Enck, Damien Octeau, Patrick D. McDaniel, Swarat Chaudhuri
2011 A conf
Delegated isolation.
OOPSLA
Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar
2011 A* conf
Path-based inductive synthesis for program inversion.
PLDI
Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster
2011 — conf
Proving programs robust.
SIGSOFT FSE
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour
2011 A* conf
Smoothing a Program Soundly and Robustly.
CAV
Swarat Chaudhuri, Armando Solar-Lezama
2011 J jnl
Software model checking using languages of nested trees.
ACM Trans. Program. Lang. Syst.
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
2010 A* conf
Continuity analysis of programs.
POPL
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman
2010 A* conf
Model Checking of Linearizability of Concurrent List Implementations.
CAV
Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur
2010 A* conf
Smooth interpretation.
PLDI
Swarat Chaudhuri, Armando Solar-Lezama
2010 B conf
Temporal Reasoning for Procedural Programs.
VMCAI
Rajeev Alur, Swarat Chaudhuri
2009 A conf
Parallel programming with object assemblies.
OOPSLA
Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný
2009 — conf
Symbolic pruning of concurrent program executions.
ESEC/SIGSOFT FSE
Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang
2008 A conf
Dynamic inference of likely data preconditions over predicates by tree learning.
ISSTA
Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta
2008 A* conf
Subcubic algorithms for recursive state machines.
POPL
Swarat Chaudhuri
2007 — conf
Instrumenting C Programs with Nested Word Monitors.
SPIN
Swarat Chaudhuri, Rajeev Alur
2007 A conf
Model Checking on Trees with Path Equivalences.
TACAS
Rajeev Alur, Pavol Cerný, Swarat Chaudhuri
2006 A* conf
A fixpoint calculus for local and global program flows.
POPL
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
2006 — conf
Branching Pushdown Tree Automata.
FSTTCS
Rajeev Alur, Swarat Chaudhuri
2006 A* conf
Languages of Nested Trees.
CAV
Rajeev Alur, Swarat Chaudhuri, P. Madhusudan
2005 A conf
On-the-Fly Reachability and Cycle Detection for Recursive State Machines.
TACAS
Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan
2003 B conf
Compression of Partially Ordered Strings.
CONCUR
Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis