Compilers Publications

Publications in Compilers

Explore the most influential research papers and scholarly works that have shaped Compilers. Use the concept filter below to focus on a specific sub-area of research.

Compilers

12.2K

Publications

680.3K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
Abstract interpretation Patrick Cousot, Radhia Cousot Programming Language TheoryActual ComputationsDeclarative ProgrammingEngineeringProgram Analysis	1977	6.1K
Julia: A Fresh Approach to Numerical Computing Jeff Bezanson, Alan Edelman, Stefan Karpinski, SIAM Review Numerical AnalysisEngineeringJulia Programming LanguageComputational ToolsNumerical Computation	2017	6K
The Design and Implementation of FFTW3 Matteo Frigo, Steven G. Johnson Proceedings of the IEEE EngineeringAdvanced ComputingVideo Coding FormatHardware AlgorithmMulti-rate Signal Processing	2005	5K
Logical Reversibility of Computation C. H. Bennett IBM Journal of Research and Development EngineeringComputational Model TheoryPushdown AutomatonComputational ComplexityFormal Verification	1973	3.6K
OpenMP: an industry standard API for shared-memory programming Leonardo Dagum, Ramesh Menon IEEE Computational Science and Engineering EngineeringCompiler TechnologyComputer ArchitectureParallel ToolIndustry Standard Api	1998	3.3K
Wattch David Brooks, Vivek Tiwari, Margaret Martonosi EngineeringEnergy EfficiencyPower Optimization (Eda)Computer ArchitectureHardware Security	2000	2.6K
LLVM: A compilation framework for lifelong program analysis & transformation Chris Lattner, Vikram Adve EngineeringCompiler TechnologyComputer ArchitectureSoftware EngineeringSoftware Analysis	2004	2.5K
The Semantics of a Simple Language for Parallel Programming. Gilles Kahn IFIP Congress EngineeringSoftware SystemsSemanticsSoftware AnalysisFormal Verification	1974	2.1K
Wait-free synchronization Maurice Herlihy ACM Transactions on Programming Languages and Systems Data ObjectEngineeringComputer ArchitectureConcurrent SystemHardware Systems	1991	1.8K
Automatically characterizing large scale program behavior Timothy Sherwood, Erez Perelman, Greg Hamerly, Software MaintenanceEngineeringCompiler TechnologyComputer ArchitectureSoftware Engineering	2002	1.7K
Systematic design of program analysis frameworks Patrick Cousot, Radhia Cousot Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	1979	1.6K
The DaCapo benchmarks Stephen M. Blackburn, Robin Garner, Chris Hoffmann, Performance BenchmarkingEngineeringCompiler TechnologyComputer ArchitectureSoftware Engineering	2006	1.6K

Page 1