Computer Science · Physical Sciences
5h-index230citations6works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Software Engineering Research(5), Logic, programming, and type systems(4), Parallel Computing and Optimization Techniques(2), Formal Methods in Verification(1), Security and Verification in Computing(1)
Publications6 total
arXiv (Cornell University)·2025Open Access
DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)·2017· 23 citedOpen Access
ACM SIGPLAN Notices·2016· 6 citedOpen Access
2016· 23 cited
2014· 85 cited
ACM SIGPLAN Notices·2014· 93 cited
Frequent Co-authors
Sam Tobin-Hochstadt(3), Michael M. Vitousek(2), Jeremy G. Siek(2), David Kempe(2), Jim Baker(1), J. Wesley Baker(1), Matthias Felleisen(1), Robert Bruce Findler(1), Matthew Flatt(1), Ben Greenman(1), Vincent St-Amour(1), T. Stephen Strickland(1), Asumu Takikawa(1), Sam Bayless(1), Stefano Buliani(1), Darion Cassel(1), Byron Cook(1), Duncan Clough(1), Rémi Delmas(1), Nafi Diallo(1)