|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 4 occurrences of 4 keywords
|
|
|
Results
Found 9 publication records. Showing 9 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
99 | Rajeev Joshi, Greg Nelson, Keith H. Randall |
Denali: A Goal-directed Superoptimizer. |
PLDI |
2002 |
DBLP DOI BibTeX RDF |
superoptimizer, optimizing compiler |
91 | Henry Massalin |
Superoptimizer - A Look at the Smallest Program. |
ASPLOS |
1987 |
DBLP DOI BibTeX RDF |
|
56 | Rajeev Joshi, Greg Nelson, Yunhong Zhou |
Denali: A practical algorithm for generating optimal code. |
ACM Trans. Program. Lang. Syst. |
2006 |
DBLP DOI BibTeX RDF |
practical optimal code generation, Compilation, code generation |
35 | Zhengyang Liu 0003, Stefan Mada, John Regehr |
Minotaur: A SIMD-Oriented Synthesizing Superoptimizer. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Albert Rubio |
A Max-SMT Superoptimizer for EVM handling Memory and Storage. |
TACAS (1) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Julian Nagele, Maria Anna Schett |
Blockchain Superoptimizer. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
35 | Raimondas Sasnauskas, Yang Chen 0024, Peter Collingbourne, Jeroen Ketema, Jubi Taneja, John Regehr |
Souper: A Synthesizing Superoptimizer. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
35 | Phitchaya Mangpo Phothilimthana, Aditya Thakur 0001, Rastislav Bodík, Dinakar Dhurjati |
GreenThumb: superoptimizer construction framework. |
CC |
2016 |
DBLP DOI BibTeX RDF |
|
35 | Torbjörn Granlund, Richard Kenner |
Eliminating Branches using a Superoptimizer and the GNU C Compiler. |
PLDI |
1992 |
DBLP DOI BibTeX RDF |
IBM RS/6000 |
Displaying result #1 - #9 of 9 (100 per page; Change: )
|
|