Maintaining the Time in a Distributed System. - Keith Marzullo; Susan S. Owicki (ACM SIGOPS Oper. Syst. Rev., 1985)

Jasmine: a software system modelling facility. - Keith Marzullo; Douglas Wiebe (SDE, 1986)

Supplying High Availability with a Standard Network File System. - Keith Marzullo; Frank B. Schmuck (ICDCS, 1988)

Configuration Management for Modular System. - Keith Marzullo (SCM, 1988)

Deceit: A Flexible Distributed File System. - Alex Siegel; Kenneth P. Birman; Keith Marzullo (USENIX Summer, 1990)

Position Paper - Deceit: A Flexible Distributed File System. - Alex Siegel; Kenneth P. Birman; Keith Marzullo (Workshop on the Management of Replicated Data, 1990)

Tolerating Failures of Continuous-Valued Sensors. - Keith Marzullo (ACM Trans. Comput. Syst., 1990)

Consistent Detection of Global Predicates. - Robert Cooper; Keith Marzullo (Workshop on Parallel and Distributed Debugging, 1991)

Putting Time into Proof Outlines. - Fred B. Schneider; Bard Bloom; Keith Marzullo (REX Workshop, 1991)

Masking Failures of Multidimensional Sensors. - Paul Chew; Keith Marzullo (SRDS, 1991)

Detection of Global State Predicates. - Keith Marzullo; Gil Neiger (WDAG, 1991)

Using Consistent Subcuts for Detecting Stable Properties. - Keith Marzullo; Laura S. Sabel (WDAG, 1991)

Tools for Distributed Application Management. - Keith Marzullo; Robert Cooper; Mark D. Wood; Kenneth P. Birman (Computer, 1991)

Making Real-Time Reactive Systems Reliable. - Keith Marzullo; Mark D. Wood (ACM SIGOPS Oper. Syst. Rev., 1991)

CORTO: High Availability in a Real-Time System. - Carlos Almeida; Keith Marzullo (NATO ASI RTC, 1992)

High availability in a real-time system. - Carlos Almeida; Bradford B. Glade; Keith Marzullo; Robbert van Renesse (ACM SIGOPS European Workshop, 1992)

Optimal Primary-Backup Protocols. - Navin Budhiraja; Keith Marzullo; Fred B. Schneider; Sam Toueg (WDAG, 1992)

Highly-Available Services Using the Primary-Backup Approach. - Navin Budhiraja; Keith Marzullo (Workshop on the Management of Replicated Data, 1992)

A Toolkit for Building Reactive Systems or A Minute on Meta (Abstract). - Keith Marzullo (ACM SIGOPS Oper. Syst. Rev., 1992)

Multicast Transport Protocol. - Susan M. Armstrong; Alan O. Freier; Keith Marzullo (RFC, 1992)

Nonblocking and Orphan-Free Message Logging Protocols. - Lorenzo Alvisi; Bruce Hoppe; Keith Marzullo (FTCS, 1993)

A Formalization of Priority Inversion. - Özalp Babaoglu; Keith Marzullo; Fred B. Schneider (Real Time Syst., 1993)

High Availability in a Real-Time System. - Carlos Almeida; Bradford B. Glade; Keith Marzullo (ACM SIGOPS Oper. Syst. Rev., 1993)

Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures. - Lorenzo Alvisi; Keith Marzullo (Dagstuhl Seminar on Distributed Systems, 1994)

New Applications for Group Computing. - Robbert van Renesse; Kenneth P. Birman; Thorsten von Eicken; Keith Marzullo (Dagstuhl Seminar on Distributed Systems, 1994)

Simulating Fail-Stop in Asynchronous Distributed Systems. - Laura S. Sabel; Keith Marzullo (PODC, 1994)

Efficient Detection of a Class of Stable Properties. - Keith Marzullo; Laura S. Sabel (Distributed Comput., 1994)

Message Logging: Pessimistic, Optimistic, and Causal. - Lorenzo Alvisi; Keith Marzullo (ICDCS, 1995)

Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures (Abstract). - Lorenzo Alvisi; Keith Marzullo (PODC, 1995)

Tradeoffs in implementing primary-backup protocols. - Navin Budhiraja; Keith Marzullo (SPDP, 1995)

Trade-Offs in Implementing Optimal Message Logging Protocols. - Lorenzo Alvisi; Keith Marzullo (PODC, 1996)

