David Padua

Papers

Total Citations

H-Index

About

David Padua is a pioneering figure in high-performance computing and compiler technology, with a career spanning decades of foundational contributions to parallel processing and software optimization. His research focuses on the development of advanced compiler frameworks, automatic parallelization, and the efficient mapping of algorithms onto modern architectures. Padua is perhaps best known for his work on the Polaris compiler, which revolutionized automatic parallelization of Fortran programs, and for co-editing the influential *Encyclopedia of Parallel Computing*, a definitive reference in the field. His papers have garnered thousands of citations, reflecting his lasting impact on both academic research and industrial practice. Notably, his 2017 work "High-Assurance SPIRAL: End-to-End Guarantees for Robot and Car Control" (31 citations) extends his expertise into cyber-physical systems, addressing the critical challenge of ensuring correctness and safety in autonomous vehicle control software. A professor at the University of Illinois at Urbana-Champaign, Padua has also mentored generations of researchers, shaping the landscape of parallel computing and compiler design. His contributions remain essential reading for anyone interested in the intersection of software, hardware, and real-time control.