Publications
-
"What's in a Name?" Going Beyond Allocation Site Names in Heap Analysis
(PDF|DOI)
Vini Kanvar, Uday P. Khedker
ACM SIGPLAN International Symposium on Memory Management (ISMM) 2017
-
Heap Abstractions for Static Analysis
(PDF|DOI)
Vini Kanvar, Uday P. Khedker
ACM Computing Surveys (CSUR) 2016
This paper supercedes an earlier version posted at Computing Research Repository [cs.PL] 2014 (DOI)
-
Generalizing the Liveness Based Points-to Analysis
(PDF|DOI)
Uday P. Khedker, Vini Kanvar
Computing Research Repository [cs.PL] 2014
