Sotabase

Career

· Member Of Technical Staff, Microsoft (current)2025–
· Researcher/Engineer, Amazon Web Services (AWS)2012–
· Researcher/Engineer, Microsoft2004–
· Faculty Member, University of Cambridge Computer Laboratory2000–
· Research Group Lead, Oracle Labs Cambridge

Publications (0)

Xen and the art of virtualization
Symposium on Operating Systems Principles · 2003
1,580
cited
The multikernel: a new OS architecture for scalable multicore systems
Symposium on Operating Systems Principles · 2009
866
cited
Composable memory transactions
ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming · 2005
832
cited
Language support for lightweight transactions
Conference on Object-Oriented Programming Systems, Languages, and Applications · 2003
622
cited
A Pragmatic Implementation of Non-blocking Linked-Lists
International Symposium on Distributed Computing · 2001
559
cited
Securing software by enforcing data-flow integrity
USENIX Symposium on Operating Systems Design and Implementation · 2006
433
cited
Concurrent programming without locks
TOCS · 2007
298
cited
Transactional Memory, 2nd edition
Transactional Memory · 2010
294
cited
Optimizing memory transactions
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 2006
291
cited
Lighthouses for Scalable Distributed Location
International Workshop on Peer-to-Peer Systems · 2003
270
cited
A Practical Multi-word Compare-and-Swap Operation
International Symposium on Distributed Computing · 2002
244
cited
The End of a Myth: Distributed Transaction Can Scale
Proceedings of the VLDB Endowment · 2016
172
cited
Semantics of transactional memory and automatic mutual exclusion
TOPL · 2011
127
cited
Embracing diversity in the Barrelfish manycore operating system
2008
126
cited
XenoSearch: distributed resource discovery in the XenoServer open platform
High Performance Distributed Computing, 2003. Proceedings. 12th IEEE International Symposium on · 2003
116
cited
EazyHTM: EAger-LaZY hardware Transactional Memory
Micro · 2009
114
cited
Transactional memory with strong atomicity using off-the-shelf memory protection hardware
ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming · 2009
105
cited
Exceptions and side-effects in atomic blocks
Science of Computer Programming · 2005
96
cited
Atomic quake: using transactional memory in an interactive multiplayer game server
ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming · 2009
92
cited
Transactional Memory: An Overview
IEEE Micro · 2007
86
cited
Sotabase