![]() | ![]() |
2002 | ||
---|---|---|
2 | EE | Manuvir Das, Sorin Lerner, Mark Seigle: ESP: Path-Sensitive Program Verification in Polynomial Time. PLDI 2002: 57-68 |
1 | EE | Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer: Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. SAS 2002: 230-246 |
1 | Stephen Adams | [1] |
2 | Thomas Ball | [1] |
3 | Manuvir Das | [1] [2] |
4 | Sorin Lerner | [1] [2] |
5 | Sriram K. Rajamani | [1] |
6 | Westley Weimer | [1] |