Uday P. Khedker

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