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] |