| |
| 2009 | ||
|---|---|---|
| 2 | EE | Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen: SNIFF: A Search Engine for Java Using Free-Form Queries. FASE 2009: 385-400 |
| 2007 | ||
| 1 | EE | Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadeer, Zvonimir Rakamaric: A Reachability Predicate for Analyzing Low-Level Software. TACAS 2007: 19-33 |
| 1 | Sudeep Juvekar | [2] |
| 2 | Shuvendu K. Lahiri | [1] |
| 3 | Shaz Qadeer | [1] |
| 4 | Zvonimir Rakamaric | [1] |
| 5 | Koushik Sen | [2] |