| |
| 2009 | ||
|---|---|---|
| 3 | EE | Ankur Taly, Sumit Gulwani, Ashish Tiwari: Synthesizing Switching Logic Using Constraint Solving. VMCAI 2009: 305-319 |
| 2008 | ||
| 2 | EE | Sergio Maffeis, John C. Mitchell, Ankur Taly: An Operational Semantics for JavaScript. APLAS 2008: 307-325 |
| 2007 | ||
| 1 | EE | Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou: Static Analysis by Policy Iteration on Relational Domains. ESOP 2007: 237-252 |
| 1 | Stephane Gaubert | [1] |
| 2 | Eric Goubault | [1] |
| 3 | Sumit Gulwani | [3] |
| 4 | Sergio Maffeis | [2] |
| 5 | John C. Mitchell | [2] |
| 6 | Ashish Tiwari | [3] |
| 7 | Sarah Zennou | [1] |