Get my own profile
Public access
View all19 articles
1 article
available
not available
Based on funding mandates
Co-authors
Robert N. M. WatsonDepartment of Computer Science and Technology, University of CambridgeVerified email at cl.cam.ac.uk
David ChisnallUniversity of CambridgeVerified email at swan.ac.uk
Dr. Jonathan WoodruffResearch Associate, Cambridge UniversityVerified email at cam.ac.uk
Simon MooreProfessor of Computer Engineering, University of CambridgeVerified email at cl.cam.ac.uk
Robert NortonUniversity of CambridgeVerified email at cl.cam.ac.uk
Alexander RichardsonGoogle, University of CambridgeVerified email at google.com
Ben LaurieGoogle, University of Cambridge, UCLVerified email at google.com
Jonathan AndersonMemorial University of NewfoundlandVerified email at mun.ca
Alexandre JoannouResearch Associate, University of CambridgeVerified email at cam.ac.uk
Peter SewellComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Steven J. MurdochDepartment of Computer Science, University College LondonVerified email at ucl.ac.uk
Jessica ClarkeUniversity of CambridgeVerified email at cl.cam.ac.uk
Edward Tomasz NapierałaResearch Associate, University of CambridgeVerified email at FreeBSD.org
Hongyan XiaMicrosoft ResearchVerified email at cam.ac.uk
Ilias MarinosMicrosoft ResearchVerified email at microsoft.com
Hesham AlmataryComputer Laboratory, University of CambridgeVerified email at cl.cam.ac.uk
Follow![Brooks Davis](/citations/images/avatar_scholar_128.png)
![Brooks Davis](/citations/images/avatar_scholar_128.png)
Brooks Davis
Principle Computer Scientist, SRI International
Verified email at one-eyed-alien.net