default search action
Swarat Chaudhuri
Person information
- affiliation: University of Texas, Austin, USA
- affiliation (former): Rice University, Houston, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j12]Meghana Aparna Sistla
, Swarat Chaudhuri
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. ACM Trans. Program. Lang. Syst. 46(2): 7 (2024) - [c79]Anders Miltner, Ziteng Wang
Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata. CAV (3) 2024: 41-63 - [c78]Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri:
Neurosymbolic Grounding for Compositional World Models. ICLR 2024 - [c77]Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett:
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning. ICLR 2024 - [c76]Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, Charles Sutton:
A Probabilistic Framework for Modular Continual Learning. ICLR 2024 - [c75]Yeming Wen, Swarat Chaudhuri:
Batched Low-Rank Adaptation of Foundation Models. ICLR 2024 - [c74]Lunyiu Nie, Zhimin Ding, Erdong Hu, Christopher M. Jermaine, Swarat Chaudhuri:
Online Cascade Learning for Efficient Inference over Streams. ICML 2024 - [c73]Chenxi Yang, Greg Anderson, Swarat Chaudhuri:
Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation. SaTML 2024: 233-251 - [i52]Lunyiu Nie, Zhimin Ding, Erdong Hu, Christopher M. Jermaine, Swarat Chaudhuri:
Online Cascade Learning for Efficient Inference over Streams. CoRR abs/2402.04513 (2024) - [i51]Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov:
Grounding Data Science Code Generation with Input-Output Specifications. CoRR abs/2402.08073 (2024) - [i50]Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia:
Deep Policy Optimization with Temporal Logic Constraints. CoRR abs/2404.11578 (2024) - [i49]Abhinav Jain, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine:
Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation. CoRR abs/2405.15282 (2024) - [i48]George Tsoukalas, Jasper Lee, John Jennings, Jimmy Xin, Michelle Ding, Michael Jennings, Amitayush Thakur, Swarat Chaudhuri:
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition. CoRR abs/2407.11214 (2024) - [i47]Arya Grayeli, Atharva Sehgal, Omar Costilla-Reyes, Miles Cranmer, Swarat Chaudhuri:
Symbolic Regression with a Learned Concept Library. CoRR abs/2409.09359 (2024) - 2023
- [c72]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Symbolic Quantum Simulation with Quasimodo. CAV (3) 2023: 213-225 - [c71]Greg Anderson, Swarat Chaudhuri, Isil Dillig:
Guiding Safe Exploration with Weakest Preconditions. ICLR 2023 - [e4]Kristin Yvonne Rozier
NASA Formal Methods - 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings. Lecture Notes in Computer Science 13903, Springer 2023, ISBN 978-3-031-33169-5 [contents] - [d2]Meghana Aparna Sistla
Quasimodo. Zenodo, 2023 - [d1]Meghana Aparna Sistla
Quasimodo. Zenodo, 2023 - [i46]Chenxi Yang, Greg Anderson, Swarat Chaudhuri:
Policy Optimization with Robustness Certificates. CoRR abs/2301.11374 (2023) - [i45]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Symbolic Quantum Simulation with Quasimodo. CoRR abs/2302.04349 (2023) - [i44]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Weighted Context-Free-Language Ordered Binary Decision Diagrams. CoRR abs/2305.13610 (2023) - [i43]Abhinav Jain, Chima Adiole, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine:
Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback. CoRR abs/2305.18341 (2023) - [i42]Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, Charles Sutton:
A Probabilistic Framework for Modular Continual Learning. CoRR abs/2306.06545 (2023) - [i41]Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett:
Deductive Additivity for Planning of Natural Language Proofs. CoRR abs/2307.02472 (2023) - [i40]Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri:
Learning Reward Machines through Preference Queries over Sequences. CoRR abs/2308.09301 (2023) - [i39]Amitayush Thakur, Yeming Wen, Swarat Chaudhuri:
A Language-Agent Approach to Formal Theorem-Proving. CoRR abs/2310.04353 (2023) - [i38]Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri:
Neurosymbolic Grounding for Compositional World Models. CoRR abs/2310.12690 (2023) - [i37]Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett:
MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning. CoRR abs/2310.16049 (2023) - [i36]Yeming Wen, Swarat Chaudhuri:
Batched Low-Rank Adaptation of Foundation Models. CoRR abs/2312.05677 (2023) - [i35]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:
On a Foundation Model for Operating Systems. CoRR abs/2312.07813 (2023) - 2022
- [j11]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator automata in quantitative verification. Log. Methods Comput. Sci. 18(3) (2022) - [j10]Anders Miltner
Bottom-up synthesis of recursive functional programs using angelic execution. Proc. ACM Program. Lang. 6(POPL): 1-29 (2022) - [j9]Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, Swarat Chaudhuri:
Unsupervised Learning of Neurosymbolic Encoders. Trans. Mach. Learn. Res. 2022 (2022) - [c70]Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett:
Natural Language Deduction through Search over Statement Compositions. EMNLP (Findings) 2022: 4871-4883 - [c69]Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett:
Natural Language Deduction with Incomplete Information. EMNLP 2022: 8230-8258 - [c68]Chenxi Yang, Swarat Chaudhuri:
Safe Neurosymbolic Learning with Differentiable Symbolic Execution. ICLR 2022 - [c67]Cameron Voloshin, Hoang Minh Le, Swarat Chaudhuri, Yisong Yue:
Policy Optimization with Linear Temporal Logic Constraints. NeurIPS 2022 - [c66]Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, Chris Jermaine:
Meta-Meta Classification for One-Shot Learning. WACV 2022: 1628-1637 - [e3]Swarat Chaudhuri, Charles Sutton:
MAPS@PLDI 2022: 6th ACM SIGPLAN International Symposium on Machine Programming, San Diego, CA, USA, 13 June 2022. ACM 2022, ISBN 978-1-4503-9273-0 [contents] - [i34]Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett:
Natural Language Deduction through Search over Statement Compositions. CoRR abs/2201.06028 (2022) - [i33]Chenxi Yang, Swarat Chaudhuri:
Safe Neurosymbolic Learning with Differentiable Symbolic Execution. CoRR abs/2203.07671 (2022) - [i32]Cameron Voloshin, Hoang Minh Le, Swarat Chaudhuri, Yisong Yue:
Policy Optimization with Linear Temporal Logic Constraints. CoRR abs/2206.09546 (2022) - [i31]Greg Anderson, Swarat Chaudhuri, Isil Dillig:
Guiding Safe Exploration with Weakest Preconditions. CoRR abs/2209.14148 (2022) - [i30]Jennifer J. Sun, Megan Tjandrasuwita
Neurosymbolic Programming for Science. CoRR abs/2210.05050 (2022) - [i29]Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett:
Natural Language Deduction with Incomplete Information. CoRR abs/2211.00614 (2022) - [i28]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams. CoRR abs/2211.06818 (2022) - 2021
- [j8]Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama
Neurosymbolic Programming. Found. Trends Program. Lang. 7(3): 158-243 (2021) - [j7]Yue Wang
Online Partial Conditional Plan Synthesis for POMDPs With Safe-Reachability Objectives: Methods and Experiments. IEEE Trans Autom. Sci. Eng. 18(3): 932-945 (2021) - [c65]Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett:
Flexible Generation of Natural Language Deductions. EMNLP (1) 2021: 6266-6278 - [c64]Arkabandhu Chowdhury, Mingchao Jiang, Swarat Chaudhuri, Chris Jermaine:
Few-shot Image Classification: Just Use a Library of Pre-trained Feature Extractors and a Simple Classifier. ICCV 2021: 9425-9434 - [c63]Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas:
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. IROS 2021: 398-405 - [c62]Shlok Sobti, Rahul Shome, Swarat Chaudhuri, Lydia E. Kavraki
A Sampling-based Motion Planning Framework for Complex Motor Actions. IROS 2021: 6928-6934 - [c61]Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine:
Neural Program Generation Modulo Static Analysis. NeurIPS 2021: 18984-18996 - [i27]Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas:
OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation. CoRR abs/2104.06588 (2021) - [i26]Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett:
Flexible Operations for Natural Language Deduction. CoRR abs/2104.08825 (2021) - [i25]Megan Tjandrasuwita, Jennifer J. Sun, Ann Kennedy, Swarat Chaudhuri, Yisong Yue:
Interpreting Expert Annotation Differences in Animal Behavior. CoRR abs/2106.06114 (2021) - [i24]Anders Miltner, Adrian Trejo Nuñez, Ana Brendel, Swarat Chaudhuri, Isil Dillig:
Bottom-up Synthesis of Recursive Functional Programs using Angelic Execution. CoRR abs/2107.06253 (2021) - [i23]Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, Swarat Chaudhuri:
Unsupervised Learning of Neurosymbolic Encoders. CoRR abs/2107.13132 (2021) - [i22]Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine:
Neural Program Generation Modulo Static Analysis. CoRR abs/2111.01633 (2021) - 2020
- [j6]Rohan Mukherjee, Chris Jermaine, Swarat Chaudhuri:
Searching a Database of Source Codes Using Contextualized Code Search. Proc. VLDB Endow. 13(10): 1765-1778 (2020) - [c60]Greg Anderson, Abhinav Verma
Neurosymbolic Reinforcement Learning with Formally Verified Exploration. NeurIPS 2020 - [c59]Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma
Learning Differentiable Programs with Admissible Neural Heuristics. NeurIPS 2020 - [i21]Rohan Mukherjee, Swarat Chaudhuri, Chris Jermaine:
Searching a Database of Source Codes Using Contextualized Code Search. CoRR abs/2001.03277 (2020) - [i20]Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, Chris Jermaine:
Meta-Meta-Classification for One-Shot Learning. CoRR abs/2004.08083 (2020) - [i19]Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri:
Learning Differentiable Programs with Admissible Neural Heuristics. CoRR abs/2007.12101 (2020) - [i18]Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri:
Neurosymbolic Reinforcement Learning with Formally Verified Exploration. CoRR abs/2009.12612 (2020)
2010 – 2019
- 2019
- [j5]Yue Wang
Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives. IEEE Robotics Autom. Lett. 4(2): 1860-1867 (2019) - [c58]Joshua J. Michalenko, Ameesh Shah, Abhinav Verma
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. ICLR (Poster) 2019 - [c57]Richard Cheng, Abhinav Verma
Control Regularization for Reduced Variance Reinforcement Learning. ICML 2019: 1141-1150 - [c56]Abhinav Verma
Imitation-Projected Programmatic Reinforcement Learning. NeurIPS 2019: 15726-15737 - [c55]Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra:
Neural query expansion for code search. MAPL@PLDI 2019: 29-37 - [c54]Greg Anderson
Optimization and abstraction: a synergistic approach for analyzing neural network robustness. PLDI 2019: 731-744 - [i17]Joshua J. Michalenko, Ameesh Shah, Abhinav Verma, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel:
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. CoRR abs/1902.10297 (2019) - [i16]Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri:
Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness. CoRR abs/1904.09959 (2019) - [i15]Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel W. Burdick:
Control Regularization for Reduced Variance Reinforcement Learning. CoRR abs/1905.05380 (2019) - [i14]Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri:
Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning. CoRR abs/1907.05431 (2019) - 2018
- [j4]Neil T. Dantam
An incremental constraint-based framework for task and motion planning. Int. J. Robotics Res. 37(10) (2018) - [j3]Neil T. Dantam
The Task-Motion Kit: An Open Source, General-Purpose Task and Motion-Planning Framework. IEEE Robotics Autom. Mag. 25(3): 61-70 (2018) - [c53]Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki:
Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives. AAMAS 2018: 238-246 - [c52]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Automata vs Linear-Programming Discounted-Sum Inclusion. CAV (2) 2018: 99-116 - [c51]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator Automata in Quantitative Verification. FoSSaCS 2018: 420-437 - [c50]Vijayaraghavan Murali, Letao Qi, Swarat Chaudhuri, Chris Jermaine:
Neural Sketch Learning for Conditional Program Generation. ICLR 2018 - [c49]Abhinav Verma
Programmatically Interpretable Reinforcement Learning. ICML 2018: 5052-5061 - [c48]Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski:
Program splicing. ICSE 2018: 338-349 - [c47]Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri:
HOUDINI: Lifelong Learning as Program Synthesis. NeurIPS 2018: 8701-8712 - [c46]Timon Gehr, Matthew Mirman, Dana Drachsler-Cohen, Petar Tsankov, Swarat Chaudhuri, Martin T. Vechev:
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation. IEEE Symposium on Security and Privacy 2018: 3-18 - [c45]Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki
Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives. WAFR 2018: 127-143 - [i13]Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki:
Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives. CoRR abs/1801.09780 (2018) - [i12]Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri:
Synthesis of Differentiable Functional Programs for Lifelong Learning. CoRR abs/1804.00218 (2018) - [i11]Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri:
Programmatically Interpretable Reinforcement Learning. CoRR abs/1804.02477 (2018) - [i10]Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi:
Comparator automata in quantitative verification. CoRR abs/1812.06569 (2018) - 2017
- [c44]Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri:
Component-based synthesis of table consolidation and transformation tasks from examples. PLDI 2017: 422-436 - [c43]Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine:
Bayesian specification learning for finding API usage errors. ESEC/SIGSOFT FSE 2017: 151-162 - [i9]Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine:
Finding Likely Errors with Bayesian Specifications. CoRR abs/1703.01370 (2017) - [i8]Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine:
Bayesian Sketch Learning for Program Synthesis. CoRR abs/1703.05698 (2017) - [i7]Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski:
Data-Driven Program Completion. CoRR abs/1705.09042 (2017) - [i6]Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps:
Neural Attribute Machines for Program Generation. CoRR abs/1705.09231 (2017) - [i5]Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, Michael J. Wooldridge:
Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111). Dagstuhl Reports 7(3): 27-32 (2017) - 2016
- [c42]Yue Wang, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki:
Task and Motion Policy Synthesis as Liveness Games. ICAPS 2016: 536- - [c41]Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri:
Synthesizing transformations on hierarchically structured data. PLDI 2016: 508-521 - [c40]Neil T. Dantam, Zachary K. Kingston
Incremental Task and Motion Planning: A Constraint-Based Approach. Robotics: Science and Systems 2016 - [c39]Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo:
Abstract Interpretation with Infinitesimals - Towards Scalability in Nonstandard Static Analysis. VMCAI 2016: 229-249 - [e2]Swarat Chaudhuri, Azadeh Farzan:
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Lecture Notes in Computer Science 9779, Springer 2016, ISBN 978-3-319-41527-7 [contents] - [e1]Swarat Chaudhuri, Azadeh Farzan:
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II. Lecture Notes in Computer Science 9780, Springer 2016, ISBN 978-3-319-41539-0 [contents] - [i4]Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri:
Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. CoRR abs/1611.07502 (2016) - 2015
- [c38]Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. SNR@CAV 2015: 11-22 - [c37]Zhenqi Huang, Yu Wang
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. CDC 2015: 7434-7439 - [c36]John K. Feser
Synthesizing data structure transformations from input-output examples. PLDI 2015: 229-239 - [c35]Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko:
Recursive Games for Compositional Program Synthesis. VSTTE 2015: 19-39 - [c34]Yanxin Lu, Joe Warren, Christopher M. Jermaine, Swarat Chaudhuri, Scott Rixner:
Grading the Graders: Motivating Peer Graders in a MOOC. WWW 2015: 680-690 - [i3]Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri:
Controller Synthesis with Inductive Proofs for Piecewise Linear Systems: an SMT-based Algorithm. CoRR abs/1509.04623 (2015) - [i2]Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo:
Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version). CoRR abs/1511.00825 (2015) - 2014
- [c33]Thomas Dillig, Isil Dillig, Swarat Chaudhuri:
Optimal Guard Synthesis for Memory Safety. CAV 2014: 491-507 - [c32]Anna Drummond, Yanxin Lu, Swarat Chaudhuri, Christopher M. Jermaine, Joe Warren, Scott Rixner:
Learning to Grade Student Programs in a Massive Open Online Course. ICDM 2014: 785-790 - [c31]Srinivas Nedunuri, Sailesh Prabhu, Mark Moll
SMT-based synthesis of integrated task and motion plans from plan outlines. ICRA 2014: 655-662 - [c30]Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey
Test-driven repair of data races in structured parallel programs. PLDI 2014: 15-25 - [c29]Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama
Bridging boolean and quantitative synthesis using smoothed proof search. POPL 2014: 207-220 - [c28]Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko:
A constraint-based approach to solving games on infinite graphs. POPL 2014: 221-234 - [c27]Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid
Consistency analysis of decision-making programs. POPL 2014: 555-568 - 2013
- [c26]Sirinda Palahan, Domagoj Babic, Swarat Chaudhuri, Daniel Kifer:
Extraction of statistically significant malware behaviors. ACSAC 2013: 69-78 - [c25]Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri:
Robustness Analysis of String Transducers. ATVA 2013: 427-441 - [c24]Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi:
Regular Real Analysis. LICS 2013: 509-518 - [c23]Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar:
Isolation for nested task parallelism. OOPSLA 2013: 571-588 - [c22]Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri:
Robustness Analysis of Networked Systems. VMCAI 2013: 229-247 - [i1]Edwin M. Westbrook, Swarat Chaudhuri:
A Semantics for Approximate Program Transformations. CoRR abs/1304.5531 (2013) - 2012
- [j2]Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman:
Continuity and robustness of programs. Commun. ACM 55(8): 107-115 (2012) - [c21]Swarat Chaudhuri, Armando Solar-Lezama:
Euler: A System for Numerical Optimization of Programs. CAV 2012: 732-737 - 2011
- [j1]Rajeev Alur, Swarat Chaudhuri, P. Madhusudan:
Software model checking using languages of nested trees. ACM Trans. Program. Lang. Syst. 33(5): 15:1-15:45 (2011) - [c20]Swarat Chaudhuri, Armando Solar-Lezama:
Smoothing a Program Soundly and Robustly. CAV 2011: 277-292 - [c19]Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar:
Delegated isolation. OOPSLA 2011: 885-902 - [c18]Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster:
Path-based inductive synthesis for program inversion. PLDI 2011: 492-503 - [c17]Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour:
Proving programs robust. SIGSOFT FSE 2011: 102-112 - [c16]William Enck, Damien Octeau, Patrick D. McDaniel, Swarat Chaudhuri:
A Study of Android Application Security. USENIX Security Symposium 2011 - 2010
- [c15]Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur:
Model Checking of Linearizability of Concurrent List Implementations. CAV 2010: 465-479 - [c14]Swarat Chaudhuri, Armando Solar-Lezama
Smooth interpretation. PLDI 2010: 279-291 - [c13]Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman:
Continuity analysis of programs. POPL 2010: 57-70 - [c12]Rajeev Alur, Swarat Chaudhuri:
Temporal Reasoning for Procedural Programs. VMCAI 2010: 45-60
2000 – 2009
- 2009
- [c11]Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný:
Parallel programming with object assemblies. OOPSLA 2009: 61-80 - [c10]Chao Wang, Swarat Chaudhuri, Aarti Gupta
Symbolic pruning of concurrent program executions. ESEC/SIGSOFT FSE 2009: 23-32 - 2008
- [c9]Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta
Dynamic inference of likely data preconditions over predicates by tree learning. ISSTA 2008: 295-306 - [c8]Swarat Chaudhuri:
Subcubic algorithms for recursive state machines. POPL 2008: 159-169 - 2007
- [c7]Swarat Chaudhuri, Rajeev Alur:
Instrumenting C Programs with Nested Word Monitors. SPIN 2007: 279-283 - [c6]Rajeev Alur, Pavol Cerný, Swarat Chaudhuri:
Model Checking on Trees with Path Equivalences. TACAS 2007: 664-678 - 2006
- [c5]Rajeev Alur, Swarat Chaudhuri, P. Madhusudan:
Languages of Nested Trees. CAV 2006: 329-342 - [c4]Rajeev Alur, Swarat Chaudhuri:
Branching Pushdown Tree Automata. FSTTCS 2006: 393-404 - [c3]Rajeev Alur, Swarat Chaudhuri, P. Madhusudan:
A fixpoint calculus for local and global program flows. POPL 2006: 153-165 - 2005
- [c2]Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan:
On-the-Fly Reachability and Cycle Detection for Recursive State Machines. TACAS 2005: 61-76 - 2003
- [c1]Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis:
Compression of Partially Ordered Strings. CONCUR 2003: 42-56
Coauthor Index
Chris Jermaine
aka: Christopher M. Jermaine
aka: Christopher M. Jermaine
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-06 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: