 | 2009 |
|---|
| 11 |       | Chao Wang,
Swarat Chaudhuri,
Aarti Gupta,
Yu Yang:
Symbolic pruning of concurrent program executions.
ESEC/SIGSOFT FSE 2009: 23-32 |
| 10 | | Roberto Lublinerman,
Swarat Chaudhuri,
Pavol Cerný:
Parallel programming with object assemblies.
OOPSLA 2009: 61-80 |
| 2008 |
|---|
| 9 | | Sriram Sankaranarayanan,
Swarat Chaudhuri,
Franjo Ivancic,
Aarti Gupta:
Dynamic inference of likely data preconditions over predicates by tree learning.
ISSTA 2008: 295-306 |
| 8 | | Swarat Chaudhuri:
Subcubic algorithms for recursive state machines.
POPL 2008: 159-169 |
| 2007 |
|---|
| 7 | | Swarat Chaudhuri,
Rajeev Alur:
Instrumenting C Programs with Nested Word Monitors.
SPIN 2007: 279-283 |
| 6 | | Rajeev Alur,
Pavol Cerný,
Swarat Chaudhuri:
Model Checking on Trees with Path Equivalences.
TACAS 2007: 664-678 |
| 2006 |
|---|
| 5 | | Rajeev Alur,
Swarat Chaudhuri,
P. Madhusudan:
Languages of Nested Trees.
CAV 2006: 329-342 |
| 4 | | Rajeev Alur,
Swarat Chaudhuri:
Branching Pushdown Tree Automata.
FSTTCS 2006: 393-404 |
| 3 | | Rajeev Alur,
Swarat Chaudhuri,
P. Madhusudan:
A fixpoint calculus for local and global program flows.
POPL 2006: 153-165 |
| 2005 |
|---|
| 2 | | Rajeev Alur,
Swarat Chaudhuri,
Kousha Etessami,
P. Madhusudan:
On-the-Fly Reachability and Cycle Detection for Recursive State Machines.
TACAS 2005: 61-76 |
| 2003 |
|---|
| 1 | | Rajeev Alur,
Swarat Chaudhuri,
Kousha Etessami,
Sudipto Guha,
Mihalis Yannakakis:
Compression of Partially Ordered Strings.
CONCUR 2003: 42-56 |
