Grupo de Metodologia de Programación
De WIAragón
El Grupo de Metodología de Programación es un grupo de investigación del Laboratorio de Informática y Inteligencia Artificial del MIT dedicado a la investigación en sistemas distribuidos, bases de datos orientadas a objetos, lenguajes de programación y diseño de software.
Su investigación más reciente se centra en sistemas a gran escala distribuidos en base a las tabla de funcuiones hash distribuidas, llamado el proyecto IRIS.
Los miembros actuales de este grupo son Barbara Liskov, Dorothy Curtis y Liuba Shrira.
Contenido
- 1 Investigaciones
- 2 Trabajos anteriores
- 3 Publicaiones
- 3.1 Año 1983
- 3.2 Año 1988
- 3.3 Año 1991
- 3.4 Año 1992
- 3.5 Año 1993
- 3.6 Año 1994
- 3.7 Año 1995
- 3.8 Año 1997
- 3.9 Año 1998
- 3.10 Año 1999
- 3.11 Año 2000
- 3.12 Año 2001
- 3.13 Año 2002
- 3.14 Año 2003
- 3.15 Año 2004
- 3.16 Año 2005
- 3.17 Año 2006
- 3.18 Año 2007
- 3.19 Año 2008
- 3.20 Año 2009
- 3.21 Año 2010
- 3.22 Año 2011
- 3.23 Año 2012
- 3.24 Año 2013
Investigaciones
Aeolus
Proyecto que busca desarrollar una plataforma para fabricar aplicaciones distribuidas seguras usando un modelo descentralizado de control de flujo de la información.
BFT
Proyecto que busca desarrollar algoritmos y técnicas de implementación para construir sistemas bizantinos tolerantes a fallos (de hay su nombre BFT, inglés Practical Byzantine Fault Tolerance), lo que quiere decir, un sistema que es capaz de funcionar correctamente pese a componentes defectuosos o con comportamientos arbitrarios.
Trabajos anteriores
Publicaiones
Este grupo ha realizado numerosas publicaciones desde el año 1983 hasta 2013. Estas publicaciones son, ordenadas cronológicamente, las siguientes:
Año 1983
- Dynamic Module Replacement in a Distributed Programming System ideado por Toby Bloom.
Año 1988
- Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems ideado por Brian Oki y Barbara Liskov.
- Viewstamped Replication for Highly Available Distributed Systems ideado por Brian Oki.
Año 1991
- Replication in the Harp File System ideado por Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, and Michael Williams.
Año 1992
- Reconfiguration in Argus ideado por Toby Bloom y Mark Day.
Año 1993
- Distributed Object Management in Thor ideado por Barbara Liskov, Mark Day, y Liuba Shrira.
- Lockup of a Client Object Cache and How to Avoid It ideado por Mark Day.
- Disk Management for Object-Oriented Databases ideado por Sanjay Ghemawat.
- Resolving the Integrity/Performance Conflict ideado por Andrew Myers.
- Object Clusters May Be Better Than Pages ideado por Mark Day.
Año 1994
- The Language-Independent Interface of the Thor Persistent Object System ideado por Barbara Liskov, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew Myers, y Liuba Shrira.
- Disconnected Operation in the Thor Object-Oriented Database System ideado por Robert Gruber, Frans Kaashoek, Barbara Liskov, y Liuba Shrira.
- Opportunistic Log: Efficient Installation Reads in a Reliable Object Server ideado por James O'Toole y Liuba Shrira.
- A Behavioral Notion of Subtyping realizado por Barbara Liskov y Jeannette Wing.
- Hybrid Caching for Scalable Object Systems (Think Globally, Act Locally) ideado por James O'Toole y Liuba Shrira.
- Fault-Tolerant Distributed Garbage Collection in a Client-Server, Object-Oriented Database ideado por Umesh Maheshwari y Barbara Liskov.
- References to Remote Mobile Objects in Thor ideado por Mark Day, Barbara Liskov, Umesh Maheshwari, y Andrew Myers.
Año 1995
- Collecting Cyclic Distributed garbage by Controlled Migration ideado por Umesh Maheshwari y Barbara Liskov.
- Subtypes vs. where clauses: Constraining parametric polymorphism ideado por Mark Day, Robert Gruber, Barbara Liskov, y Andrew C. Meyers.
- Bidirectional Object Layout for Separate Compilation ideado por Andrew C. Myers.
- Efficient optimistic concurrency control using loosely synchronized clocks ideado por Atul Adya, Robert Gruber, Barbara Liskov, y Umesh Maheshwari.
Año 1997
- Parameterized Types for Java ideado por Andrew C. Myers, Joseph A. Bank, y Barbara Liskov.
- HAC: Hybrid Adaptive Caching for Distributed Storage Systems ideado por Miguel Castro, Atul Adya, Barbara Liskov, y Andrew C. Myers.
- A Decentralized Model for Information Flow Control ideado por Andrew C. Myers y Barbara Liskov.
- Lazy Consistency Using Loosely Synchronized Clocks ideado por Atul Adya y Barbara Liskov.
- Collecting Distributed Garbage Cycles by Back Tracing ideado por Umesh Maheshwari y Barbara Liskov.
- Fragment Reconstruction: Providing Global Cache Coherence in a Transactional Storage System ideado por Atul Adya, Miguel Castro, Barbara Liskov, Umesh Maheshwari, y Liuba Shrira.
Año 1998
- Complete, Safe Information Flow with Decentralized Labels ideado por Andrew C. Myers y Barbara Liskov.
Año 1999
- Providing Persistent Objects in Distributed Systems ideado por Barbara Liskov, Miguel Castro, Liuba Shrira, y Atul Adya.
- Authenticated Byzantine Fault Tolerance Without Public-Key Cryptography ideado por Miguel Castro y Barbara Liskov.
- A Correctness Proof for a Practical Byzantine-Fault-Tolerant Replication Algorithm ideado por Miguel Castro y Barbara Liskov.
- Weak Consistency: A Generalized Theory and Optimistic Implementations for Distributed Transactions ideado por Atul Adya.
- Practical Byzantine Fault Tolerance ideado por Miguel Castro y Barbara Liskov.
- JFlow: Practical Mostly-Static Information Flow Control ideado por Andrew C. Myers.
- Using a Byzantine-Fault-Tolerant Algorithm to Provide a Secure DNS ideado por Zheng Yang.
Año 2000
- Generalized Isolation Level Definitions ideado por Atul Adya, Barbara Liskov, y Patrick E. O'Neil.
- Proactive Recovery in a Byzantine-Fault-Tolerant System ideado por Miguel Castro y Barbara Liskov.
- Dynamic Reconfiguration of Component-Based Applications in Java ideado por Ziqiang Tang.
- A Trusted Execution Platform for Multiparty Computation ideado por Sameer Ajmani.
- Lazy Type Changes in Object-Oriented Databases ideado por Shan-Ming Woo.
Año 2001
- BASE: Using Abstraction to Improve Fault Tolerance ideado por Rodrigo Rodrigues, Miguel Castro, y Barbara Liskov.
- Lazy Schema Evolution in Object-Oriented Databases ideado por Yin Cheung.
- Byzantine fault tolerance can be fast ideado por Miguel Castro y Barbara Liskov.
- Using Abstraction to Improve Fault Tolerance ideado por Miguel Castro, Rodrigo Rodrigues, y Barbara Liskov.
- Combining Abstraction with Byzantine Fault Tolerance ideado por Rodrigo Rodrigues.
- A Trusted Third-Party Computation Service ideado por Sameer Ajmani, Robert Morris, y Barbara Liskov.
- Practical Byzantine Fault Tolerance ideado por Miguel Castro.
- A Scalable Byzantine Fault Tolerant Secure Domain Name System ideado por Sarah Ahmed.
Año 2002
- Practical Byzantine Fault Tolerance and Proactive Recovery ideado por Miguel Castro y Barbara Liskov.
- The Design of a Robust Peer-to-Peer System ideado por Rodrigo Rodrigues, Barbara Liskov, y Liuba Shrira.
- Ownership Types and Safe Lazy Upgrades in Object-Oriented Databases ideado por Chandrasekhar Boyapati, Barbara Liskov, y Liuba Shrira.
- Safe Lazy Software Upgrades in Object-Oriented Databases ideado por Barbara Liskov, Chuang-Hue Moh, Steven Richman, Liuba Shrira, Yin Cheung, y Chandrasekhar Boyapati.
- ConChord: Cooperative SDSI Certificate Storage and Name Resolution ideado por Sameer Ajmani, Dwaine E. Clarke, Chuang-Hue Moh, y Steven Richman.
Año 2003
- Lazy Modular Upgrades in Persistent Object Stores ideado por Chandrasekhar Boyapati, Barbara Liskov, Liuba Shrira, Chuang-Hue Moh, y Steven Richman.
- BASE: Using Abstraction to Improve Fault Tolerance ideado por Miguel Castro, Rodrigo Rodrigues, y Barbara Liskov.
- Two Hop Lookups for Large Scale Peer-to-Peer Overlays ideado por Anjali Gupta.
- An Agenda for Robust Peer-to-Peer Storage ideado por Rodrigo Rodrigues.
- Snapshots in a Distributed Persistent Object Storage System ideado por Chuang-Hue Moh.
- Scheduling and Simulation: How to Upgrade Distributed Systems ideado por Sameer Ajmani, Barbara Liskov, y Liuba Shrira.
- One Hop Lookups for Peer-to-Peer Overlays ideado por Anjali Gupta, Barbara Liskov, y Rodrigo Rodrigues.
- High Availability, Scalable Storage, Dynamic Peer Networks: Pick Two ideado por Charles Blake y Rodrigo Rodrigues.
- Ownership Types for Object Encapsulation ideado por Chandrasekhar Boyapati, Barbara Liskov, y Liuba Shrira.
Año 2004
- EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management ideado por Ben Leong, Barbara Liskov, y Erik D. Demaine.
- Achieving One-Hop DHT Lookup and Strong Stabilization by Passing Tokens ideado por Ben Leong y Ji Li.
- Transactional File Systems Can Be Fast ideado por Barbara Liskov y Rodrigo Rodrigues.
- Automatic Software Upgrades for Distributed Systems ideado por Sameer Ajmani.
- EpiChord: Parallelizing the Chord Lookup Algorithm with Reactive Routing State Management ideado por Ben Leong, Barbara Liskov, y Erik D. Demaine.
- Reconfigurable Byzantine-Fault-Tolerant Atomic Memory ideado por Rodrigo Rodrigues y Barbara Liskov.
- Authentication in a Reconfigurable Byzantine Fault Tolerant System ideado por Kathryn Chen.
- Byzantine Modification Detection in Multicast Networks using Randomized Network Coding ideado por Tracey Ho, Ben Leong, Ralf Koetter, Muriel Médard, Michelle Effros, y David Karger.
- Byzantine Fault Tolerance in Long-Lived Systems ideado por Rodrigo Rodrigues y Barbara Liskov.
- TimeLine: A High Performance Archive for a Distributed Object Store ideado por Chuang-Hue Moh y Barbara Liskov.
- Efficient Routing for Peer-to-Peer Overlays ideado por Anjali Gupta, Barbara Liskov, y Rodrigo Rodrigues.
- When Multi-Hop Peer-to-Peer Routing Matters ideado por Rodrigo Rodrigues y Charles Blake.
- SafeJava: A Unified Type System for Safe Programming ideado por Chandrasekhar Boyapati.
Año 2005
- Byzantine Clients Rendered Harmless ideado por Barbara Liskov y Rodrigo Rodrigues.
- High Availability in DHTs: Erasure Coding vs. Replication ideado por Rodrigo Rodrigues y Barbara Liskov.
Año 2006
- HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance ideado por James Cowling, Daniel Myers, Barbara Liskov, Rodrigo Rodrigues, y Liuba Shrira.
- Tolerating Byzantine Faulty Clients in a Quorum System ideado por Barbara Liskov y Rodrigo Rodrigues.
- Modular Software Upgrades for Distributed Systems ideado por Sameer Ajmani, Barbara Liskov, y Liuba Shrira
Año 2007
- Tolerating Byzantine Faults in Database Systems using Commit Barrier Scheduling ideado por Ben Vandiver, Hari Balakrishnan, Barbara Liskov, y Sam Madden.
- MapJAX: Data Structure Abstractions for Asynchronous Web Applications ideado por Daniel Myers, Jennifer Carlisle, James Cowling, y Barbara Liskov.
- HQ Replication ideado por James Cowling.
- HQ Replication: Properties and Optimizations ideado por James Cowling, Daniel Myers, Barbara Liskov, Rodrigo Rodrigues, y Liuba Shrira.
- Mobile Proactive Secret Sharing ideado por David Schultz.
Año 2008
- Mobile Proactive Secret Sharing ideado por David Schultz, Barbara Liskov, y Moses Liskov.
- Towards Application Security on Untrusted Operating Systems ideado por Dan R. K. Ports y Tal Garfinkel.
- Detecting and Tolerating Byzantine Faults in Database Systems ideado por Ben Vandiver.
- Computing Network Coordinates in the Presence of Byzantine Faults ideado por You Zhou.
- Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems ideado por Xiaoxin Chen, Tal Garfinkel, E. Christopher Lewis, Pratap Subrahmanyam, Carl A. Waldspurger, Dan Boneh, Jeffrey Dwoskin, y Dan R. K. Ports.
Año 2009
- Information Flow for Secure Distributed Applications ideado por Winnie Wing-Yee Cheng.
- Census: Location-Aware Membership Management for Large-Scale Distributed Systems ideado por James Cowling, Dan R. K. Ports, Barbara Liskov, Raluca Ada Popa, y Abhijeet Gaikwad.
- Tolerating Latency in Replicated State Machines ideado por Benjamin Wester, James Cowling, Edmund B. Nightingale, Peter M. Chen, Jason Flinn, y Barbara Liskov.
Año 2010
- From Viewstamped Replication to Byzantine Fault Tolerance ideado por Barbara Liskov.
- MPSS: Mobile Proactive Secret Sharing ideado por David Schultz, Barbara Liskov, y Moses Liskov.
- Transactional Consistency and Automatic Management in an Application Data Cache ideado por Dan R. K. Ports, Austin T. Clements, Irene Zhang, Samuel Madden, y Barbara Liskov.
- Audit Trails in the Aeolus Distributed Security Platform ideado por Victoria Popic.
Año 2011
- A File System Design for the Aeolus Security Platform ideado por F. Peter McKee.
- Analyzing Audit Trails in the Aeolus Security Platform ideado por Aaron Blankstein.
Año 2012
- Summarizing Audit Trails in the Aeolus Security Platform ideado por Wissam Jarjoui.
- Aeolus Reference Manual ideado por Barbara Liskov.
- Serializable Snapshot Isolation in PostgreSQL ideado por Dan R. K. Ports y Kevin Grittner.
- Viewstamped Replication Revisited ideado por Barbara Liskov y James Cowling.
- Decentralized Information Flow Control for Databases ideado por David Schultz.
- Low-Overhead Distributed Transaction Coordination ideado por James Cowling.
- Granola: Low-Overhead Distributed Transaction Coordination ideado por James Cowling y Barbara Liskov.
- Application-Level Caching with Transactional Consistency ideado por Dan R. K. Ports.
- Abstractions for Usable Information Flow Control in Aeolus ideado por Winnie Cheng, Dan R. K. Ports, David Schultz, Victoria Popic, Aaron Blankstein, James Cowling, Dorothy Curtis, Liuba Shrira, y Barbara Liskov.
- Automatic Reconfiguration for Large-Scale Reliable Storage Systems ideado por Rodrigo Rodrigues, Barbara Liskov, Kathryn Chen, Moses Liskov, y David Schultz.
Año 2013
- IFDB: Decentralized Information Flow Control for Databases ideado por David Schultz y Barbara Liskov.
