Concepedia

Concept

compilers

Parents

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.

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