Interesting Papers: April 2023

Intermediate representations, type check removal, and type inference.

• Optimizing Compilation with the Value State Dependence Graph

• RVSDG: An Intermediate Representation for Optimizing Compilers

• Single-Pass Generation of Static Single-Assignment Form for Structured Languages

• Simple and Effective Type Check Removal through Lazy Basic Block Versioning

• Practical Type Inference Based on Success Typings