Keith Marzullo

Marcos K. Aguilera, Dahlia Malkhi, Keith Marzullo, Alessandro Panconesi, Andrzej Pelc, Roger Wattenhofer: Announcing the 2012 Edsger W. Dijkstra prize in distributed computing. SIGARCH Computer Architecture News 40(4): 1-2 (2012)

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

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

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

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

Flavio Paiva Junqueira, Keith Marzullo, Maurice Herlihy, Lucia Draque Penso: Threshold protocols in survivor set systems. Distributed Computing 23(2): 135-149 (2010)

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)

Alper Tugay Mizrak, Stefan Savage, Keith Marzullo: Detecting Malicious Packet Losses. IEEE Trans. Parallel Distrib. Syst. 20(2): 191-206 (2009)

Alper Tugay Mizrak, Stefan Savage, Keith Marzullo: Detecting compromised routers via packet forwarding behavior. IEEE Network 22(2): 34-39 (2008)

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

Sean Peisert, Matt Bishop, Keith Marzullo: Computer Forensics in Forensis. SADFE 2008: 102-122

Maurice Herlihy, Flavio Paiva Junqueira, Keith Marzullo, Lucia Draque Penso: Optimizing Threshold Protocols in Adversarial Structures. DISC 2008: 335-349

Flavio Junqueira, Keith Marzullo: A framework for the design of dependent-failure algorithms. Concurrency and Computation: Practice and Experience 19(17): 2255-2269 (2007)

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)

Sean Peisert, Matt Bishop, Sidney Karin, Keith Marzullo: Toward Models for Forensic Analysis. SADFE 2007: 3-15

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)

Alessandro Amoroso, Keith Marzullo: Multiple Job Scheduling in a Connection-Limited Data Parallel System. IEEE Trans. Parallel Distrib. Syst. 17(2): 125-134 (2006)

Xianan Zhang, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting: Customizable Service State Durability for Service Oriented Architectures. EDCC 2006: 119-128

Xianan Zhang, Flavio Junqueira, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting: Replicating Nondeterministic Services on Grid Environments. HPDC 2006: 105-116

Keith Marzullo: Introduction. Distributed Computing 18(1): 59 (2005)

Alper Tugay Mizrak, Yu-Chung Cheng, Keith Marzullo, Stefan Savage: Fatih: Detecting and Isolating Malicious Routers. DSN 2005: 538-547

Flavio Paiva Junqueira, Keith Marzullo: Replication Predicates for Dependent-Failure Algorithms. Euro-Par 2005: 617-632

Flavio Paiva Junqueira, Ranjita Bhagwan, Alejandro Hevia, Keith Marzullo, Geoffrey M. Voelker: Surviving Internet Catastrophes. USENIX Annual Technical Conference, General Track 2005: 45-60

Flavio Paiva Junqueira, Keith Marzullo: Coterie Availability in Sites. DISC 2005: 3-17

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

Alper Tugay Mizrak, Keith Marzullo, Stefan Savage: Brief announcement: detecting malicious routers. PODC 2004: 369

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)

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)

Flavio Paiva Junqueira, Keith Marzullo: Designing Algorithms for Dependent Process Failures. Future Directions in Distributed Computing 2003: 24-28

Dmitrii Zagorodnov, Keith Marzullo, Lorenzo Alvisi, Thomas C. Bressoud: Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP. DSN 2003: 393-402

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

Flavio Paiva Junqueira, Keith Marzullo: Synchronous Consensus for Dependent Process Failure. ICDCS 2003: 274-283

Kjetil Jacobsen, Xianan Zhang, Keith Marzullo: Group Membership and Wide-Area Master-Worker Computations. ICDCS 2003: 570-

Renata Teixeira, Keith Marzullo, Stefan Savage, Geoffrey M. Voelker: In search of path diversity in ISP networks. Internet Measurement Comference 2003: 313-318

Renata Teixeira, Keith Marzullo, Stefan Savage, Geoffrey M. Voelker: Characterizing and measuring path diversity of internet topologies. SIGMETRICS 2003: 304-305

Lorenzo Alvisi, Karan Bhatia, Keith Marzullo: Causality tracking in causal message-logging protocols. Distributed Computing 15(1): 1-15 (2002)

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)

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

Dag Johansen, Kåre J. Lauvset, Keith Marzullo: An Extensible Software Architecture for Mobile Components. ECBS 2002: 231-237

Kåre J. Lauvset, Dag Johansen, Keith Marzullo: Factoring Mobile Agents. ECBS 2002: 253-257

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

Karan Bhatia, Keith Marzullo, Lorenzo Alvisi: Scalable Causal Message Logging for Wide-Area Environments. Euro-Par 2001: 864-873

Kåre J. Lauvset, Kjetil Jacobsen, Dag Johansen, Keith Marzullo: Separating Mobility from Mobile Agents. HotOS 2001: 173

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

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

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

Jeremy B. Sussman, Idit Keidar, Keith Marzullo: Optimistic Virtual Synchrony. SRDS 2000: 42-51

