Uday P. Khedker

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 21

Top Topics

Top Venues

Sci. Comput. Program.

ACM Comput. Surv.

Publications

Komal Pathade, Uday P. Khedker
Computing maximum fixed point solutions over feasible paths in data flow analyses. Sci. Comput. Program. 228 (2023)
Barnali Basak, Uday P. Khedker, Supratim Biswas
SpComp: A Sparsity Structure-Specific Compilation of Matrix Operations. CoRR (2023)
Komal Pathade, Uday P. Khedker
Computing Maximum Fixed Point Solutions over Feasible Paths in Data Flow Analyses. CoRR (2022)
Swati Jaiswal, Uday P. Khedker, Alan Mycroft
A Unified Model for Context-Sensitive Program Analyses: : The Blind Men and the Elephant. ACM Comput. Surv. 54 (6) (2021)
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis. ACM Trans. Program. Lang. Syst. 42 (2) (2020)
Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty
Bidirectionality in flow-sensitive demand-driven analysis. Sci. Comput. Program. 190 (2020)
Komal Pathade, Uday P. Khedker
Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments. CC (2019)
Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty
Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision. CoRR (2018)
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers. CoRR (2018)
Komal Pathade, Uday P. Khedker
Computing partially path-sensitive MFP solutions in data flow analyses. CC (2018)
Vini Kanvar, Uday P. Khedker
"What's in a name?" going beyond allocation site names in heap analysis. ISMM (2017)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking By Transforming Programs With Arrays. CoRR (2016)
Vini Kanvar, Uday P. Khedker
Heap Abstractions for Static Analysis. ACM Comput. Surv. 49 (2) (2016)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking By Transforming Programs With Arrays. CoRR (2016)
Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C
Scaling Bounded Model Checking by Transforming Programs with Arrays. LOPSTR (2016)
Tukaram Muske, Uday P. Khedker
Cause Points Analysis for Effective Handling of Alarms. ISSRE (2016)
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs. SAS (2016)
Pritam M. Gharat, Uday P. Khedker
Flow and Context Sensitive Points-to Analysis using Higher Order Reachability. CoRR (2016)
Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker
Value Slice: A New Slicing Concept for Scalable Property Checking. TACAS (2015)
Tukaram Muske, Uday P. Khedker
Efficient elimination of false positives using static analysis. ISSRE (2015)
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
In defense of soundiness: a manifesto. Commun. ACM 58 (2) (2015)
Vini Kanvar, Uday P. Khedker
Heap Abstractions for Static Analysis. CoRR (2014)
Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker
Sliced Slices: Separating Data and Control Influences. CoRR (2014)
Uday P. Khedker
Buffer Overflow Analysis for C. CoRR (2014)
Uday P. Khedker, Vini Kanvar
Generalizing the Liveness Based Points-to Analysis. CoRR (2014)
Rohan Padhye, Uday P. Khedker
Interprocedural data flow analysis in Soot using value contexts. SOAP@PLDI (2013)
Rohan Padhye, Uday P. Khedker
Interprocedural Data Flow Analysis in Soot using Value Contexts CoRR (2013)
Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat
Liveness-Based Pointer Analysis. SAS (2012)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
A Logic for Correlating Temporal Properties across Program Transformations CoRR (2012)
Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat
Lazy Pointer Analysis CoRR (2011)
Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker
Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters. APLAS (2009)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Validation of GCC optimizers through trace generation. Softw. Pract. Exp. 39 (6) (2009)
Uday P. Khedker, Bageshri Karkare
Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method. CC (2008)
Uday P. Khedker, Amitabha Sanyal, Amey Karkare
Heap reference analysis using access graphs. ACM Trans. Program. Lang. Syst. 30 (1) (2007)
Bageshri Karkare, Uday P. Khedker
An improved bound for call strings based interprocedural analysis of bit vector frameworks. ACM Trans. Program. Lang. Syst. 29 (6) (2007)
Amey Karkare, Amitabha Sanyal, Uday P. Khedker
Heap Reference Analysis for Functional Programs CoRR (2007)
Amey Karkare, Uday P. Khedker, Amitabha Sanyal
Liveness of Heap Data for Functional Programs CoRR (2007)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
Structuring Optimizing Transformations and Proving Them Sound. Electron. Notes Theor. Comput. Sci. 176 (3) (2007)
Bageshri Karkare, Uday P. Khedker
Complexity of Data Flow Analysis for Non-Separable Frameworks CoRR (2006)
Amey Karkare, Amitabha Sanyal, Uday P. Khedker
Effectiveness of Garbage Collection in MIT/GNU Scheme CoRR (2006)
Uday P. Khedker, Amitabha Sanyal, Amey Karkare
Heap Reference Analysis Using Access Graphs CoRR (2006)
Bageshri Sathe, Uday P. Khedker
Static Program Partitioning for Embedded Processors. ESA (2006)
Bageshri Sathe, Uday P. Khedker
Complexity of Data Flow Analysis for Non-Separable Frameworks. Software Engineering Research and Practice (2006)
Uday P. Khedker
Static Analysis of Programs: A Heap Centric View. SEFM (2006)
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
A PVS Based Framework for Validating Compiler Optimizations. SEFM (2006)
Aditya Kanade, Uday P. Khedker, Amitabha Sanyal
Heterogeneous Fixed Points with Application to Points-To Analysis. APLAS (2005)
Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft
Bidirectional data flow analysis for type inferencing. Comput. Lang. Syst. Struct. 29 (1-2) (2003)
Uday P. Khedker, Dhananjay M. Dhamdhere
Bidirectional Data Flow Analysis: Myth and Reality. ACM SIGPLAN Notices 34 (6) (1999)
Uday P. Khedker, Dhananjay M. Dhamdhere
A Generalized Theory of Bit Vector Data Flow Analysis. ACM Trans. Program. Lang. Syst. 16 (5) (1994)
Dhananjay M. Dhamdhere, Uday P. Khedker
Complexity of Bidirectional Data Flow Analysis. POPL (1993)