pith. sign in

Uday P. Khedker

Identifiers

  • name variant Uday P. Khedker 0.60 · backfill

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

  • 1412.5400 #1 · backfill · confidence 0.70 Uday P. Khedker
  • 1411.5289 #1 · backfill · confidence 0.70 Uday P. Khedker
  • 1403.4910 #2 · backfill · confidence 0.70 Uday P. Khedker
  • 1304.6274 #2 · backfill · confidence 0.70 Uday P. Khedker
  • 1209.5152 #3 · backfill · confidence 0.70 Uday P. Khedker
  • 1112.5000 #1 · backfill · confidence 0.70 Uday P. Khedker

Frequent Coauthors