Mozilla Foundation — United States
Computer Science · Physical Sciences
4h-index667citations4works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Security and Verification in Computing(3), Parallel Computing and Optimization Techniques(2), Logic, programming, and type systems(1), Software Engineering Research(1), Software Testing and Debugging Techniques(1)
Publications4 total
Communications of the ACM·2018· 36 cited
IEEE Spectrum·2017· 5 cited
2017· 491 citedOpen Access
ACM SIGPLAN Notices·2017· 135 cited
Frequent Co-authors
Andreas Haas(3), Andreas Rossberg(3), Derek L. Schuff(3), Ben L. Titzer(3), Michael Holman(3), Dan Gohman(3), Alon Zakai(3), JF Bastien(3)