Comparing Primary-Backup and State Machines for Crash Failures (Abstract). - Jeremy B. Sussman; Keith Marzullo (PODC, 1996)

NILE: wide-area computing for high energy physics. - Keith Marzullo; Michael Ogg; Aleta Ricciardi; Alessandro Amoroso; F. Andrew Calkins; Eric Rothfus (ACM SIGOPS European Workshop, 1996)

Predicting Physical Processes in the Presence of Faulty Sensor Readings. - Matthew Clegg; Keith Marzullo (FTCS, 1997)

A low-cost processor group membership protocol for a hard real-time distributed system. - Matthew Clegg; Keith Marzullo (RTSS, 1997)

Wide-Area Nile: A Case Study of a Wide-Area Data-Parallel Application. - Alessandro Amoroso; Keith Marzullo; Aleta Ricciardi (ICDCS, 1998)

A New Model for Availability in the Face of Self-Propagating Attacks. - Meng-Jang Lin; Aleta Ricciardi; Keith Marzullo (Workshop on New Security Paradigms, 1998)

The Relative Overhead of Piggybacking in Causal Message Logging Protocols. - Karan Bhatia; Keith Marzullo; Lorenzo Alvisi (SRDS, 1998)

Message Logging: Pessimistic, Optimistic, Causal, and Optimal. - Lorenzo Alvisi; Keith Marzullo (IEEE Trans. Software Eng., 1998)

Implementing Causal Logging Using OrbixWeb Interception. - Chanathip Namprempre; Jeremy B. Sussman; Keith Marzullo (COOTS, 1999)

Directional Gossip: Gossip in a Wide Area Network. - Meng-Jang Lin; Keith Marzullo (EDCC, 1999)

NAP: Practical Fault-Tolerance for Itinerant Computations. - Dag Johansen; Keith Marzullo; Fred B. Schneider; Kjetil Jacobsen; Dmitrii Zagorodnov (ICDCS, 1999)

The Computational Co-op: Gathering Clusters into a Metacomputer. - Walfredo Cirne; Keith Marzullo (IPPS/SPDP, 1999)

A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs. - Idit Keidar; Jeremy B. Sussman; Keith Marzullo; Danny Dolev (ICDCS, 2000)

Optimistic Virtual Synchrony. - Jeremy B. Sussman; Idit Keidar; Keith Marzullo (SRDS, 2000)

Gossip versus Deterministically Constrained Flooding on Small Networks. - Meng-Jang Lin; Keith Marzullo; Stefano Masini (DISC, 2000)

Separating Mobility from Mobile Agents. - Kåre J. Lauvset; Kjetil Jacobsen; Dag Johansen; Keith Marzullo (HotOS, 2001)

Wrapping Server-Side TCP to Mask Connection Failures. - Lorenzo Alvisi; Thomas C. Bressoud; Ayman El-Khashab; Keith Marzullo; Dmitrii Zagorodnov (INFOCOM, 2001)

TOS: kernel support for distributed systems management. - Kåre J. Lauvset; Dag Johansen; Keith Marzullo (SAC, 2001)

Dependability and the Grid: Issues and Challenges. - Richard D. Schlichting; Andrew A. Chien; Carl Kesselman; Keith Marzullo; James S. Plank; Santosh K. Shrivastava (DSN, 2002)

An Extensible Software Architecture for Mobile Components. - Dag Johansen; Kåre J. Lauvset; Keith Marzullo (ECBS, 2002)

Factoring Mobile Agents. - Kåre J. Lauvset; Dag Johansen; Keith Marzullo (ECBS, 2002)

Open Research Issues in Building Dependable Middleware (Panel). - Priya Narasimhan; Keith Marzullo; P. M. Melliar-Smith; Andreas Polze; Douglas C. Schmidt (WORDS, 2002)

Causality tracking in causal message-logging protocols. - Lorenzo Alvisi; Karan Bhatia; Keith Marzullo (Distributed Comput., 2002)

Moshe: A group membership service for WANs. - Idit Keidar; Jeremy B. Sussman; Keith Marzullo; Danny Dolev (ACM Trans. Comput. Syst., 2002)

Designing Algorithms for Dependent Process Failures. - Flavio Paiva Junqueira; Keith Marzullo (Future Directions in Distributed Computing, 2003)

Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP. - Dmitrii Zagorodnov; Keith Marzullo; Lorenzo Alvisi; Thomas C. Bressoud (DSN, 2003)

