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