University of Cambridge — United Kingdom
Computer Science · Physical Sciences
6h-index601citations10works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(6), Distributed systems and fault tolerance(5), Advanced Software Engineering Methodologies(4), Security and Verification in Computing(4), Parallel Computing and Optimization Techniques(3)
Publications10 total
Journal of Functional Programming·2007· 5 citedOpen Access
ACM Transactions on Programming Languages and Systems·2007· 97 citedOpen Access
ACM SIGPLAN Notices·2006· 209 cited
2006· 128 cited
ACM SIGPLAN Notices·2005· 5 cited
2005· 63 cited
ACM SIGPLAN Notices·2003· 2 cited
Formalizing Dynamic Software Updating
2003· 54 cited
Dynamic Rebinding for Distributed Programming
2002
Frequent Co-authors
Michael Hicks(10), Gavin Bierman(8), Peter Sewell(8), Iulian Neamtiu(5), Keith Wansbrough(4), Manuel Oriol(2)