Showing cs.PLShow all
2 papers · 1 filter
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
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…