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: Schkufza:Eric
Contributed to:
2015
2014
20132013
201120162019Wrote 7 papers:
- OOPSLA-2015-0001SCA
- 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.