Chris Lattner
Google (United States)(US)
Publications by Year
Research Areas
Parallel Computing and Optimization Techniques, Logic, programming, and type systems, Security and Verification in Computing, Advanced Data Storage Technologies, Formal Methods in Verification
Most-Cited Works
- → LLVM: A compilation framework for lifelong program analysis & transformation(2004)2,502 cited
- → MLIR: Scaling Compiler Infrastructure for Domain Specific Computation(2021)472 cited
- → Making context-sensitive points-to analysis with heap cloning practical for the real world(2007)235 cited
- → Automatic pool allocation(2005)158 cited
- → MLIR: A Compiler Infrastructure for the End of Moore's Law(2020)120 cited
- → Memory safety without runtime checks or garbage collection(2003)85 cited
- → The LLVM Compiler Framework and Infrastructure Tutorial(2005)74 cited
- → LLVA: a low-level virtual instruction set architecture(2003)67 cited