Diferencia entre revisiones de «Grupo de Metodologia de Programación»

De WIAragón
Saltar a: navegación, buscar
(→‎Publicaiones)
Línea 13: Línea 13:
 
Este grupo ha realizado numerosas publicaciones desde el año 1983 hasta 2013. Estas publicaciones son, ordenadas cronológicamente, las siguientes:
 
Este grupo ha realizado numerosas publicaciones desde el año 1983 hasta 2013. Estas publicaciones son, ordenadas cronológicamente, las siguientes:
 
===1983===
 
===1983===
−
*'''''Dynamic Module Replacement in a Distributed Programming System''''' realizado por Toby Bloom.
+
*'''''Dynamic Module Replacement in a Distributed Programming System''''' ideado por Toby Bloom.
 
===1988===
 
===1988===
−
*'''''Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems''''' realizado por Brian Oki y Barbara Liskov.
+
*'''''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''''' realizado por Brian Oki.
+
*'''''Viewstamped Replication for Highly Available Distributed Systems''''' ideado por Brian Oki.
 
===1991===
 
===1991===
−
*'''''Replication in the Harp File System''''' realizado por Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, and Michael Williams.
+
*'''''Replication in the Harp File System''''' ideado por Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, and Michael Williams.
 
===1992===
 
===1992===
 +
*'''''Reconfiguration in Argus''''' ideado por Toby Bloom y Mark Day.
 +
===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.
 +
===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.
 +
===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.
 +
===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.
 +
===1998===
 +
*'''''Complete, Safe Information Flow with Decentralized Labels''''' ideado por Andrew C. Myers y Barbara Liskov.
 +
===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.
 +
===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.
 +
===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.
 +
===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.
 +
===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.
 +
===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.
 +
===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.
 +
===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
 +
===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.
 +
===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.
 +
===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.
 +
===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.
 +
===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.
 +
===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.
 +
===2013===
 +
*'''''IFDB: Decentralized Information Flow Control for Databases''''' ideado por  David Schultz y Barbara Liskov.
 +
 +
 +
 +
 +
 +
 +
 +
  
  

Revisión del 11:35 11 abr 2017

Pmg logo3.gif


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.

Publicaiones

Este grupo ha realizado numerosas publicaciones desde el año 1983 hasta 2013. Estas publicaciones son, ordenadas cronológicamente, las siguientes:

1983

  • Dynamic Module Replacement in a Distributed Programming System ideado por Toby Bloom.

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.

1991

  • Replication in the Harp File System ideado por Barbara Liskov, Sanjay Ghemawat, Robert Gruber, Paul Johnson, Liuba Shrira, and Michael Williams.

1992

  • Reconfiguration in Argus ideado por Toby Bloom y Mark Day.

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.

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.

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.

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.

1998

  • Complete, Safe Information Flow with Decentralized Labels ideado por Andrew C. Myers y Barbara Liskov.

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.

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.

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.

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.

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.

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.

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.

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

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.

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.

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.

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.

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.

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.

2013

  • IFDB: Decentralized Information Flow Control for Databases ideado por David Schultz y Barbara Liskov.











Barbara-Liskov

Obtenido de «https://wikinformatica.unizar.es/archivo/index.php?title=Grupo_de_Metodologia_de_Programación&oldid=24535»