12.2K
Publications
680.3K
Citations
20.7K
Authors
2.4K
Institutions
Unified Static Dataflow Analysis
1973 - 2000
During the 1973 to 2000 period, compiler research converged on static analysis as a practical framework for reasoning about program behavior. Dataflow analysis and abstract interpretation became central methodologies, enabling scalable analysis and safe optimizations without executing code. The field also integrated parallelization concerns, with OpenMP guiding portable, compiler-supported parallel constructs across languages. Historical Significance: Abstract interpretation established a unifying theory that underpins modern static analyses, influencing subsequent optimization and verification techniques. Program slicing and interprocedural slicing formalized mechanisms to isolate influence and cross-boundary dependencies, shaping debugging and cross-module optimization strategies. The emergence of OpenMP defined a practical path to shared-memory parallelization, catalyzing compiler support and parallelizing program design that persisted into later eras.
No papers available
Unified SSA-Based Compilation
2001 - 2007
Graph-Driven Cross-Language Optimization
2008 - 2014
Analysis-Driven Secure Compilers
2015 - 2016
End-to-End Heterogeneous Compiler
2017 - 2023