researchr - search publication optimizing compilers

researchr

You are not signed in
Sign in
Sign up

919 publication results matching ' optimizing compilers'

Future Directions for Optimizing Compilers
… examines the problem of making optimizing compilers faster, less buggy, and more … compilers to reduce code bloat, eliminate abstraction penalties, and exploit interesting instruction sets. At the same time, compiler execution time must not increase …
Lopes, Nuno P., Regehr, John. http://arxiv.org/abs/1809.02161, 09 2018.
Preserving high-level semantics of parallel programming annotations through the compilation flow of optimizing compilers
… representation of classical optimizing compilers, designed for single-threaded … of parallel programming languages in the intermediate representation of optimizing … of downstream optimizations. We define the properties we introduce …
Antoniu Pop, Albert Cohen. In Proceedings of the 15th Workshop on Compilers for Parallel Computers (CPC'10). 2010:
Generating compiler optimizations from proofs
… We present an automated technique for generating compiler optimizations from … into broadly applicable optimization rules.

We present a category-theoretic … our technique can also be used to learn query optimizations for relational …
Ross Tate, Michael Stepp, Sorin Lerner. POPL 2010: 389-402 [doi]
Translation validation for an optimizing compilerGeorge C. Necula. PLDI 2000: 83-94 [doi]
Marmot: an optimizing compiler for JavaRobert P. Fitzgerald, Todd B. Knoblock, Erik Ruf, Bjarne Steensgaard, David Tarditi. SPE, 30(3):199-232, 2000.
Building an Optimizing CompilerC. Robert Morgan. Butterworth, 1998.
Formal verification of an optimizing compilerXavier Leroy. memocode 2007: 25 [doi]
Position Paper on Optimizing CompilersWilliam H. Harrison. POPL 1981: 88-89
Formal Verification of an Optimizing CompilerXavier Leroy. RTA 2007: 1 [doi]
ORBIT: an optimizing compiler for schemeDavid A. Kranz, Richard Kelsey, Jonathan Rees, Paul Hudak, James Philbin. sigplan 1986: 219-233 [doi]
Position Paper on Optimizing CompilersStephen C. Johnson. POPL 1981: 90-91
A Class-Specific Optimizing CompilerMichael D. Sharp, Steve W. Otto. sp, 2(4):235-238, 1993. [doi]
An Optimizing Compiler DesignMartin Hopkins. ifip 1971: 391-396
Hurricane: An Optimizing Compiler for SmalltalkRobert G. Atkinson. OOPSLA 1986: 151-158
Performance Characterization of Optimizing CompilersRafael H. Saavedra, Alan Jay Smith. TSE, 21(7):615-628, 1995. [doi]
A portable optimizing compiler for Modula-2Michael L. Powell. sigplan 1984: 310-319 [doi]
Implementation of an optimizing compiler for VHDLJayaram Bhasker. SIGPLAN, 23(1):92-108, 1988. [doi]
Developing An Interprocedural Optimizing CompilerJon Loeliger, Robert Metzger. SIGPLAN, 29(4):41-48, 1994.
An Architectural Alternative to Optimizing CompilersSamuel P. Harbison. asplos 1982: 57-65
The GEM Optimizing Compiler SystemDavid S. Blickstein, Peter W. Craig, Caroline S. Davidson, R. Neil Faiman Jr., Kent D. Glossop, Richard B. Grove, Steven O. Hobbs, William B. Noyce. dtj, 4(4), 1992. [doi]

Sign in or sign up to see more results.

runs on WebDSL