Complexity of Bidirectional Data Flow Analysis. - Dhananjay M. Dhamdhere; Uday P. Khedker (POPL, 1993)

A Generalized Theory of Bit Vector Data Flow Analysis. - Uday P. Khedker; Dhananjay M. Dhamdhere (ACM Trans. Program. Lang. Syst., 1994)

Bidirectional Data Flow Analysis: Myth and Reality. - Uday P. Khedker; Dhananjay M. Dhamdhere (ACM SIGPLAN Notices, 1999)

Data Flow Analysis. - Uday P. Khedker (The Compiler Design Handbook, 2002)

Bidirectional data flow analysis for type inferencing. - Uday P. Khedker; Dhananjay M. Dhamdhere; Alan Mycroft (Comput. Lang. Syst. Struct., 2003)

Heterogeneous Fixed Points with Application to Points-To Analysis. - Aditya Kanade 001; Uday P. Khedker; Amitabha Sanyal (APLAS, 2005)

Static Program Partitioning for Embedded Processors. - Bageshri Sathe; Uday P. Khedker (ESA, 2006)

A PVS Based Framework for Validating Compiler Optimizations. - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (SEFM, 2006)

Static Analysis of Programs: A Heap Centric View. - Uday P. Khedker (SEFM, 2006)

Complexity of Data Flow Analysis for Non-Separable Frameworks. - Bageshri Sathe; Uday P. Khedker (Software Engineering Research and Practice, 2006)

Complexity of Data Flow Analysis for Non-Separable Frameworks - Bageshri Karkare; Uday P. Khedker (CoRR, 2006)

Effectiveness of Garbage Collection in MIT/GNU Scheme - Amey Karkare; Amitabha Sanyal; Uday P. Khedker (CoRR, 2006)

Structuring Optimizing Transformations and Proving Them Sound. - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (COCV@ETAPS, 2006)

Garbage Collection Techniques. - Amitabha Sanyal; Uday P. Khedker (The Compiler Design Handbook, 2nd ed., 2007)

Heap Reference Analysis for Functional Programs - Amey Karkare; Amitabha Sanyal; Uday P. Khedker (CoRR, 2007)

Liveness of Heap Data for Functional Programs - Amey Karkare; Uday P. Khedker; Amitabha Sanyal (CoRR, 2007)

An improved bound for call strings based interprocedural analysis of bit vector frameworks. - Bageshri Karkare; Uday P. Khedker (ACM Trans. Program. Lang. Syst., 2007)

Heap reference analysis using access graphs. - Uday P. Khedker; Amitabha Sanyal; Amey Karkare (ACM Trans. Program. Lang. Syst., 2007)

Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method. - Uday P. Khedker; Bageshri Karkare (CC, 2008)

Data Flow Analysis - Theory and Practice. - Uday P. Khedker; Amitabha Sanyal; Bageshri Sathe (CRC Press, 2009)

Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. - Rupesh Nasre; Kaushik Rajan; Ramaswamy Govindarajan; Uday P. Khedker (APLAS, 2009)

Validation of GCC optimizers through trace generation. - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (Softw. Pract. Exp., 2009)

Lazy Pointer Analysis - Uday P. Khedker; Alan Mycroft; Prashant Singh Rawat (CoRR, 2011)

Liveness-Based Pointer Analysis. - Uday P. Khedker; Alan Mycroft; Prashant Singh Rawat (SAS, 2012)

A Logic for Correlating Temporal Properties across Program Transformations - Aditya Kanade 001; Amitabha Sanyal; Uday P. Khedker (CoRR, 2012)

Interprocedural data flow analysis in Soot using value contexts. - Rohan Padhye; Uday P. Khedker (SOAP@PLDI, 2013)

Buffer Overflow Analysis for C. - Uday P. Khedker (CoRR, 2014)

Generalizing the Liveness Based Points-to Analysis. - Uday P. Khedker; Vini Kanvar (CoRR, 2014)

Sliced Slices: Separating Data and Control Influences. - Shrawan Kumar 001; Amitabha Sanyal; Uday P. Khedker (CoRR, 2014)

Efficient elimination of false positives using static analysis. - Tukaram Muske; Uday P. Khedker (ISSRE, 2015)

Value Slice: A New Slicing Concept for Scalable Property Checking. - Shrawan Kumar 001; Amitabha Sanyal; Uday P. Khedker (TACAS, 2015)

In defense of soundiness: a manifesto. - Benjamin Livshits; Manu Sridharan; Yannis Smaragdakis; Ondrej Lhoták; José Nelson Amaral; Bor-Yuh Evan Chang; Samuel Z. Guyer; Uday P. Khedker; Anders Møller; Dimitrios Vardoulakis (Commun. ACM, 2015)

Cause Points Analysis for Effective Handling of Alarms. - Tukaram Muske; Uday P. Khedker (ISSRE, 2016)

Scaling Bounded Model Checking by Transforming Programs with Arrays. - Anushri Jana; Uday P. Khedker; Advaita Datar; R. Venkatesh 001; Niyas C (LOPSTR, 2016)

Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. - Pritam M. Gharat; Uday P. Khedker; Alan Mycroft (SAS, 2016)

Flow and Context Sensitive Points-to Analysis using Higher Order Reachability. - Pritam M. Gharat; Uday P. Khedker (CoRR, 2016)

Heap Abstractions for Static Analysis. - Vini Kanvar; Uday P. Khedker (ACM Comput. Surv., 2016)

"What's in a name?" going beyond allocation site names in heap analysis. - Vini Kanvar; Uday P. Khedker (ISMM, 2017)

Computing partially path-sensitive MFP solutions in data flow analyses. - Komal Pathade; Uday P. Khedker (CC, 2018)

Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers. - Pritam M. Gharat; Uday P. Khedker; Alan Mycroft (CoRR, 2018)

Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision. - Swati Jaiswal; Uday P. Khedker; Supratik Chakraborty (CoRR, 2018)

Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments. - Komal Pathade; Uday P. Khedker (CC, 2019)

Bidirectionality in flow-sensitive demand-driven analysis. - Swati Jaiswal; Uday P. Khedker; Supratik Chakraborty (Sci. Comput. Program., 2020)

Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis. - Pritam M. Gharat; Uday P. Khedker; Alan Mycroft (ACM Trans. Program. Lang. Syst., 2020)

A Unified Model for Context-Sensitive Program Analyses: : The Blind Men and the Elephant. - Swati Jaiswal; Uday P. Khedker; Alan Mycroft (ACM Comput. Surv., 2022)

SpComp: A Sparsity Structure-Specific Compilation of Matrix Operations. - Barnali Basak; Uday P. Khedker; Supratim Biswas (CoRR, 2023)

Computing maximum fixed point solutions over feasible paths in data flow analyses. - Komal Pathade; Uday P. Khedker (Sci. Comput. Program., 2023)

Which Part of the Heap is Useful? Improving Heap Liveness Analysis. - Vini Kanvar; Uday P. Khedker (CoRR, 2024)