 | 2009 |
| 4 |  | Sergio Maffeis,
John C. Mitchell,
Ankur Taly:
Isolating JavaScript with Filters, Rewriting, and Wrappers.
ESORICS 2009: 505-522 |
| 3 |  | Ankur Taly,
Sumit Gulwani,
Ashish Tiwari:
Synthesizing Switching Logic Using Constraint Solving.
VMCAI 2009: 305-319 |
| 2008 |
| 2 |  | Sergio Maffeis,
John C. Mitchell,
Ankur Taly:
An Operational Semantics for JavaScript.
APLAS 2008: 307-325 |
| 2007 |
| 1 |  | Stephane Gaubert,
Eric Goubault,
Ankur Taly,
Sarah Zennou:
Static Analysis by Policy Iteration on Relational Domains.
ESOP 2007: 237-252 |