Travelled to:3 × USA
Collaborated with:A.Aiken R.Sharma E.Schkufza R.S.0001 B.Hardekopf B.Wiedermann V.Kashyap O.Padon J. F. Bastien
Talks about:superoptim (2) equival (2) check (2) program (1) correct (1) control (1) semant (1) driven (1) condit (1) client (1)
Person: Berkeley R. Churchill
DBLP: Churchill:Berkeley_R=
Contributed to:
2015
20142013
2019
2017Wrote 5 papers:
- OOPSLA-2015-0001SCA
- Conditionally correct superoptimization (RS, ES, BRC, AA), pp. 147–162.
- VMCAI-2014-HardekopfWCK #control flow
- Widening for Control-Flow (BH, BW, BRC, VK), pp. 472–491.
- OOPSLA-2013-SharmaSCA #data-driven #equivalence
- Data-driven equivalence checking (RS, ES, BRC, AA), pp. 391–406.
- PLDI-2019-ChurchillP0A #equivalence #semantics
- Semantic program alignment for equivalence checking (BRC, OP, RS0, AA), pp. 1027–1040.
- ASPLOS-2017-ChurchillSBA
- Sound Loop Superoptimization for Google Native Client (BRC, RS0, JFB, AA), pp. 313–326.