Swarat Chaudhuri

According to our database, Swarat Chaudhuri authored at least 115 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams.

Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps

ACM Trans. Program. Lang. Syst., June, 2024

Weighted Context-Free-Language Ordered Binary Decision Diagrams.

Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps

Proc. ACM Program. Lang., 2024

Symbolic Regression with a Learned Concept Library.

Arya Grayeli, Atharva Sehgal, Omar Costilla-Reyes, Miles Cranmer, Swarat Chaudhuri

CoRR, 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

CoRR, 2024

Prompt Tuning Strikes Back: Customizing Foundation Models with Low-Rank Prompt Adaptation.

Abhinav Jain, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine

CoRR, 2024

Deep Policy Optimization with Temporal Logic Constraints.

Ameesh Shah, Cameron Voloshin, Chenxi Yang, Abhinav Verma, Swarat Chaudhuri, Sanjit A. Seshia

CoRR, 2024

Grounding Data Science Code Generation with Input-Output Specifications.

Yeming Wen, Pengcheng Yin, Kensen Shi, Henryk Michalewski, Swarat Chaudhuri, Alex Polozov

CoRR, 2024

Certifiably Robust Reinforcement Learning through Model-Based Abstract Interpretation.

Chenxi Yang, Greg Anderson, Swarat Chaudhuri

Proceedings of the IEEE Conference on Secure and Trustworthy Machine Learning, 2024

Online Cascade Learning for Efficient Inference over Streams.

Lunyiu Nie, Zhimin Ding, Erdong Hu, Christopher M. Jermaine, Swarat Chaudhuri

Proceedings of the Forty-first International Conference on Machine Learning, 2024

Batched Low-Rank Adaptation of Foundation Models.

Yeming Wen, Swarat Chaudhuri

Proceedings of the Twelfth International Conference on Learning Representations, 2024

A Probabilistic Framework for Modular Continual Learning.

Lazar Valkov, Akash Srivastava, Swarat Chaudhuri, Charles Sutton

Proceedings of the Twelfth International Conference on Learning Representations, 2024

MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning.

Zayne Sprague, Xi Ye, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Neurosymbolic Grounding for Compositional World Models.

Atharva Sehgal, Arya Grayeli, Jennifer J. Sun, Swarat Chaudhuri

Proceedings of the Twelfth International Conference on Learning Representations, 2024

Relational Synthesis of Recursive Programs via Constraint Annotated Tree Automata.

Anders Miltner, Ziteng Wang, Swarat Chaudhuri, Isil Dillig

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Quasimodo.

Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps

Dataset, April, 2023

Quasimodo.

Meghana Aparna Sistla, Swarat Chaudhuri, Thomas W. Reps

Dataset, April, 2023

On a Foundation Model for Operating Systems.

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

CoRR, 2023

A Language-Agent Approach to Formal Theorem-Proving.

Amitayush Thakur, Yeming Wen, Swarat Chaudhuri

CoRR, 2023

Learning Reward Machines through Preference Queries over Sequences.

Eric Hsiung, Joydeep Biswas, Swarat Chaudhuri

CoRR, 2023

Deductive Additivity for Planning of Natural Language Proofs.

Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett

CoRR, 2023

Tuning Models of Code with Compiler-Generated Reinforcement Learning Feedback.

Abhinav Jain, Chima Adiole, Swarat Chaudhuri, Thomas W. Reps, Chris Jermaine

CoRR, 2023

Policy Optimization with Robustness Certificates.

Chenxi Yang, Greg Anderson, Swarat Chaudhuri

CoRR, 2023

Guiding Safe Exploration with Weakest Preconditions.

Greg Anderson, Swarat Chaudhuri, Isil Dillig

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Symbolic Quantum Simulation with Quasimodo.

Meghana Sistla, Swarat Chaudhuri, Thomas W. Reps

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Unsupervised Learning of Neurosymbolic Encoders.

Eric Zhan, Jennifer J. Sun, Ann Kennedy, Yisong Yue, Swarat Chaudhuri

Trans. Mach. Learn. Res., 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

Comparator automata in quantitative verification.

Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi

Log. Methods Comput. Sci., 2022

Neurosymbolic Programming for Science.

