PMG   Programming Methodology Group
The Programming Methodology Group is a research group in the MIT Computer Science and Artificial Intelligence Laboratory dedicated to research in distributed systems, object oriented databases, programming languages, and software design.

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 Liskov
James Cowling
Dorothy Curtis
Daniel Myers
Dan Ports
David Schultz
Liuba Shrira
Recent PhD Alumni
Atul Adya
Sameer Ajmani
Miguel Castro
Winnie Cheng
Robert Gruber
Ben Leong
Umesh Maheshwari
Andrew Myers
Rodrigo Rodrigues
Ben Vandiver
Recent Publications
Information Flow for Secure Distributed Applications
Census: Location-Aware Membership Management for Large-Scale Distributed Systems
Tolerating Latency in Replicated State Machines
Mobile Proactive Secret Sharing
Towards Application Security on Untrusted Operating Systems
All Publications
Previous Work
Thor A distributed object-oriented database system.
Jif Techniques and tools that allow practical control of privacy of information.
PolyJ Efficient, generic abstractions for Java without speed penalties or code bloat.
CLU An object-oriented programming language.
Argus A distributed programming system and language.
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.
Software Upgrades Automatic Software Upgrades is a project to develop techniques for upgrading software in object-oriented databases and in robust distributed systems.
Byzantine Fault Tolerance 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.


For more info please contact webmaster@pmg.lcs.mit.edu. Last updated: Oct 23, 2007.