| 2008 | ||
|---|---|---|
| 4 | EE | Rajeev Alur, Aditya Kanade, Gera Weiss: Ranking Automata and Games for Prioritized Requirements. CAV 2008: 240-253 |
| 2007 | ||
| 3 | EE | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: Structuring Optimizing Transformations and Proving Them Sound. Electr. Notes Theor. Comput. Sci. 176(3): 79-95 (2007) |
| 2006 | ||
| 2 | EE | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: A PVS Based Framework for Validating Compiler Optimizations. SEFM 2006: 108-117 |
| 2005 | ||
| 1 | EE | Aditya Kanade, Uday P. Khedker, Amitabha Sanyal: Heterogeneous Fixed Points with Application to Points-To Analysis. APLAS 2005: 298-314 |
| 1 | Rajeev Alur | [4] |
| 2 | Uday P. Khedker | [1] [2] [3] |
| 3 | Amitabha Sanyal | [1] [2] [3] |
| 4 | Gera Weiss | [4] |