## Formal verification 1. [Modular, Compositional, and Executable Formal Semantics for LLVM IR](https://dl.acm.org/doi/pdf/10.1145/3473572) 2. [Alive2: Bounded Translation Validation for LLVM](https://web.ist.utl.pt/nuno.lopes/pubs/alive2-pldi21.pdf) 3. [Lightweight, Modular Verification for WebAssembly-to-Native Instruction Selection](https://cs.wellesley.edu/~avh/veri-isle-preprint.pdf) ## Polyhedral Optimization 1. [Polygeist: Raising C to Polyhedral MLIR](https://ieeexplore.ieee.org/document/9563011) + https://c.wsmoses.com/papers/Polygeist_PACT.pdf 3. [Polly - Polyhedral optimization in LLVM](https://polly.llvm.org/publications/grosser-impact-2011.pdf) 4. [The Polyhedral Model Is More Widely Applicable Than You Think](https://web.cs.ucla.edu/~pouchet/doc/cc-article.10.pdf) ## Misc 1. [Copy-and-patch compilation: a fast compilation algorithm for high-level languages and bytecode](https://dl.acm.org/doi/abs/10.1145/3485513) 2. [Mira: A Program-Behavior-Guided Far Memory System](https://dl.acm.org/doi/pdf/10.1145/3600006.3613157) 3. [Automatic Pool Allocation: Improving Performance by Controlling Data Structure Layout in the Heap](https://llvm.org/pubs/2005-05-21-PLDI-PoolAlloc.pdf) 4. [Optimal Heap Limits for Reducing Browser Memory Use](https://arxiv.org/pdf/2204.10455.pdf)
Formal verification
Polyhedral Optimization
Misc