BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Churchill:Berkeley_R=

Contributed to:

OOPSLA 20152015
VMCAI 20142014
OOPSLA 20132013
PLDI 20192019
ASPLOS 20172017

Wrote 5 papers:

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.
Sound Loop Superoptimization for Google Native Client (BRC, RS0, JFB, AA), pp. 313–326.

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.