Jennifer J. Sun, Megan Tjandrasuwita, Atharva Sehgal, Armando Solar-Lezama, Swarat Chaudhuri, Yisong Yue, Omar Costilla-Reyes

CoRR, 2022

Meta-Meta Classification for One-Shot Learning.

Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, Chris Jermaine

Proceedings of the IEEE/CVF Winter Conference on Applications of Computer Vision, 2022

Policy Optimization with Linear Temporal Logic Constraints.

Cameron Voloshin, Hoang Minh Le, Swarat Chaudhuri, Yisong Yue

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

Safe Neurosymbolic Learning with Differentiable Symbolic Execution.

Chenxi Yang, Swarat Chaudhuri

Proceedings of the Tenth International Conference on Learning Representations, 2022

Natural Language Deduction with Incomplete Information.

Zayne Sprague, Kaj Bostrom, Swarat Chaudhuri, Greg Durrett

Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022

Natural Language Deduction through Search over Statement Compositions.

Kaj Bostrom, Zayne Sprague, Swarat Chaudhuri, Greg Durrett

Proceedings of the Findings of the Association for Computational Linguistics: EMNLP 2022, 2022

2021

Online Partial Conditional Plan Synthesis for POMDPs With Safe-Reachability Objectives: Methods and Experiments.

Yue Wang, Abdullah Al Redwan Newaz, Juan David Hernández, Swarat Chaudhuri, Lydia E. Kavraki

IEEE Trans Autom. Sci. Eng., 2021

Neurosymbolic Programming.

Swarat Chaudhuri, Kevin Ellis, Oleksandr Polozov, Rishabh Singh, Armando Solar-Lezama, Yisong Yue

Found. Trends Program. Lang., 2021

Interpreting Expert Annotation Differences in Animal Behavior.

Megan Tjandrasuwita, Jennifer J. Sun, Ann Kennedy, Swarat Chaudhuri, Yisong Yue

CoRR, 2021

Flexible Operations for Natural Language Deduction.

Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett

CoRR, 2021

Neural Program Generation Modulo Static Analysis.

Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Christopher M. Jermaine

Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

OneVision: Centralized to Distributed Controller Synthesis with Delay Compensation.

Jiayi Wei, Tongrui Li, Swarat Chaudhuri, Isil Dillig, Joydeep Biswas

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

A Sampling-based Motion Planning Framework for Complex Motor Actions.

Shlok Sobti, Rahul Shome, Swarat Chaudhuri, Lydia E. Kavraki

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 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

Proceedings of the 2021 IEEE/CVF International Conference on Computer Vision, 2021

Flexible Generation of Natural Language Deductions.

Kaj Bostrom, Xinyu Zhao, Swarat Chaudhuri, Greg Durrett

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, 2021

2020

Searching a Database of Source Codes Using Contextualized Code Search.

Rohan Mukherjee, Chris Jermaine, Swarat Chaudhuri

Proc. VLDB Endow., 2020

Learning Differentiable Programs with Admissible Neural Heuristics.

Ameesh Shah, Eric Zhan, Jennifer J. Sun, Abhinav Verma, Yisong Yue, Swarat Chaudhuri

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Neurosymbolic Reinforcement Learning with Formally Verified Exploration.

Greg Anderson, Abhinav Verma, Isil Dillig, Swarat Chaudhuri

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Point-Based Policy Synthesis for POMDPs With Boolean and Quantitative Objectives.

Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki

IEEE Robotics Autom. Lett., 2019

Imitation-Projected Policy Gradient for Programmatic Reinforcement Learning.

Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri

CoRR, 2019

Neural query expansion for code search.

Jason Liu, Seohyun Kim, Vijayaraghavan Murali, Swarat Chaudhuri, Satish Chandra

Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2019

Optimization and abstraction: a synergistic approach for analyzing neural network robustness.

Greg Anderson, Shankara Pailoor, Isil Dillig, Swarat Chaudhuri

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

Imitation-Projected Programmatic Reinforcement Learning.

Abhinav Verma, Hoang Minh Le, Yisong Yue, Swarat Chaudhuri

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

Control Regularization for Reduced Variance Reinforcement Learning.

Richard Cheng, Abhinav Verma, Gábor Orosz, Swarat Chaudhuri, Yisong Yue, Joel Burdick

Proceedings of the 36th International Conference on Machine Learning, 2019

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

Proceedings of the 7th International Conference on Learning Representations, 2019

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

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

