Berkeley R. Churchill

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 2

Top Topics

Logical Representation

Image Alignment

Semantically Equivalent

Interactive Dynamic Influence Diagrams

Top Venues

Discret. Math. Algorithms Appl.

Publications

Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken
Semantic program alignment for equivalence checking. PLDI (2019)
Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken
Sound Loop Superoptimization for Google Native Client. ASPLOS (2017)
Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
Conditionally correct superoptimization. OOPSLA (2015)
Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap
Widening for Control-Flow. VMCAI (2014)
Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken
Data-driven equivalence checking. OOPSLA (2013)
Berkeley R. Churchill, Edmund A. Lamagna
An Efficient Algorithm for Deriving Summation Identities from Mutual Recurrences. Discret. Math. Algorithms Appl. 4 (2) (2012)
Berkeley R. Churchill, Edmund A. Lamagna
Summing Symbols in Mutual Recurrences. COCOON (2011)