Sorin Lerner

Papers

Total Citations

H-Index

About

Sorin Lerner is a leading researcher in programming languages, software engineering, and computer architecture, with a particular focus on domain-specific accelerators and program verification. His most-cited work, "A Computational Stack for Cross-Domain Acceleration" (2021, 7 citations), introduces a novel framework that bridges the gap between specialized hardware accelerators and general-purpose computing. Lerner's key contribution lies in designing a unified computational stack that enables cross-domain acceleration without sacrificing performance or expressiveness—a challenge that has long plagued the field. By developing specialized languages and compiler techniques that are constrained to particular hardware domains, he has shown how to trade off expressiveness for high performance while maintaining portability across applications. This work is foundational for modern heterogeneous computing systems, influencing both academic research and industry practices in hardware-software co-design. Lerner's impact extends beyond this paper; his broader research on program analysis and verification has shaped how developers build reliable, efficient systems. His achievements include pioneering methods for automated reasoning about program correctness, making him a key figure in the evolution of programming language theory and its practical applications in accelerating computation.