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)

ACM Transactions on Programming Languages and Systems · 1994
1,372
cited
SIGPLAN Symposium on Very High Level Languages · 1974
837
cited
Communications of the ACM · 1977
720
cited
ACM-SIGACT Symposium on Principles of Programming Languages · 1982
688
cited
Symposium on Operating Systems Principles · 1997
647
cited
Foundations of Intrusion Tolerant Systems, 2003 [Organically Assured and Survivable Information Systems] · 2000
629
cited
Symposium on Operating Systems Principles · 2013
628
cited
ACM Transactions on Computer Systems · 1992
440
cited
IEEE Transactions on Software Engineering · 1975
439
cited
ACM-SIGPLAN Symposium on Programming Language Design and Implementation · 1988
434
cited
International Workshop on Peer-to-Peer Systems · 2005
424
cited
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
Lecture Notes in Computer Science · 1984
363
cited
Symposium on Operating Systems Principles · 1991
319
cited
Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions
1999
286
cited
Conference on Object-Oriented Programming Systems, Languages, and Applications · 1988
281
cited
Sotabase