Our most recent research focuses on very large scale distributed
systems based on distributed hash tables. The IRIS project is a large, ongoing
collaboration. A summary of our contributions can be found here.
|
Current Members
Barbara LiskovJames Cowling Dorothy Curtis Dan Ports David Schultz Liuba Shrira |
Recent PhD Alumni
Sameer AjmaniWinnie Cheng Ben Leong Rodrigo Rodrigues Ben Vandiver |
||||||||||
|
Recent Publications
Abstractions for Usable Information Flow Control in AeolusAutomatic Reconfiguration for Large-Scale Reliable Storage Systems A File System Design for the Aeolus Security Platform Analyzing Audit Trails in the Aeolus Security Platform From Viewstamped Replication to Byzantine Fault Tolerance All Publications |
|||||||||||
|
Previous Work
|
|||||||||||
|
The Programming Methodology Group has research opportunities
available for MIT students at all levels (Ph.D., S.M., M.Eng., UROP).
If you are interested, please e-mail liskov@lcs.mit.edu.
|
|||||||||||
|
Automatic Software Upgrades is a project to develop techniques
for upgrading software in object-oriented databases and in robust
distributed systems.
|
|
BFT
is a project aimed at developing algorithms and implementation
techniques to build practical Byzantine fault-tolerant systems, that
is, systems that work correctly even when some components are faulty
and exhibit arbitrary behavior.
|