


Остановите войну!
for scientists:


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
- 2023
- [c71]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Symbolic Quantum Simulation with Quasimodo. CAV (3) 2023: 213-225 - [e4]Kristin Yvonne Rozier
, Swarat Chaudhuri
:
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] - [i41]Chenxi Yang, Greg Anderson, Swarat Chaudhuri:
Policy Optimization with Robustness Certificates. CoRR abs/2301.11374 (2023) - [i40]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Symbolic Quantum Simulation with Quasimodo. CoRR abs/2302.04349 (2023) - [i39]Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps:
Weighted Context-Free-Language Ordered Binary Decision Diagrams. CoRR abs/2305.13610 (2023) - [i38]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) - [i37]Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, Charles Sutton:
A Probabilistic Framework for Modular Continual Learning. CoRR abs/2306.06545 (2023) - [i36]Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett:
Deductive Additivity for Planning of Natural Language Proofs. CoRR abs/2307.02472 (2023) - [i35]Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri:
Learning Reward Machines through Preference Queries over Sequences. CoRR abs/2308.09301 (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
, Adrian Trejo Nuñez
, Ana Brendel
, Swarat Chaudhuri
, Isil Dillig
:
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, Atharva Sehgal, Armando Solar-Lezama
, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes:
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
, Yisong Yue:
Neurosymbolic Programming. Found. Trends Program. Lang. 7(3): 158-243 (2021) - [j7]Yue Wang
, Abdullah Al Redwan Newaz, Juan David Hernández, Swarat Chaudhuri, Lydia E. Kavraki
:
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, Isil Dillig, Swarat Chaudhuri:
Neurosymbolic Reinforcement Learning with Formally Verified Exploration. NeurIPS 2020 - [c59]Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri:
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
, Swarat Chaudhuri, Lydia E. Kavraki
:
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, Richard G. Baraniuk, Swarat Chaudhuri, Ankit B. Patel:
Representing Formal Languages: A Comparison Between Finite Automata and Recurrent Neural Networks. ICLR (Poster) 2019 - [c57]Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel Burdick:
Control Regularization for Reduced Variance Reinforcement Learning. ICML 2019: 1141-1150 - [c56]Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri:
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
, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri:
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
, Zachary K. Kingston
, Swarat Chaudhuri, Lydia E. Kavraki
:
An incremental constraint-based framework for task and motion planning. Int. J. Robotics Res. 37(10) (2018) - [j3]Neil T. Dantam
, Swarat Chaudhuri, Lydia E. Kavraki
:
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, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri:
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
, Swarat Chaudhuri, Lydia E. Kavraki:
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, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri:
Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm. CDC 2015: 7434-7439 - [c36]John K. Feser
, Swarat Chaudhuri, Isil Dillig:
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
, Swarat Chaudhuri, Lydia E. Kavraki
:
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
, Vivek Sarkar:
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, Yu Yang:
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]