Meng-Jang Lin, Keith Marzullo, Stefano Masini: Gossip versus Deterministically Constrained Flooding on Small Networks. DISC 2000: 253-267

Chanathip Namprempre, Jeremy B. Sussman, Keith Marzullo: Implementing Causal Logging Using OrbixWeb Interception. COOTS 1999: 57-68

Meng-Jang Lin, Keith Marzullo: Directional Gossip: Gossip in a Wide Area Network. EDCC 1999: 364-379

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

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

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

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

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

Karan Bhatia, Keith Marzullo, Lorenzo Alvisi: The Relative Overhead of Piggybacking in Causal Message Logging Protocols. SRDS 1998: 348-353

Jeremy B. Sussman, Keith Marzullo: The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System. DISC 1998: 363-377

Matthew Clegg, Keith Marzullo: Predicting Physical Processes in the Presence of Faulty Sensor Readings. FTCS 1997: 373-378

Matthew Clegg, Keith Marzullo: A low-cost processor group membership protocol for a hard real-time distributed system. RTSS 1997: 90-98

Lorenzo Alvisi, Keith Marzullo: Trade-Offs in Implementing Optimal Message Logging Protocols. PODC 1996: 58-67

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

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

Özalp Babaoglu, Keith Marzullo (Eds.): Distributed Algorithms, 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996, Proceedings. Lecture Notes in Computer Science 1151, Springer 1996, isbn 3-540-61769-8

Lorenzo Alvisi, Keith Marzullo: Message Logging: Pessimistic, Optimistic, and Causal. ICDCS 1995: 229-236

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

Keith Marzullo, Laura S. Sabel: Efficient Detection of a Class of Stable Properties. Distributed Computing 8(2): 81-91 (1994)

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

Lorenzo Alvisi, Keith Marzullo: Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures. Dagstuhl Seminar on Distributed Systems 1994: 111-120

Laura S. Sabel, Keith Marzullo: Simulating Fail-Stop in Asynchronous Distributed Systems. PODC 1994: 399

Laura S. Sabel, Keith Marzullo: Simulating Fail-Stop in Asynchronous Distributed Systems. SRDS 1994: 138-147

Özalp Babaoglu, Keith Marzullo, Fred B. Schneider: A Formalization of Priority Inversion. Real-Time Systems 5(4): 285-303 (1993)

Carlos Almeida, Bradford B. Glade, Keith Marzullo: High Availability in a Real-Time System. Operating Systems Review 27(2): 82-87 (1993)

Lorenzo Alvisi, Bruce Hoppe, Keith Marzullo: Nonblocking and Orphan-Free Message Logging Protocols. FTCS 1993: 145-154

Keith Marzullo: A Toolkit for Building Reactive Systems or A Minute on Meta (Abstract). Operating Systems Review 26(2): 23 (1992)

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

Navin Budhiraja, Keith Marzullo, Fred B. Schneider, Sam Toueg: Optimal Primary-Backup Protocols. WDAG 1992: 362-378

Navin Budhiraja, Keith Marzullo: Highly-Available Services Using the Primary-Backup Approach. Workshop on the Management of Replicated Data 1992: 47-50

Keith Marzullo, Robert Cooper, Mark D. Wood, Kenneth P. Birman: Tools for Distributed Application Management. IEEE Computer 24(8): 42-51 (1991)

Keith Marzullo, Mark D. Wood: Making Real-Time Reactive Systems Reliable. Operating Systems Review 25(1): 45-48 (1991)

Robert Cooper, Keith Marzullo: Consistent Detection of Global Predicates. Workshop on Parallel and Distributed Debugging 1991: 167-174

Fred B. Schneider, Bard Bloom, Keith Marzullo: Putting Time into Proof Outlines. REX Workshop 1991: 618-639

Paul Chew, Keith Marzullo: Masking Failures of Multidimensional Sensors. SRDS 1991: 32-41

Keith Marzullo, Gil Neiger: Detection of Global State Predicates. WDAG 1991: 254-272

Keith Marzullo, Laura S. Sabel: Using Consistent Subcuts for Detecting Stable Properties. WDAG 1991: 273-288

Keith Marzullo: Tolerating Failures of Continuous-Valued Sensors. ACM Trans. Comput. Syst. 8(4): 284-304 (1990)

Keith Marzullo, Mark D. Wood: Making real-time reactive systems reliable. ACM SIGOPS European Workshop 1990

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

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

Keith Marzullo, Frank B. Schmuck: Supplying High Availability with a Standard Network File System. ICDCS 1988: 447-453

Keith Marzullo: Configuration Management for Modular System. SCM 1988: 405-408

Keith Marzullo, Douglas Wiebe: Jasmine: a software system modelling facility. SDE 1986: 121-130

Keith Marzullo, Susan S. Owicki: Maintaining the Time in a Distributed System. Operating Systems Review 19(3): 44-54 (1985)

Keith Marzullo, Susan S. Owicki: Maintaining the Time in a Distributed System. PODC 1983: 295-305