73 entries « 4 of 4 »
13.

Alur, Rajeev; Chaudhuri, Swarat

Temporal Reasoning for Procedural Programs Inproceedings

In: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings, pp. 45–60, 2010.

Abstract | Links | BibTeX | Tags:

12.

Lublinerman, Roberto; Chaudhuri, Swarat; Cerný, Pavol

Parallel programming with object assemblies Inproceedings

In: Proceedings of the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA, pp. 61–80, 2009.

Abstract | Links | BibTeX | Tags:

11.

Wang, Chao; Chaudhuri, Swarat; Gupta, Aarti; Yang, Yu

Symbolic pruning of concurrent program executions Inproceedings

In: Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009, pp. 23–32, 2009.

Abstract | Links | BibTeX | Tags:

10.

Sankaranarayanan, Sriram; Chaudhuri, Swarat; Ivancic, Franjo; Gupta, Aarti

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

In: Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2008, Seattle, WA, USA, July 20-24, 2008, pp. 295–306, 2008.

Abstract | Links | BibTeX | Tags:

9.

Chaudhuri, Swarat

Subcubic algorithms for recursive state machines Inproceedings

In: Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2008, San Francisco, California, USA, January 7-12, 2008, pp. 159–169, 2008.

Abstract | Links | BibTeX | Tags:

8.

Chaudhuri, Swarat; Alur, Rajeev

Instrumenting C Programs with Nested Word Monitors Inproceedings

In: Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings, pp. 279–283, 2007.

Links | BibTeX | Tags:

7.

Alur, Rajeev; Cerný, Pavol; Chaudhuri, Swarat

Model Checking on Trees with Path Equivalences Inproceedings

In: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 664–678, 2007.

Abstract | Links | BibTeX | Tags:

6.

Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.

Languages of Nested Trees Inproceedings

In: Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 329–342, 2006.

Abstract | Links | BibTeX | Tags:

5.

Alur, Rajeev; Chaudhuri, Swarat

Branching Pushdown Tree Automata Inproceedings

In: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, pp. 393–404, 2006.

Abstract | Links | BibTeX | Tags:

4.

Alur, Rajeev; Chaudhuri, Swarat; Madhusudan, P.

A fixpoint calculus for local and global program flows Inproceedings

In: Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2006, Charleston, South Carolina, USA, January 11-13, 2006, pp. 153–165, 2006.

Abstract | Links | BibTeX | Tags:

3.

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

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

In: Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings, pp. 61–76, 2005.

Abstract | Links | BibTeX | Tags:

2.

[No title]

0000.

BibTeX | Tags:

1.

Samuel Anklesaria Calvin Smith,; Chaudhuri, Swarat

Deep Generative Logic Programming in Sherlog Journal Article

In: 0000.

BibTeX | Tags: Probabilistic Programming

73 entries « 4 of 4 »