Skip to main content

Integrating High-Level Optimizations in a Production Compiler: Design and Implementation Experience

Somnath Ghosh, Abhay Kanhere, Rakesh Krishnaiyer, Dattatraya Kulkarni, Wei Li, Chu-Cheow Lim, John Ng

PDF DOI 10.1007/3-540-36579-6_22 dblp BibTeX

Abstract elided by the publisher.

Related papers

A verifiable SSA program representation for aggressive compiler optimization POPL 2006
The design of a global optimizer PLDI 1979
Thread-Aware Area-Efficient High-Level Synthesis Compiler for Embedded Devices CGO 2021
Prototyping a query compiler using Coq (experience report) ICFP 2017
Design and evaluation of dynamic optimizations for a Java just-in-time compiler TOPLAS 2005
Experiences Building an MLIR-Based SYCL Compiler CGO 2024
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier ICFP 2013
A Dynamic Optimization Framework for a Java Just-In-Time Compiler OOPSLA 2001