Modeling the Invariance of Virtual Pointers in LLVM. - Piotr Padlewski; Krzysztof Pszeniczny; Richard Smith (CoRR, 2020)

Propeller: A Profile Guided, Relinking Optimizer for Warehouse-Scale Applications. - Han Shen; Krzysztof Pszeniczny; Rahman Lavaee; Snehasish Kumar; Sriraman Tallam; Xinliang David Li (ASPLOS (2), 2023)