Sotabase

Career

· Professor and Head of the Programming Methodology Group, MIT Massachusetts Institute of Technology (MIT)2004–
· Institute Professor and head of the Programming Methodology Group, Massachusetts Institute of Technology (MIT)1972–
· Professor and Member of the Computer Science Department, Massachusetts Institute of Technology (MIT)1972–
· Researcher/Research Scientist, Massachusetts Institute of Technology (MIT), Katabi Lab1972–
· Researcher and member of the Programming Methodology Group, MIT Massachusetts Institute of Technology (MIT), Learning and Intelligent Systems Group1972–
· Member of the Multicore Algorithmics Group, Massachusetts Institute of Technology (MIT)

Publications (220)

Practical byzantine fault tolerance and proactive recovery
TOCS · 2002
2,510
cited
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems · 1994
1,372
cited
Programming with abstract data types
SIGPLAN Symposium on Very High Level Languages · 1974
837
cited
Abstraction mechanisms in CLU
Communications of the ACM · 1977
720
cited
Guardians and actions: linguistic support for robust, distributed programs
ACM-SIGACT Symposium on Principles of Programming Languages · 1982
688
cited
A decentralized model for information flow control
Symposium on Operating Systems Principles · 1997
647
cited
Protecting privacy using the decentralized label model
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems] · 2000
629
cited
Speedy transactions in multicore in-memory databases
Symposium on Operating Systems Principles · 2013
628
cited
Distributed programming in Argus
CACM · 1988
539
cited
Providing high availability using lazy replication
ACM Transactions on Computer Systems · 1992
440
cited
Specification techniques for data abstractions
IEEE Transactions on Software Engineering · 1975
439
cited
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 1988
434
cited
High Availability in DHTs: Erasure Coding vs. Replication
International Workshop on Peer-to-Peer Systems · 2005
424
cited
Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 1999
419
cited
HQ replication: a hybrid quorum protocol for byzantine fault tolerance
USENIX Symposium on Operating Systems Design and Implementation · 2006
400
cited
Data Abstraction and Hierarchy
1987
391
cited
CLU Reference Manual
Lecture Notes in Computer Science · 1984
363
cited
Replication in the harp file system
Symposium on Operating Systems Principles · 1991
319
cited
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
1999
286
cited
Keynote address - data abstraction and hierarchy
Conference on Object-Oriented Programming Systems, Languages, and Applications · 1988
281
cited
Sotabase