BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × United Kingdom
4 × USA
Collaborated with:
A.Aiken R.Sharma B.R.Churchill M.Wei C.J.Rossbach M.Bauer J.Clark S.Heule R.S.0001
Talks about:
program (3) superoptim (2) stochast (2) irregular (1) hierarchi (1) techniqu (1) synthesi (1) stratifi (1) parallel (1) instruct (1)

Person: Eric Schkufza

DBLP DBLP: Schkufza:Eric

Contributed to:

OOPSLA 20152015
PLDI 20142014
ASPLOS 20132013
OOPSLA 20132013
PPoPP 20112011
PLDI 20162016
ASPLOS 20192019

Wrote 7 papers:

Conditionally correct superoptimization (RS, ES, BRC, AA), pp. 147–162.
PLDI-2014-Schkufza0A #float #optimisation #precise #probability #source code
Stochastic optimization of floating-point programs with tunable precision (ES, RS, AA), p. 9.
ASPLOS-2013-Schkufza0A #probability
Stochastic superoptimization (ES, RS, AA), pp. 305–316.
OOPSLA-2013-SharmaSCA #data-driven #equivalence
Data-driven equivalence checking (RS, ES, BRC, AA), pp. 391–406.
PPoPP-2011-BauerCSA #memory management #parallel #programming
Programming the memory hierarchy revisited: supporting irregular parallelism in sequoia (MB, JC, ES, AA), pp. 13–24.
PLDI-2016-HeuleS0A #automation #learning #set #synthesis
Stratified synthesis: automatically learning the x86-64 instruction set (SH, ES, RS0, AA), pp. 237–250.
ASPLOS-2019-SchkufzaWR #compilation #experience #programming
Just-In-Time Compilation for Verilog: A New Technique for Improving the FPGA Programming Experience (ES, MW, CJR), pp. 271–286.

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.