Compiler Backend Design is a specialized component of compiler construction that focuses on the transformation and optimization of intermediate representations into efficient target machine code, distinguished by its concern with instruction selection, register allocation, and machine-dependent code generation within the compilation process.
50
Publications
3.2K
Citations
171
Authors
68
Institutions
Publications per year
2017–2026
13
Parents
Publications
50
A Formally Verified Compiler Back-end
Xavier Leroy · Journal of Automated Reasoning · 2009 · 487 citations · Full text
The jastadd extensible java compiler
Torbjörn Ekman, Görel Hedin · 2007 · 292 citations
1–5 of 50
Authors
171
- GH
3
h-index
- WZ
3
h-index
- TE
3
h-index
- MN
3
h-index
- DW
3
h-index
1–5 of 171
Institutions
68
Google (United States)
Mountain View, United States
4 h-index
4 publications
76 citations
Australian National University
Canberra, Australia
3 h-index
5 publications
130 citations
University of Oxford
Oxford, United Kingdom
3 h-index
3 publications
352 citations
TU Dortmund University
Dortmund, Germany
3 h-index
6 publications
174 citations
Lund University
Lund, Sweden
3 h-index
3 publications
352 citations
Max Planck Institute for Software Systems
Saarbrücken, Germany
2 h-index
2 publications
68 citations
Princeton University
Princeton, United States
2 h-index
2 publications
79 citations
Commonwealth Scientific and Industrial Research Organisation
Canberra, Australia
2 h-index
3 publications
150 citations
1–8 of 68
Venues
- ACM SIGPLAN Notices
4 publications · 125 citations
4
h-index
- IEEE Transactions on Parallel and Distributed Systems
TPDS · 2 publications · 248 citations
2
h-index
- ACM SIGOPS Operating Systems Review
1 publications · 45 citations
1
h-index
- ACM Transactions on Programming Languages and Systems
1 publications · 35 citations
1
h-index
- Journal of Automated Reasoning
1 publications · 487 citations
1
h-index
1–5