Richard Veras

Papers

Total Citations

H-Index

About

Richard Veras is a leading researcher in high-performance computing and compiler technology, with a focus on extreme performance portability. His most-cited work, the 2018 paper "SPIRAL: Extreme Performance Portability" (98 citations), tackles the critical challenge of automatically mapping computational kernels to highly efficient code across diverse computing platforms while ensuring correctness. This contribution addresses fundamental problems in software development for heterogeneous architectures, enabling developers to achieve near-optimal performance without manual tuning. Veras's research bridges the gap between algorithm design and hardware optimization, making significant strides in automatic code synthesis and verification. His work has been instrumental in advancing the field of performance portability, impacting areas from scientific computing to machine learning. Through SPIRAL, he has demonstrated how formal methods and domain-specific knowledge can be combined to generate high-performance code for CPUs, GPUs, and accelerators. Veras's contributions continue to influence the design of next-generation compilers and runtime systems, earning him recognition as a key figure in the quest for sustainable, high-performance software ecosystems.