Sotabase

Career

· Professor of Planetary Computing, University of Cambridge2003–

Publications (98)

Unikernels: library operating systems for the cloud
International Conference on Architectural Support for Programming Languages and Operating Systems · 2013
561
cited
CIEL: A Universal Execution Engine for Distributed Data-Flow Computing
Symposium on Networked Systems Design and Implementation · 2011
329
cited
Unikernels: Rise of the Virtual Library Operating System
2013
220
cited
Personal Data: Thinking Inside the Box
Aarhus Conference on Critical Alternatives · 2015
179
cited
A Study of Bluetooth Propagation Using Accurate Indoor Location Mapping
Ubiquitous Computing · 2005
103
cited
Using visual tags to bypass Bluetooth device discovery
MOCO · 2005
99
cited
Audio networking: the forgotten wireless technology
IEEE pervasive computing · 2005
90
cited
Raft Refloated: Do We Have Consensus?
OPSR · 2015
81
cited
Using smart phones to access site-specific services
IEEE pervasive computing · 2005
73
cited
SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems
Symposium on Operating Systems Principles · 2015
68
cited
Retrofitting effect handlers onto OCaml
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2021
66
cited
Unikernels: the rise of the virtual library operating system
CACM · 2013
65
cited
Context-Aware Computing with Sound
Ubiquitous Computing · 2003
63
cited
Interacting with mobile services: an evaluation of camera-phones and visual tags
Personal and Ubiquitous Computing · 2007
54
cited
Using Camera-Phones to Enhance Human(cid:150)Computer Interaction
2004
52
cited
Concurrent System Programming with Effect Handlers
Symposium on Trends in Functional Programming · 2017
49
cited
Melange: creating a "functional" internet
European Conference on Computer Systems · 2007
47
cited
Bounding data races in space and time
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2018
44
cited
Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation
USENIX Security Symposium · 2015
42
cited
Turning Down the LAMP: Software Specialisation for the Cloud
USENIX Workshop on Hot Topics in Cloud Computing · 2010
41
cited
Sotabase