5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.PL2025
PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs
Håvard Rognebakke Krogstie, Helge Bahmann, Magnus Själander +1
Compiling files individually lends itself well to parallelization, but forces the compiler to operate on incomplete programs. State-of-the-art points-to analyses guarantee sound so…
cs.PL2019★ 5 cited
RVSDG: An Intermediate Representation for Optimizing Compilers
Nico Reissmann, Jan Christian Meyer, Helge Bahmann +1
Intermediate Representations (IRs) are central to optimizing compilers as the way the program is represented may enhance or limit analyses and transformations. Suitable IRs focus o…