Berkeley R. Churchill

According to our database, Berkeley R. Churchill authored at least 8 papers between 2011 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Blackbox equivalence checking of program optimizations.

Berkeley R. Churchill

PhD thesis, 2019

Semantic program alignment for equivalence checking.

Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken

Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019

2017

Sound Loop Superoptimization for Google Native Client.

Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2015

Conditionally correct superoptimization.

Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Widening for Control-Flow.

Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2014

2013

Data-driven equivalence checking.

Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

An Efficient Algorithm for Deriving Summation Identities from Mutual Recurrences.

Berkeley R. Churchill, Edmund A. Lamagna

Discret. Math. Algorithms Appl., 2012

2011

Summing Symbols in Mutual Recurrences.

Berkeley R. Churchill, Edmund A. Lamagna

Proceedings of the Computing and Combinatorics - 17th Annual International Conference, 2011