3 citations · 7 across the 5 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2024★ 2 cited
The ART of Sharing Points-to Analysis (Extended Abstract)
Shashin Halalingaiah, Vijay Sundaresan, Daryl Maier +1
Data-flow analyses like points-to analysis can vastly improve the precision of other analyses, and help perform powerful code optimizations. However, whole-program points-to analys…
cs.PL2021★ 3 cited
Homeostasis: Design and Implementation of a Self-Stabilizing Compiler
Aman Nougrahiya, V. Krishna Nandivada
Mainstream compilers perform a multitude of analyses and optimizations on the given input program. Each analysis (such as points-to analysis) may generate a program-abstraction (su…