Berkeley R. Churchill
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2011–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | PLDI | Semantic program alignment for equivalence checking. | Berkeley R. Churchill, Oded Padon, Rahul Sharma, Alex Aiken |
| 2017 | ASPLOS | Sound Loop Superoptimization for Google Native Client. | Berkeley R. Churchill, Rahul Sharma, J. F. Bastien, Alex Aiken |
| 2015 | OOPSLA | Conditionally correct superoptimization. | Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
| 2014 | VMCAI | Widening for Control-Flow. | Ben Hardekopf, Ben Wiedermann, Berkeley R. Churchill, Vineeth Kashyap |
| 2013 | OOPSLA | Data-driven equivalence checking. | Rahul Sharma, Eric Schkufza, Berkeley R. Churchill, Alex Aiken |
| 2011 | COCOON | Summing Symbols in Mutual Recurrences. | Berkeley R. Churchill, Edmund A. Lamagna |