- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c8 |      | Anirudh Santhiar, Omesh Pandita, Aditya Kanade: Discovering Math APIs by Mining Unit Tests. FASE 2013: 327-342 |
| 2012 | ||
| c7 | | Pranavadatta Devaki, Aditya Kanade: Static Analysis for Checking Data Format Compatibility of Programs. FSTTCS 2012: 522-533 |
| i1 | | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: A Logic for Correlating Temporal Properties across Program Transformations. CoRR abs/1209.5152 (2012) |
| 2010 | ||
| c6 | | Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ganesan Ramalingam: Representation dependence testing using program inversion. SIGSOFT FSE 2010: 277-286 |
| 2009 | ||
| j2 | | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: Validation of GCC optimizers through trace generation. Softw., Pract. Exper. 39(6): 611-639 (2009) |
| c5 | | Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar: Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. CAV 2009: 430-445 |
| 2008 | ||
| c4 | | Rajeev Alur, Aditya Kanade, Gera Weiss: Ranking Automata and Games for Prioritized Requirements. CAV 2008: 240-253 |
| c3 | | Rajeev Alur, Aditya Kanade, S. Ramesh, K. C. Shashidhar: Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. EMSOFT 2008: 89-98 |
| 2007 | ||
| j1 | | 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 | ||
| c2 | | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker: A PVS Based Framework for Validating Compiler Optimizations. SEFM 2006: 108-117 |
| 2005 | ||
| c1 | | Aditya Kanade, Uday P. Khedker, Amitabha Sanyal: Heterogeneous Fixed Points with Application to Points-To Analysis. APLAS 2005: 298-314 |
Colors in the list of coauthors
Last update Sun May 26 06:34:15 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page