| 2008 |
|---|
| 9 | EE | Sriram Sankaranarayanan,
Swarat Chaudhuri,
Franjo Ivancic,
Aarti Gupta:
Dynamic inference of likely data preconditions over predicates by tree learning.
ISSTA 2008: 295-306 |
| 8 | EE | Swarat Chaudhuri:
Subcubic algorithms for recursive state machines.
POPL 2008: 159-169 |
| 2007 |
|---|
| 7 | EE | Swarat Chaudhuri,
Rajeev Alur:
Instrumenting C Programs with Nested Word Monitors.
SPIN 2007: 279-283 |
| 6 | EE | Rajeev Alur,
Pavol Cerný,
Swarat Chaudhuri:
Model Checking on Trees with Path Equivalences.
TACAS 2007: 664-678 |
| 2006 |
|---|
| 5 | EE | Rajeev Alur,
Swarat Chaudhuri,
P. Madhusudan:
Languages of Nested Trees.
CAV 2006: 329-342 |
| 4 | EE | Rajeev Alur,
Swarat Chaudhuri:
Branching Pushdown Tree Automata.
FSTTCS 2006: 393-404 |
| 3 | EE | Rajeev Alur,
Swarat Chaudhuri,
P. Madhusudan:
A fixpoint calculus for local and global program flows.
POPL 2006: 153-165 |
| 2005 |
|---|
| 2 | EE | 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 | EE | Rajeev Alur,
Swarat Chaudhuri,
Kousha Etessami,
Sudipto Guha,
Mihalis Yannakakis:
Compression of Partially Ordered Strings.
CONCUR 2003: 42-56 |