The Phoenix Recovery System: Rebuilding from the Ashes of an Internet Catastrophe. - Flavio Paiva Junqueira; Ranjita Bhagwan; Keith Marzullo; Stefan Savage; Geoffrey M. Voelker (HotOS, 2003)

Group Membership and Wide-Area Master-Worker Computations. - Kjetil Jacobsen; Xianan Zhang; Keith Marzullo (ICDCS, 2003)

Synchronous Consensus for Dependent Process Failure. - Flavio Paiva Junqueira; Keith Marzullo (ICDCS, 2003)

In search of path diversity in ISP networks. - Renata Teixeira; Keith Marzullo; Stefan Savage; Geoffrey M. Voelker (Internet Measurement Conference, 2003)

Characterizing and measuring path diversity of internet topologies. - Renata Teixeira; Keith Marzullo; Stefan Savage; Geoffrey M. Voelker (SIGMETRICS, 2003)

Scalable causal message logging for wide-area environments. - Karan Bhatia; Keith Marzullo; Lorenzo Alvisi (Concurr. Comput. Pract. Exp., 2003)

The Bancomat problem: an example of resource allocation in a partitionable asynchronous system. - Jeremy B. Sussman; Keith Marzullo (Theor. Comput. Sci., 2003)

Fault-tolerant grid services using primary-backup: feasibility and performance. - Xianan Zhang; Dmitrii Zagorodnov; Matti A. Hiltunen; Keith Marzullo; Richard D. Schlichting (CLUSTER, 2004)

Brief announcement: detecting malicious routers. - Alper Tugay Mizrak; Keith Marzullo; Stefan Savage (PODC, 2004)

Fatih: Detecting and Isolating Malicious Routers. - Alper Tugay Mizrak; Yuchung Cheng; Keith Marzullo; Stefan Savage (DSN, 2005)

Replication Predicates for Dependent-Failure Algorithms. - Flavio Paiva Junqueira; Keith Marzullo (Euro-Par, 2005)

Principles-driven forensic analysis. - Sean Peisert; Sidney Karin; Matt Bishop; Keith Marzullo (NSPW, 2005)

Surviving Internet Catastrophes. - Flavio Paiva Junqueira; Ranjita Bhagwan; Alejandro Hevia; Keith Marzullo; Geoffrey M. Voelker (USENIX ATC, General Track, 2005)

Coterie Availability in Sites. - Flavio Paiva Junqueira; Keith Marzullo (DISC, 2005)

Introduction. - Keith Marzullo (Distributed Comput., 2005)

Customizable Service State Durability for Service Oriented Architectures. - Xianan Zhang; Matti A. Hiltunen; Keith Marzullo; Richard D. Schlichting (EDCC, 2006)

Replicating Nondeterministic Services on Grid Environments. - Xianan Zhang; Flavio Junqueira; Matti A. Hiltunen; Keith Marzullo; Richard D. Schlichting (HPDC, 2006)

Detecting and Isolating Malicious Routers. - Alper Tugay Mizrak; Yuchung Cheng; Keith Marzullo; Stefan Savage (IEEE Trans. Dependable Secur. Comput., 2006)

Multiple Job Scheduling in a Connection-Limited Data Parallel System. - Alessandro Amoroso; Keith Marzullo (IEEE Trans. Parallel Distributed Syst., 2006)

Toward Models for Forensic Analysis. - Sean Peisert; Matt Bishop; Sidney Karin; Keith Marzullo (SADFE, 2007)

A framework for the design of dependent-failure algorithms. - Flavio Junqueira; Keith Marzullo (Concurr. Comput. Pract. Exp., 2007)

Analysis of Computer Intrusions Using Sequences of Function Calls. - Sean Peisert; Matt Bishop; Sidney Karin; Keith Marzullo (IEEE Trans. Dependable Secur. Comput., 2007)

Locality aware redundancy allocation in nanoelectronic systems. - Wenjing Rao; Alex Orailoglu; Keith Marzullo (NANOARCH, 2008)

Mencius: Building Efficient Replicated State Machine for WANs. - Yanhua Mao; Flavio Paiva Junqueira; Keith Marzullo (OSDI, 2008)

Computer Forensics in Forensis. - Sean Peisert; Matt Bishop; Keith Marzullo (SADFE, 2008)

