Uday P. Khedker

According to our database, Uday P. Khedker authored at least 48 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Which Part of the Heap is Useful? Improving Heap Liveness Analysis.

Vini Kanvar, Uday P. Khedker

CoRR, 2024

2023

Computing maximum fixed point solutions over feasible paths in data flow analyses.

Komal Pathade, Uday P. Khedker

Sci. Comput. Program., June, 2023

SpComp: A Sparsity Structure-Specific Compilation of Matrix Operations.

Barnali Basak, Uday P. Khedker, Supratim Biswas

CoRR, 2023

2022

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

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

Bidirectionality in flow-sensitive demand-driven analysis.

Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty

Sci. Comput. Program., 2020

2019

Path sensitive MFP solutions in presence of intersecting infeasible control flow path segments.

Komal Pathade, Uday P. Khedker

Proceedings of the 28th International Conference on Compiler Construction, 2019

2018

Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision.

Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty

CoRR, 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

Computing partially path-sensitive MFP solutions in data flow analyses.

Komal Pathade, Uday P. Khedker

Proceedings of the 27th International Conference on Compiler Construction, 2018

2017

"What's in a name?" going beyond allocation site names in heap analysis.

Vini Kanvar, Uday P. Khedker

Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management, 2017

2016

Heap Abstractions for Static Analysis.

Vini Kanvar, Uday P. Khedker

ACM Comput. Surv., 2016

Flow and Context Sensitive Points-to Analysis using Higher Order Reachability.

Pritam M. Gharat, Uday P. Khedker

CoRR, 2016

Flow- and Context-Sensitive Points-To Analysis Using Generalized Points-To Graphs.

Pritam M. Gharat, Uday P. Khedker, Alan Mycroft

Proceedings of the Static Analysis - 23rd International Symposium, 2016

Scaling Bounded Model Checking by Transforming Programs with Arrays.

Anushri Jana, Uday P. Khedker, Advaita Datar, R. Venkatesh, Niyas C

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Cause Points Analysis for Effective Handling of Alarms.

Tukaram Muske, Uday P. Khedker

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

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

Value Slice: A New Slicing Concept for Scalable Property Checking.

Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Efficient elimination of false positives using static analysis.

Tukaram Muske, Uday P. Khedker

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

2014

Sliced Slices: Separating Data and Control Influences.

Shrawan Kumar, Amitabha Sanyal, Uday P. Khedker

CoRR, 2014

Generalizing the Liveness Based Points-to Analysis.

Uday P. Khedker, Vini Kanvar

CoRR, 2014

Buffer Overflow Analysis for C.

Uday P. Khedker

CoRR, 2014

2013

Interprocedural data flow analysis in Soot using value contexts.

Rohan Padhye, Uday P. Khedker

Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis, 2013

2012

A Logic for Correlating Temporal Properties across Program Transformations

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

CoRR, 2012

Liveness-Based Pointer Analysis.

Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat

Proceedings of the Static Analysis - 19th International Symposium, 2012

2011

Lazy Pointer Analysis

Uday P. Khedker, Alan Mycroft, Prashant Singh Rawat

CoRR, 2011

2009

Validation of GCC optimizers through trace generation.

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Softw. Pract. Exp., 2009

Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters.

Rupesh Nasre, Kaushik Rajan, Ramaswamy Govindarajan, Uday P. Khedker

Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009

Data Flow Analysis - Theory and Practice.

Uday P. Khedker, Amitabha Sanyal, Bageshri Sathe

CRC Press, ISBN: 978-0-8493-2880-0, 2009

2008

Efficiency, Precision, Simplicity, and Generality in Interprocedural Data Flow Analysis: Resurrecting the Classical Call Strings Method.

Uday P. Khedker, Bageshri Karkare

Proceedings of the Compiler Construction, 17th International Conference, 2008

2007

Heap reference analysis using access graphs.

Uday P. Khedker, Amitabha Sanyal, Amey Karkare

ACM Trans. Program. Lang. Syst., 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

Liveness of Heap Data for Functional Programs

Amey Karkare, Uday P. Khedker, Amitabha Sanyal

CoRR, 2007

Heap Reference Analysis for Functional Programs

Amey Karkare, Amitabha Sanyal, Uday P. Khedker

CoRR, 2007

Garbage Collection Techniques.

Amitabha Sanyal, Uday P. Khedker

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2007

2006

Structuring Optimizing Transformations and Proving Them Sound.

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006

Effectiveness of Garbage Collection in MIT/GNU Scheme

Amey Karkare, Amitabha Sanyal, Uday P. Khedker

CoRR, 2006

Complexity of Data Flow Analysis for Non-Separable Frameworks

Bageshri Karkare, Uday P. Khedker

CoRR, 2006

Complexity of Data Flow Analysis for Non-Separable Frameworks.

Bageshri Sathe, Uday P. Khedker

Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, 2006

Static Analysis of Programs: A Heap Centric View.

Uday P. Khedker

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

A PVS Based Framework for Validating Compiler Optimizations.

Aditya Kanade, Amitabha Sanyal, Uday P. Khedker

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Static Program Partitioning for Embedded Processors.

Bageshri Sathe, Uday P. Khedker

Proceedings of the 2006 International Conference on Embedded Systems & Applications, 2006

2005

Heterogeneous Fixed Points with Application to Points-To Analysis.

Aditya Kanade, Uday P. Khedker, Amitabha Sanyal

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2003

Bidirectional data flow analysis for type inferencing.

Uday P. Khedker, Dhananjay M. Dhamdhere, Alan Mycroft

Comput. Lang. Syst. Struct., 2003

2002

Data Flow Analysis.

Uday P. Khedker

Proceedings of the Compiler Design Handbook: Optimizations and Machine Code Generation, 2002

1999

Bidirectional Data Flow Analysis: Myth and Reality.

Uday P. Khedker, Dhananjay M. Dhamdhere

ACM SIGPLAN Notices, 1999

1994

A Generalized Theory of Bit Vector Data Flow Analysis.

Uday P. Khedker, Dhananjay M. Dhamdhere

ACM Trans. Program. Lang. Syst., 1994

1993

Complexity of Bidirectional Data Flow Analysis.

Dhananjay M. Dhamdhere, Uday P. Khedker

Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993