Jeremy Johnson

Papers

Total Citations

129

H-Index

About

Jeremy Johnson is a leading figure in high-performance computing and cyber-physical systems, best known for his foundational work on the SPIRAL project. His research focuses on the automatic generation of highly optimized, portable code for computational kernels, addressing the critical challenge of mapping software to diverse hardware platforms. Johnson’s most cited paper, "SPIRAL: Extreme Performance Portability" (2018, 98 citations), introduces a framework that not only synthesizes efficient code but also formally establishes its correctness, a breakthrough for developers seeking both speed and reliability. He further extends these principles to safety-critical domains in "High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control" (2017, 31 citations), where he applies rigorous code generation to cyber-physical systems like autonomous vehicles and power plants. This work bridges the gap between theoretical guarantees and real-world control, ensuring that software-driven physical processes operate correctly under all conditions. Johnson’s contributions have shaped how researchers and engineers approach performance portability and formal verification, making him a key innovator in building trustworthy, high-efficiency systems for modern computing.