BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
peephol (2)
use (2)
stochast (1)
goal (1)
elimin (1)

Stem superoptim$ (all stems)

8 papers:

OOPSLAOOPSLA-2015-0001SCA
Conditionally correct superoptimization (RS, ES, BRC, AA), pp. 147–162.
LCTESLCTES-2014-WingbermuehleCC #memory management
Superoptimization of memory subsystems (JGW, RKC, RDC), pp. 145–154.
ASPLOSASPLOS-2013-Schkufza0A #probability
Stochastic superoptimization (ES, RS, AA), pp. 305–316.
OSDIOSDI-2008-BansalA #using
Binary Translation Using Peephole Superoptimizers (SB, AA), pp. 177–192.
ASPLOSASPLOS-2006-BansalA #automation #generative
Automatic generation of peephole superoptimizers (SB, AA), pp. 394–403.
PLDIPLDI-2002-JoshiNR #named
Denali: A Goal-directed Superoptimizer (RJ, GN, KHR), pp. 304–314.
PLDIPLDI-1992-GranlundK #branch #c #compilation #using
Eliminating Branches using a Superoptimizer and the GNU C Compiler (TG, RK), pp. 341–352.
ASPLOSASPLOS-1987-Massalin #named
Superoptimizer — A Look at the Smallest Program (HM), pp. 122–126.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.