Optimizing Threshold Protocols in Adversarial Structures. - Maurice Herlihy; Flavio Paiva Junqueira; Keith Marzullo; Lucia Draque Penso (DISC, 2008)

Detecting compromised routers via packet forwarding behavior. - Alper Tugay Mizrak; Stefan Savage; Keith Marzullo (IEEE Netw., 2008)

Practical and low-overhead masking of failures of TCP-based servers. - Dmitrii Zagorodnov; Keith Marzullo; Lorenzo Alvisi; Thomas C. Bressoud (ACM Trans. Comput. Syst., 2009)

Detecting Malicious Packet Losses. - Alper Tugay Mizrak; Stefan Savage; Keith Marzullo (IEEE Trans. Parallel Distributed Syst., 2009)

Threshold protocols in survivor set systems. - Flavio Paiva Junqueira; Keith Marzullo; Maurice Herlihy; Lucia Draque Penso (Distributed Comput., 2010)

ALIAS: scalable, decentralized label assignment for data centers. - Meg Walraed-Sullivan; Radhika Niranjan Mysore; Malveeka Tewari; Ying Zhang 022; Keith Marzullo; Amin Vahdat (SoCC, 2011)

Brief Announcement: When You Don't Trust Clients: Byzantine Proposer Fast Paxos. - Keith Marzullo; Hein Meling; Alessandro Mei (DISC, 2011)

Brief Announcement: A Randomized Algorithm for Label Assignment in Dynamic Networks. - Meg Walraed-Sullivan; Radhika Niranjan Mysore; Keith Marzullo; Amin Vahdat (DISC, 2011)

When You Don't Trust Clients: Byzantine Proposer Fast Paxos. - Hein Meling; Keith Marzullo; Alessandro Mei (ICDCS, 2012)

Announcing the 2012 Edsger W. Dijkstra prize in distributed computing. - Marcos K. Aguilera; Dahlia Malkhi; Keith Marzullo; Alessandro Panconesi; Andrzej Pelc; Roger Wattenhofer (SIGARCH Comput. Archit. News, 2012)

Aspen trees: balancing data center fault tolerance, scalability and cost. - Meg Walraed-Sullivan; Amin Vahdat; Keith Marzullo (CoNEXT, 2013)

Local Recovery for High Availability in Strongly Consistent Cloud Services. - James W. Anderson; Hein Meling; Alexander Rasmussen; Amin Vahdat; Keith Marzullo (IEEE Trans. Dependable Secur. Comput., 2017)

Emotion Regulation in the Wild: Introducing WEHAB System Architecture. - Pardis Miri; Andero Uusberg; Heather Culbertson; Robert Flory; Helen Uusberg; James J. Gross; Keith Marzullo; Katherine Isbister (CHI Extended Abstracts, 2018)

Evaluating a Personalizable, Inconspicuous Vibrotactile(PIV) Breathing Pacer for In-the-Moment Affect Regulation. - Pardis Miri; Emily Jusuf; Andero Uusberg; Horia Margarit; Robert Flory; Katherine Isbister; Keith Marzullo; James J. Gross (CHI, 2020)

Evolving Methods for Evaluating and Disseminating Computing Research. - Benjamin Zorn 001; Tom Conte 001; Keith Marzullo; Suresh Venkatasubramanian (CoRR, 2020)

PIV: Placement, Pattern, and Personalization of an Inconspicuous Vibrotactile Breathing Pacer. - Pardis Miri; Robert Flory; Andero Uusberg; Heather Culbertson; Richard H. Harvey; Agata Kelman; Davis Erik Peper; James J. Gross; Katherine Isbister; Keith Marzullo (ACM Trans. Comput. Hum. Interact., 2020)

FAR: End-to-End Vibrotactile Distributed System Designed to Facilitate Affect Regulation in Children Diagnosed with Autism Spectrum Disorder Through Slow Breathing. - Pardis Miri; Mehul Arora; Aman Malhotra; Robert Flory; Stephanie Hu; Ashley Lowber; Ishan Goyal; Jacqueline Nguyen; John P. Hegarty; Marlo D. Kohn; David Schneider; Heather Culbertson; et al. (CHI, 2022)

Challenges in Evaluating Technological Interventions for Affect Regulation. - Pardis Miri; Horia Margarit; Andero Uusberg; Keith Marzullo; Tali M. Ball; Daniel Yamins; Robert Flory; James J. Gross (IEEE Trans. Affect. Comput., 2023)