 | 2009 |
|---|
| 84 |       | Dmitrii Zagorodnov,
Keith Marzullo,
Lorenzo Alvisi,
Thomas C. Bressoud:
Practical and low-overhead masking of failures of TCP-based servers.
ACM Trans. Comput. Syst. 27(2): (2009) |
| 83 | | Alper Tugay Mizrak,
Stefan Savage,
Keith Marzullo:
Detecting Malicious Packet Losses.
IEEE Trans. Parallel Distrib. Syst. 20(2): 191-206 (2009) |
| 2008 |
|---|
| 82 | | Maurice Herlihy,
Flavio Paiva Junqueira,
Keith Marzullo,
Lucia Draque Penso:
Optimizing Threshold Protocols in Adversarial Structures.
DISC 2008: 335-349 |
| 81 | | Yanhua Mao,
Flavio Paiva Junqueira,
Keith Marzullo:
Mencius: Building Efficient Replicated State Machine for WANs.
OSDI 2008: 369-384 |
| 80 | | Alper Tugay Mizrak,
Stefan Savage,
Keith Marzullo:
Detecting compromised routers via packet forwarding behavior.
IEEE Network 22(2): 34-39 (2008) |
| 2007 |
|---|
| 79 | | Flavio Junqueira,
Keith Marzullo:
A framework for the design of dependent-failure algorithms.
Concurrency and Computation: Practice and Experience 19(17): 2255-2269 (2007) |
| 78 | | Sean Peisert,
Matt Bishop,
Sidney Karin,
Keith Marzullo:
Analysis of Computer Intrusions Using Sequences of Function Calls.
IEEE Trans. Dependable Sec. Comput. 4(2): 137-150 (2007) |
| 2006 |
|---|
| 77 | | Xianan Zhang,
Matti A. Hiltunen,
Keith Marzullo,
Richard D. Schlichting:
Customizable Service State Durability for Service Oriented Architectures.
EDCC 2006: 119-128 |
| 76 | | Xianan Zhang,
Flavio Junqueira,
Matti A. Hiltunen,
Keith Marzullo,
Richard D. Schlichting:
Replicating Nondeterministic Services on Grid Environments.
HPDC 2006: 105-116 |
| 75 | | Alper Tugay Mizrak,
Yu-Chung Cheng,
Keith Marzullo,
Stefan Savage:
Detecting and Isolating Malicious Routers.
IEEE Trans. Dependable Sec. Comput. 3(3): 230-244 (2006) |
| 74 | | Alessandro Amoroso,
Keith Marzullo:
Multiple Job Scheduling in a Connection-Limited Data Parallel System.
IEEE Trans. Parallel Distrib. Syst. 17(2): 125-134 (2006) |
| 2005 |
|---|
| 73 | | Flavio Paiva Junqueira,
Keith Marzullo:
Coterie Availability in Sites.
DISC 2005: 3-17 |
| 72 | | Alper Tugay Mizrak,
Yu-Chung Cheng,
Keith Marzullo,
Stefan Savage:
Fatih: Detecting and Isolating Malicious Routers.
DSN 2005: 538-547 |
| 71 | | Flavio Paiva Junqueira,
Keith Marzullo:
Replication Predicates for Dependent-Failure Algorithms.
Euro-Par 2005: 617-632 |
| 70 | | Flavio Paiva Junqueira,
Ranjita Bhagwan,
Alejandro Hevia,
Keith Marzullo,
Geoffrey M. Voelker:
Surviving Internet Catastrophes.
USENIX Annual Technical Conference, General Track 2005: 45-60 |
| 69 | | Keith Marzullo:
Introduction.
Distributed Computing 18(1): 59 (2005) |
| 2004 |
|---|
| 68 | | Xianan Zhang,
Dmitrii Zagorodnov,
Matti A. Hiltunen,
Keith Marzullo,
Richard D. Schlichting:
Fault-tolerant grid services using primary-backup: feasibility and performance.
CLUSTER 2004: 105-114 |
| 67 | | Alper Tugay Mizrak,
Keith Marzullo,
Stefan Savage:
Brief announcement: detecting malicious routers.
PODC 2004: 369 |
| 2003 |
|---|
| 66 | | Dmitrii Zagorodnov,
Keith Marzullo,
Lorenzo Alvisi,
Thomas C. Bressoud:
Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP.
DSN 2003: 393-402 |
| 65 | | Flavio Paiva Junqueira,
Keith Marzullo:
Designing Algorithms for Dependent Process Failures.
Future Directions in Distributed Computing 2003: 24-28 |
| 64 |  | Flavio Paiva Junqueira,
Ranjita Bhagwan,
Keith Marzullo,
Stefan Savage,
Geoffrey M. Voelker:
The Phoenix Recovery System: Rebuilding from the Ashes of an Internet Catastrophe.
HotOS 2003: 73-78 |
| 63 | | Flavio Paiva Junqueira,
Keith Marzullo:
Synchronous Consensus for Dependent Process Failure.
ICDCS 2003: 274-283 |
| 62 | | Kjetil Jacobsen,
Xianan Zhang,
Keith Marzullo:
Group Membership and Wide-Area Master-Worker Computations.
ICDCS 2003: 570- |
| 61 | | Renata Teixeira,
Keith Marzullo,
Stefan Savage,
Geoffrey M. Voelker:
In search of path diversity in ISP networks.
Internet Measurement Comference 2003: 313-318 |
| 60 | | Renata Teixeira,
Keith Marzullo,
Stefan Savage,
Geoffrey M. Voelker:
Characterizing and measuring path diversity of internet topologies.
SIGMETRICS 2003: 304-305 |
| 59 | | Karan Bhatia,
Keith Marzullo,
Lorenzo Alvisi:
Scalable causal message logging for wide-area environments.
Concurrency and Computation: Practice and Experience 15(10): 873-889 (2003) |
| 58 | | Jeremy B. Sussman,
Keith Marzullo:
The Bancomat problem: an example of resource allocation in a partitionable asynchronous system.
Theor. Comput. Sci. 291(1): 103-131 (2003) |
| 2002 |
|---|
| 57 | | Richard D. Schlichting,
Andrew A. Chien,
Carl Kesselman,
Keith Marzullo,
James S. Plank,
Santosh K. Shrivastava:
Dependability and the Grid: Issues and Challenges.
DSN 2002: 263-266 |
| 56 | | Dag Johansen,
Kåre J. Lauvset,
Keith Marzullo:
An Extensible Software Architecture for Mobile Components.
ECBS 2002: 231-237 |
| 55 | | Kåre J. Lauvset,
Dag Johansen,
Keith Marzullo:
Factoring Mobile Agents.
ECBS 2002: 253-257 |
| 54 | | Priya Narasimhan,
Keith Marzullo,
P. M. Melliar-Smith,
Andreas Polze,
Douglas C. Schmidt:
Open Research Issues in Building Dependable Middleware (Panel).
WORDS 2002: 359- |
| 53 | | Idit Keidar,
Jeremy B. Sussman,
Keith Marzullo,
Danny Dolev:
Moshe: A group membership service for WANs.
ACM Trans. Comput. Syst. 20(3): 191-238 (2002) |
| 52 | | Lorenzo Alvisi,
Karan Bhatia,
Keith Marzullo:
Causality tracking in causal message-logging protocols.
Distributed Computing 15(1): 1-15 (2002) |
| 2001 |
|---|
| 51 | | Karan Bhatia,
Keith Marzullo,
Lorenzo Alvisi:
Scalable Causal Message Logging for Wide-Area Environments.
Euro-Par 2001: 864-873 |
| 50 | | Kåre J. Lauvset,
Kjetil Jacobsen,
Dag Johansen,
Keith Marzullo:
Separating Mobility from Mobile Agents.
HotOS 2001: 173 |
| 49 | | Lorenzo Alvisi,
Thomas C. Bressoud,
Ayman El-Khashab,
Keith Marzullo,
Dmitrii Zagorodnov:
Wrapping Server-Side TCP to Mask Connection Failures.
INFOCOM 2001: 329-337 |
| 48 | | Kåre J. Lauvset,
Dag Johansen,
Keith Marzullo:
TOS: kernel support for distributed systems management.
SAC 2001: 412-419 |
| 2000 |
|---|
| 47 | | Meng-Jang Lin,
Keith Marzullo,
Stefano Masini:
Gossip versus Deterministically Constrained Flooding on Small Networks.
DISC 2000: 253-267 |
| 46 | | Idit Keidar,
Jeremy B. Sussman,
Keith Marzullo,
Danny Dolev:
A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs.
ICDCS 2000: 356-365 |
| 45 | | Jeremy B. Sussman,
Idit Keidar,
Keith Marzullo:
Optimistic Virtual Synchrony.
SRDS 2000: 42-51 |
| 1999 |
|---|
| 44 | | Chanathip Namprempre,
Jeremy B. Sussman,
Keith Marzullo:
Implementing Causal Logging Using OrbixWeb Interception.
COOTS 1999: 57-68 |
| 43 | | Meng-Jang Lin,
Keith Marzullo:
Directional Gossip: Gossip in a Wide Area Network.
EDCC 1999: 364-379 |
| 42 | | Dag Johansen,
Keith Marzullo,
Fred B. Schneider,
Kjetil Jacobsen,
Dmitrii Zagorodnov:
NAP: Practical Fault-Tolerance for Itinerant Computations.
ICDCS 1999: 180-189 |
| 41 | | Walfredo Cirne,
Keith Marzullo:
The Computational Co-op: Gathering Clusters into a Metacomputer.
IPPS/SPDP 1999: 160-166 |
| 1998 |
|---|
| 40 | | Jeremy B. Sussman,
Keith Marzullo:
The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System.
DISC 1998: 363-377 |
| 39 | | Alessandro Amoroso,
Keith Marzullo,
Aleta Ricciardi:
Wide-Area Nile: A Case Study of a Wide-Area Data-Parallel Application.
ICDCS 1998: 506-515 |
| 38 | | Karan Bhatia,
Keith Marzullo,
Lorenzo Alvisi:
The Relative Overhead of Piggybacking in Causal Message Logging Protocols.
SRDS 1998: 348-353 |
| 37 | | Meng-Jang Lin,
Aleta Ricciardi,
Keith Marzullo:
A New Model for Availability in the Face of Self-Propagating Attacks.
Workshop on New Security Paradigms 1998: 134-137 |
| 36 | | Lorenzo Alvisi,
Keith Marzullo:
Message Logging: Pessimistic, Optimistic, Causal, and Optimal.
IEEE Trans. Software Eng. 24(2): 149-159 (1998) |
| 1997 |
|---|
| 35 | | Matthew Clegg,
Keith Marzullo:
Predicting Physical Processes in the Presence of Faulty Sensor Readings.
FTCS 1997: 373-378 |
| 34 | | Matthew Clegg,
Keith Marzullo:
A low-cost processor group membership protocol for a hard real-time distributed system.
IEEE Real-Time Systems Symposium 1997: 90-98 |
| 1996 |
|---|
| 33 | | Özalp Babaoglu,
Keith Marzullo:
Distributed Algorithms, 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996, Proceedings
Springer 1996 |
| 32 | | Keith Marzullo,
Michael Ogg,
Aleta Ricciardi,
Alessandro Amoroso,
F. Andrew Calkins,
Eric Rothfus:
NILE: wide-area computing for high energy physics.
ACM SIGOPS European Workshop 1996: 49-54 |
| 31 | | Lorenzo Alvisi,
Keith Marzullo:
Trade-Offs in Implementing Optimal Message Logging Protocols.
PODC 1996: 58-67 |
| 30 | | Jeremy B. Sussman,
Keith Marzullo:
Comparing Primary-Backup and State Machines for Crash Failures (Abstract).
PODC 1996: 90 |
| 1995 |
|---|
| 29 | | Lorenzo Alvisi,
Keith Marzullo:
Message Logging: Pessimistic, Optimistic, and Causal.
ICDCS 1995: 229-236 |
| 28 | | Lorenzo Alvisi,
Keith Marzullo:
Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures (Abstract).
PODC 1995: 263 |
| 1994 |
|---|
| 27 | | Lorenzo Alvisi,
Keith Marzullo:
Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures.
Dagstuhl Seminar on Distributed Systems 1994: 111-120 |
| 26 | | Robbert van Renesse,
Kenneth P. Birman,
Thorsten von Eicken,
Keith Marzullo:
New Applications for Group Computing.
Dagstuhl Seminar on Distributed Systems 1994: 58-63 |
| 25 | | Laura S. Sabel,
Keith Marzullo:
Simulating Fail-Stop in Asynchronous Distributed Systems.
PODC 1994: 399 |
| 24 | | Laura S. Sabel,
Keith Marzullo:
Simulating Fail-Stop in Asynchronous Distributed Systems.
SRDS 1994: 138-147 |
| 23 | | Keith Marzullo,
Laura S. Sabel:
Efficient Detection of a Class of Stable Properties.
Distributed Computing 8(2): 81-91 (1994) |
| 1993 |
|---|
| 22 | | Lorenzo Alvisi,
Bruce Hoppe,
Keith Marzullo:
Nonblocking and Orphan-Free Message Logging Protocols.
FTCS 1993: 145-154 |
| 21 | | Carlos Almeida,
Bradford B. Glade,
Keith Marzullo:
High Availability in a Real-Time System.
Operating Systems Review 27(2): 82-87 (1993) |
| 20 | | Özalp Babaoglu,
Keith Marzullo,
Fred B. Schneider:
A Formalization of Priority Inversion.
Real-Time Systems 5(4): 285-303 (1993) |
| 1992 |
|---|
| 19 | | Carlos Almeida,
Bradford B. Glade,
Keith Marzullo,
Robbert van Renesse:
High availability in a real-time system.
ACM SIGOPS European Workshop 1992 |
| 18 | | Navin Budhiraja,
Keith Marzullo,
Fred B. Schneider,
Sam Toueg:
Optimal Primary-Backup Protocols.
WDAG 1992: 362-378 |
| 17 | | Navin Budhiraja,
Keith Marzullo:
Highly-Available Services Using the Primary-Backup Approach.
Workshop on the Management of Replicated Data 1992: 47-50 |
| 16 | | Keith Marzullo:
A Toolkit for Building Reactive Systems or A Minute on Meta (Abstract).
Operating Systems Review 26(2): 23 (1992) |
| 1991 |
|---|
| 15 | | Fred B. Schneider,
Bard Bloom,
Keith Marzullo:
Putting Time into Proof Outlines.
REX Workshop 1991: 618-639 |
| 14 | | Paul Chew,
Keith Marzullo:
Masking Failures of Multidimensional Sensors.
SRDS 1991: 32-41 |
| 13 | | Keith Marzullo,
Gil Neiger:
Detection of Global State Predicates.
WDAG 1991: 254-272 |
| 12 | | Keith Marzullo,
Laura S. Sabel:
Using Consistent Subcuts for Detecting Stable Properties.
WDAG 1991: 273-288 |
| 11 | | Robert Cooper,
Keith Marzullo:
Consistent Detection of Global Predicates.
Workshop on Parallel and Distributed Debugging 1991: 167-174 |
| 10 | | Keith Marzullo,
Robert Cooper,
Mark D. Wood,
Kenneth P. Birman:
Tools for Distributed Application Management.
IEEE Computer 24(8): 42-51 (1991) |
| 9 | | Keith Marzullo,
Mark D. Wood:
Making Real-Time Reactive Systems Reliable.
Operating Systems Review 25(1): 45-48 (1991) |
| 1990 |
|---|
| 8 | | Keith Marzullo,
Mark D. Wood:
Making real-time reactive systems reliable.
ACM SIGOPS European Workshop 1990 |
| 7 | | Alex Siegel,
Kenneth P. Birman,
Keith Marzullo:
Deceit: A Flexible Distributed File System.
USENIX Summer 1990: 51-62 |
| 6 | | Alex Siegel,
Kenneth P. Birman,
Keith Marzullo:
Position Paper - Deceit: A Flexible Distributed File System.
Workshop on the Management of Replicated Data 1990: 15-17 |
| 5 | | Keith Marzullo:
Tolerating Failures of Continuous-Valued Sensors.
ACM Trans. Comput. Syst. 8(4): 284-304 (1990) |
| 1988 |
|---|
| 4 | | Keith Marzullo,
Frank B. Schmuck:
Supplying High Availability with a Standard Network File System.
ICDCS 1988: 447-453 |
| 3 | | Keith Marzullo:
Configuration Management for Modular System.
SCM 1988: 405-408 |
| 1985 |
|---|
| 2 | | Keith Marzullo,
Susan S. Owicki:
Maintaining the Time in a Distributed System.
Operating Systems Review 19(3): 44-54 (1985) |
| 1983 |
|---|
| 1 | | Keith Marzullo,
Susan S. Owicki:
Maintaining the Time in a Distributed System.
PODC 1983: 295-305 |
