Uday P. Khedker

Identifiers

No identifiers captured yet.

Papers (12)

1. Points-to Analysis Using MDE: A Multi-level Deduplication Engine for Repetitive Data and Operations cs.PL · 2026 · author #3
2. Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision cs.PL · 2018 · author #2
3. Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers cs.PL · 2018 · author #2
4. Scaling Bounded Model Checking By Transforming Programs With Arrays cs.PL · 2016 · author #2
5. Scaling Bounded Model Checking By Transforming Programs With Arrays cs.LO · 2016 · author #2
6. Flow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs cs.PL · 2016 · author #2
7. Buffer Overflow Analysis for C cs.PL · 2014 · author #1
8. Generalizing the Liveness Based Points-to Analysis cs.PL · 2014 · author #1
9. Heap Abstractions for Static Analysis cs.PL · 2014 · author #2
10. Interprocedural Data Flow Analysis in Soot using Value Contexts cs.PL · 2013 · author #2
11. A Logic for Correlating Temporal Properties across Program Transformations cs.LO · 2012 · author #3
12. Lazy Pointer Analysis cs.PL · 2011 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alan Mycroft 3 shared papers
• Advaita Datar 2 shared papers
• Anushri Jana 2 shared papers
• C Niyas 2 shared papers
• Pritam M. Gharat 2 shared papers
• R Venkatesh 2 shared papers
• Vini Kanvar 2 shared papers
• Aditi Raste 1 shared papers
• Aditya Kanade 1 shared papers
• Amitabha Sanyal 1 shared papers
• Anamitra Ghorui 1 shared papers
• Prashant Singh Rawat 1 shared papers
• Rohan Padhye 1 shared papers
• Supratik Chakraborty 1 shared papers
• Swati Jaiswal 1 shared papers