Statistics
Publications
6
Citations
246
H-Index
6
Active since
2013
Affiliations
Berkeley Churchill is an author at Stanford University specializing in formal methods, computing, and computer science.
Publications per year
2013–2019
6
6
Semantic program alignment for equivalence checking
Berkeley Churchill, Oded Padon, Rahul Sharma et al. · 2019 · 92 citations
Data-driven equivalence checking
Rahul Sharma, Eric Schkufza, Berkeley Churchill et al. · 2013 · 84 citations
Conditionally correct superoptimization
Rahul Sharma, Eric Schkufza, Berkeley Churchill et al. · 2015 · 24 citations · Full text
Sound Loop Superoptimization for Google Native Client
Berkeley Churchill, Rahul Sharma, JF Bastien et al. · 2017 · 20 citations
Data-driven equivalence checking
Rahul Sharma, Eric Schkufza, Berkeley Churchill et al. · ACM SIGPLAN Notices · 2013 · 16 citations
1–5 of 6