| 2019 | CC | Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments. | Komal Pathade, Uday P. Khedker |
| 2018 | CC | Computing partially path-sensitive MFP solutions in data flow analyses. | Komal Pathade, Uday P. Khedker |
| 2016 | ISSRE | Cause Points Analysis for Effective Handling of Alarms. | Tukaram Muske, Uday P. Khedker |
| 2016 | LOPSTR | Scaling Bounded Model Checking by Transforming Programs with Arrays. | Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C |
| 2016 | SAS | Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. | Pritam M. Gharat, Uday P. Khedker, Alan Mycroft |
| 2015 | ISSRE | Efficient elimination of false positives using static analysis. | Tukaram Muske, Uday P. Khedker |
| 2015 | TACAS | Value Slice: A New Slicing Concept for Scalable Property Checking. | Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker |
| 2013 | PLDI | Interprocedural data flow analysis in Soot using value contexts. | Rohan Padhye, Uday P. Khedker |
| 2012 | SAS | Liveness-Based Pointer Analysis. | Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat |
| 2009 | APLAS | Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. | Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker |
| 2008 | CC | Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method. | Uday P. Khedker, Bageshri Karkare |
| 2006 | SEFM | A PVS Based Framework for Validating Compiler Optimizations. | Aditya Kanade, Amitabha Sanyal, Uday P. Khedker |
| 2006 | SEFM | Static Analysis of Programs: A Heap Centric View. | Uday P. Khedker |
| 2005 | APLAS | Heterogeneous Fixed Points with Application to Points-To Analysis. | Aditya Kanade, Uday P. Khedker, Amitabha Sanyal |
| 1993 | POPL | Complexity of Bidirectional Data Flow Analysis. | Dhananjay M. Dhamdhere, Uday P. Khedker |