Synthesis of Differentiable Functional Programs for Lifelong Learning.

Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri

CoRR, 2018

Online Partial Conditional Plan Synthesis for POMDPs with Safe-Reachability Objectives.

Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki

Proceedings of the Algorithmic Foundations of Robotics XIII, 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

Proceedings of the 2018 IEEE Symposium on Security and Privacy, 2018

HOUDINI: Lifelong Learning as Program Synthesis.

Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri

Proceedings of the Advances in Neural Information Processing Systems 31: Annual Conference on Neural Information Processing Systems 2018, 2018

Program splicing.

Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski

Proceedings of the 40th International Conference on Software Engineering, 2018

Programmatically Interpretable Reinforcement Learning.

Abhinav Verma, Vijayaraghavan Murali, Rishabh Singh, Pushmeet Kohli, Swarat Chaudhuri

Proceedings of the 35th International Conference on Machine Learning, 2018

Neural Sketch Learning for Conditional Program Generation.

Vijayaraghavan Murali, Letao Qi, Swarat Chaudhuri, Chris Jermaine

Proceedings of the 6th International Conference on Learning Representations, 2018

Automata vs Linear-Programming Discounted-Sum Inclusion.

Suguman Bansal, Swarat Chaudhuri, Moshe Y. Vardi

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives.

Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Game Theory in AI, Logic, and Algorithms (Dagstuhl Seminar 17111).

Swarat Chaudhuri, Sampath Kannan, Rupak Majumdar, Michael J. Wooldridge

Dagstuhl Reports, 2017

Bayesian Sketch Learning for Program Synthesis.

Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine

CoRR, 2017

Finding Likely Errors with Bayesian Specifications.

Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine

CoRR, 2017

Data-Driven Program Completion.

Yanxin Lu, Swarat Chaudhuri, Chris Jermaine, David Melski

CoRR, 2017

Neural Attribute Machines for Program Generation.

Matthew Amodio, Swarat Chaudhuri, Thomas W. Reps

CoRR, 2017

Bayesian specification learning for finding API usage errors.

Vijayaraghavan Murali, Swarat Chaudhuri, Chris Jermaine

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Component-based synthesis of table consolidation and transformation tasks from examples.

Yu Feng, Ruben Martins, Jacob Van Geffen, Isil Dillig, Swarat Chaudhuri

Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017

2016

Incremental Task and Motion Planning: A Constraint-Based Approach.

Neil T. Dantam, Zachary K. Kingston, Swarat Chaudhuri, Lydia E. Kavraki

Proceedings of the Robotics: Science and Systems XII, University of Michigan, Ann Arbor, Michigan, USA, June 18, 2016

Synthesizing transformations on hierarchically structured data.

Navid Yaghmazadeh, Christian Klinger, Isil Dillig, Swarat Chaudhuri

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Task and Motion Policy Synthesis as Liveness Games.

Yue Wang, Neil T. Dantam, Swarat Chaudhuri, Lydia E. Kavraki

Proceedings of the Twenty-Sixth International Conference on Automated Planning and Scheduling, 2016

2015

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version).

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

CoRR, 2015

Grading the Graders: Motivating Peer Graders in a MOOC.

Yanxin Lu, Joe Warren, Christopher M. Jermaine, Swarat Chaudhuri, Scott Rixner

Proceedings of the 24th International Conference on World Wide Web, 2015

Recursive Games for Compositional Program Synthesis.

Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Synthesizing data structure transformations from input-output examples.

John K. Feser, Swarat Chaudhuri, Isil Dillig

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Controller synthesis with inductive proofs for piecewise linear systems: An SMT-based algorithm.

Zhenqi Huang, Yu Wang, Sayan Mitra, Geir E. Dullerud, Swarat Chaudhuri

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

2014

Consistency analysis of decision-making programs.

Swarat Chaudhuri, Azadeh Farzan, Zachary Kincaid

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Bridging boolean and quantitative synthesis using smoothed proof search.

Swarat Chaudhuri, Martin Clochard, Armando Solar-Lezama

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

A constraint-based approach to solving games on infinite graphs.

Tewodros A. Beyene, Swarat Chaudhuri, Corneliu Popeea, Andrey Rybalchenko

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Test-driven repair of data races in structured parallel programs.

Rishi Surendran, Raghavan Raman, Swarat Chaudhuri, John M. Mellor-Crummey, Vivek Sarkar

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

SMT-based synthesis of integrated task and motion plans from plan outlines.

Srinivas Nedunuri, Sailesh Prabhu, Mark Moll, Swarat Chaudhuri, Lydia E. Kavraki

Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 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

Proceedings of the 2014 IEEE International Conference on Data Mining, 2014

Optimal Guard Synthesis for Memory Safety.

Thomas Dillig, Isil Dillig, Swarat Chaudhuri

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

A Semantics for Approximate Program Transformations

Edwin M. Westbrook, Swarat Chaudhuri

CoRR, 2013

Robustness Analysis of Networked Systems.

Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri

Proceedings of the Verification, 2013

Isolation for nested task parallelism.

Jisheng Zhao, Roberto Lublinerman, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

Regular Real Analysis.

Swarat Chaudhuri, Sriram Sankaranarayanan, Moshe Y. Vardi

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Robustness Analysis of String Transducers.

Roopsha Samanta, Jyotirmoy V. Deshmukh, Swarat Chaudhuri

Proceedings of the Automated Technology for Verification and Analysis, 2013

Extraction of statistically significant malware behaviors.

Sirinda Palahan, Domagoj Babic, Swarat Chaudhuri, Daniel Kifer

Proceedings of the Annual Computer Security Applications Conference, 2013

2012

Continuity and robustness of programs.

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman

Commun. ACM, 2012

Euler: A System for Numerical Optimization of Programs.

Swarat Chaudhuri, Armando Solar-Lezama

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

Software model checking using languages of nested trees.

Rajeev Alur, Swarat Chaudhuri, P. Madhusudan

ACM Trans. Program. Lang. Syst., 2011

A Study of Android Application Security.

William Enck, Damien Octeau, Patrick D. McDaniel, Swarat Chaudhuri

Proceedings of the 20th USENIX Security Symposium, 2011

Proving programs robust.

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman, Sara NavidPour

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Path-based inductive synthesis for program inversion.

Saurabh Srivastava, Sumit Gulwani, Swarat Chaudhuri, Jeffrey S. Foster

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011

Delegated isolation.

Roberto Lublinerman, Jisheng Zhao, Zoran Budimlic, Swarat Chaudhuri, Vivek Sarkar

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Smoothing a Program Soundly and Robustly.

Swarat Chaudhuri, Armando Solar-Lezama

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Temporal Reasoning for Procedural Programs.

Rajeev Alur, Swarat Chaudhuri

Proceedings of the Verification, 2010

Continuity analysis of programs.

Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerman

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

Smooth interpretation.

Swarat Chaudhuri, Armando Solar-Lezama

Proceedings of the 2010 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2010

Model Checking of Linearizability of Concurrent List Implementations.

Pavol Cerný, Arjun Radhakrishna, Damien Zufferey, Swarat Chaudhuri, Rajeev Alur

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Symbolic pruning of concurrent program executions.

Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Parallel programming with object assemblies.

Roberto Lublinerman, Swarat Chaudhuri, Pavol Cerný

Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

2008

Subcubic algorithms for recursive state machines.

Swarat Chaudhuri

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

Dynamic inference of likely data preconditions over predicates by tree learning.

Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic, Aarti Gupta

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

2007

Model Checking on Trees with Path Equivalences.

Rajeev Alur, Pavol Cerný, Swarat Chaudhuri

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Instrumenting C Programs with Nested Word Monitors.

Swarat Chaudhuri, Rajeev Alur

Proceedings of the Model Checking Software, 2007

2006

A fixpoint calculus for local and global program flows.

Rajeev Alur, Swarat Chaudhuri, P. Madhusudan

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

Branching Pushdown Tree Automata.

Rajeev Alur, Swarat Chaudhuri

Proceedings of the FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 2006

Languages of Nested Trees.

Rajeev Alur, Swarat Chaudhuri, P. Madhusudan

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

On-the-Fly Reachability and Cycle Detection for Recursive State Machines.

Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, P. Madhusudan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

2003

Compression of Partially Ordered Strings.

Rajeev Alur, Swarat Chaudhuri, Kousha Etessami, Sudipto Guha, Mihalis Yannakakis

Proceedings of the CONCUR 2003, 2003