Keith Marzullo

108 papers A* 12A 23B 4C 3Misc 3Journal 28Unranked 33

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Challenges in Evaluating Technological Interventions for Affect Regulation. IEEE Trans. Affect. Comput. Pardis Miri, Horia Margarit, Andero Uusberg, Keith Marzullo, Tali M. Ball, Daniel Yamins, Robert Flory, James J. Gross
2022	A*	`conf`	FAR: End-to-End Vibrotactile Distributed System Designed to Facilitate Affect Regulation in Children Diagnosed with Autism Spectrum Disorder Through Slow Breathing. CHI 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, Daniel L. K. Yamins, Lawrence Fung, Antonio Hardan, James J. Gross, Keith Marzullo
2020	A*	`conf`	Evaluating a Personalizable, Inconspicuous Vibrotactile(PIV) Breathing Pacer for In-the-Moment Affect Regulation. CHI Pardis Miri, Emily Jusuf, Andero Uusberg, Horia Margarit, Robert Flory, Katherine Isbister, Keith Marzullo, James J. Gross
2020	J	`jnl`	Evolving Methods for Evaluating and Disseminating Computing Research. CoRR Benjamin Zorn, Tom Conte, Keith Marzullo, Suresh Venkatasubramanian
2020	J	`jnl`	PIV: Placement, Pattern, and Personalization of an Inconspicuous Vibrotactile Breathing Pacer. ACM Trans. Comput. Hum. Interact. Pardis Miri, Robert Flory, Andero Uusberg, Heather Culbertson, Richard H. Harvey, Agata Kelman, Davis Erik Peper, James J. Gross, Katherine Isbister, Keith Marzullo
2018	—	`conf`	Emotion Regulation in the Wild: Introducing WEHAB System Architecture. CHI Extended Abstracts Pardis Miri, Andero Uusberg, Heather Culbertson, Robert Flory, Helen Uusberg, James J. Gross, Keith Marzullo, Katherine Isbister
2017	J	`jnl`	Local Recovery for High Availability in Strongly Consistent Cloud Services. IEEE Trans. Dependable Secur. Comput. James W. Anderson, Hein Meling, Alexander Rasmussen, Amin Vahdat, Keith Marzullo
2014	—	`ed.`	10th Workshop on Hot Topics in System Dependability, HotDep '14, Broomfield, CO, USA, October 5, 2014. HotDep Flavio Junqueira, Keith Marzullo
2013	A	`conf`	Aspen trees: balancing data center fault tolerance, scalability and cost. CoNEXT Meg Walraed-Sullivan, Amin Vahdat, Keith Marzullo
2012	J	`jnl`	Announcing the 2012 Edsger W. Dijkstra prize in distributed computing. SIGARCH Comput. Archit. News Marcos K. Aguilera, Dahlia Malkhi, Keith Marzullo, Alessandro Panconesi, Andrzej Pelc, Roger Wattenhofer
2012	A	`conf`	When You Don't Trust Clients: Byzantine Proposer Fast Paxos. ICDCS Hein Meling, Keith Marzullo, Alessandro Mei
2011	—	`conf`	ALIAS: scalable, decentralized label assignment for data centers. SoCC Meg Walraed-Sullivan, Radhika Niranjan Mysore, Malveeka Tewari, Ying Zhang, Keith Marzullo, Amin Vahdat
2011	A	`conf`	Brief Announcement: A Randomized Algorithm for Label Assignment in Dynamic Networks. DISC Meg Walraed-Sullivan, Radhika Niranjan Mysore, Keith Marzullo, Amin Vahdat
2011	A	`conf`	Brief Announcement: When You Don't Trust Clients: Byzantine Proposer Fast Paxos. DISC Keith Marzullo, Hein Meling, Alessandro Mei
2010	J	`jnl`	Threshold protocols in survivor set systems. Distributed Comput. Flavio Paiva Junqueira, Keith Marzullo, Maurice Herlihy, Lucia Draque Penso
2009	J	`jnl`	Detecting Malicious Packet Losses. IEEE Trans. Parallel Distributed Syst. Alper Tugay Mizrak, Stefan Savage, Keith Marzullo
2009	J	`jnl`	Practical and low-overhead masking of failures of TCP-based servers. ACM Trans. Comput. Syst. Dmitrii Zagorodnov, Keith Marzullo, Lorenzo Alvisi, Thomas C. Bressoud
2008	—	`conf`	Computer Forensics in Forensis. SADFE Sean Peisert, Matt Bishop, Keith Marzullo
2008	J	`jnl`	Detecting compromised routers via packet forwarding behavior. IEEE Netw. Alper Tugay Mizrak, Stefan Savage, Keith Marzullo
2008	—	`conf`	Locality aware redundancy allocation in nanoelectronic systems. NANOARCH Wenjing Rao, Alex Orailoglu, Keith Marzullo
2008	A*	`conf`	Mencius: Building Efficient Replicated State Machine for WANs. OSDI Yanhua Mao, Flavio Paiva Junqueira, Keith Marzullo
2008	A	`conf`	Optimizing Threshold Protocols in Adversarial Structures. DISC Maurice Herlihy, Flavio Paiva Junqueira, Keith Marzullo, Lucia Draque Penso
2007	J	`jnl`	A framework for the design of dependent-failure algorithms. Concurr. Comput. Pract. Exp. Flavio Junqueira, Keith Marzullo
2007	J	`jnl`	Analysis of Computer Intrusions Using Sequences of Function Calls. IEEE Trans. Dependable Secur. Comput. Sean Peisert, Matt Bishop, Sidney Karin, Keith Marzullo
2007	—	`conf`	Toward Models for Forensic Analysis. SADFE Sean Peisert, Matt Bishop, Sidney Karin, Keith Marzullo
2006	Misc	`conf`	Customizable Service State Durability for Service Oriented Architectures. EDCC Xianan Zhang, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting
2006	J	`jnl`	Detecting and Isolating Malicious Routers. IEEE Trans. Dependable Secur. Comput. Alper Tugay Mizrak, Yuchung Cheng, Keith Marzullo, Stefan Savage
2006	J	`jnl`	Multiple Job Scheduling in a Connection-Limited Data Parallel System. IEEE Trans. Parallel Distributed Syst. Alessandro Amoroso, Keith Marzullo
2006	A	`conf`	Replicating Nondeterministic Services on Grid Environments. HPDC Xianan Zhang, Flavio Junqueira, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting
2005	A	`conf`	Coterie Availability in Sites. DISC Flavio Paiva Junqueira, Keith Marzullo
2005	A	`conf`	Fatih: Detecting and Isolating Malicious Routers. DSN Alper Tugay Mizrak, Yuchung Cheng, Keith Marzullo, Stefan Savage
2005	J	`jnl`	Introduction. Distributed Comput. Keith Marzullo
2005	C	`conf`	Principles-driven forensic analysis. NSPW Sean Peisert, Sidney Karin, Matt Bishop, Keith Marzullo
2005	—	`conf`	Replication Predicates for Dependent-Failure Algorithms. Euro-Par Flavio Paiva Junqueira, Keith Marzullo
2005	—	`conf`	Surviving Internet Catastrophes. USENIX ATC, General Track Flavio Paiva Junqueira, Ranjita Bhagwan, Alejandro Hevia, Keith Marzullo, Geoffrey M. Voelker
2004	A*	`conf`	Brief announcement: detecting malicious routers. PODC Alper Tugay Mizrak, Keith Marzullo, Stefan Savage
2004	C	`conf`	Fault-tolerant grid services using primary-backup: feasibility and performance. CLUSTER Xianan Zhang, Dmitrii Zagorodnov, Matti A. Hiltunen, Keith Marzullo, Richard D. Schlichting
2003	A*	`conf`	Characterizing and measuring path diversity of internet topologies. SIGMETRICS Renata Teixeira, Keith Marzullo, Stefan Savage, Geoffrey M. Voelker
2003	—	`conf`	Designing Algorithms for Dependent Process Failures. Future Directions in Distributed Computing Flavio Paiva Junqueira, Keith Marzullo
2003	A	`conf`	Engineering Fault-Tolerant TCP/IP Servers Using FT-TCP. DSN Dmitrii Zagorodnov, Keith Marzullo, Lorenzo Alvisi, Thomas C. Bressoud
2003	A	`conf`	Group Membership and Wide-Area Master-Worker Computations. ICDCS Kjetil Jacobsen, Xianan Zhang, Keith Marzullo
2003	A	`conf`	In search of path diversity in ISP networks. Internet Measurement Conference Renata Teixeira, Keith Marzullo, Stefan Savage, Geoffrey M. Voelker
2003	J	`jnl`	Scalable causal message logging for wide-area environments. Concurr. Comput. Pract. Exp. Karan Bhatia, Keith Marzullo, Lorenzo Alvisi
2003	A	`conf`	Synchronous Consensus for Dependent Process Failure. ICDCS Flavio Paiva Junqueira, Keith Marzullo
2003	J	`jnl`	The Bancomat problem: an example of resource allocation in a partitionable asynchronous system. Theor. Comput. Sci. Jeremy B. Sussman, Keith Marzullo
2003	A	`conf`	The Phoenix Recovery System: Rebuilding from the Ashes of an Internet Catastrophe. HotOS Flavio Paiva Junqueira, Ranjita Bhagwan, Keith Marzullo, Stefan Savage, Geoffrey M. Voelker
2002	—	`conf`	An Extensible Software Architecture for Mobile Components. ECBS Dag Johansen, Kåre J. Lauvset, Keith Marzullo
2002	J	`jnl`	Causality tracking in causal message-logging protocols. Distributed Comput. Lorenzo Alvisi, Karan Bhatia, Keith Marzullo
2002	A	`conf`	Dependability and the Grid: Issues and Challenges. DSN Richard D. Schlichting, Andrew A. Chien, Carl Kesselman, Keith Marzullo, James S. Plank, Santosh K. Shrivastava
2002	—	`conf`	Factoring Mobile Agents. ECBS Kåre J. Lauvset, Dag Johansen, Keith Marzullo
2002	J	`jnl`	Moshe: A group membership service for WANs. ACM Trans. Comput. Syst. Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev
2002	—	`conf`	Open Research Issues in Building Dependable Middleware (Panel). WORDS Priya Narasimhan, Keith Marzullo, P. M. Melliar-Smith, Andreas Polze, Douglas C. Schmidt
2001	A*	`ed.`	Proceedings of the 18th ACM Symposium on Operating System Principles, SOSP 2001, Chateau Lake Louise, Banff, Alberta, Canada, October 21-24, 2001 SOSP Keith Marzullo, Mahadev Satyanarayanan
2001	—	`conf`	Scalable Causal Message Logging for Wide-Area Environments. Euro-Par Karan Bhatia, Keith Marzullo, Lorenzo Alvisi
2001	A	`conf`	Separating Mobility from Mobile Agents. HotOS Kåre J. Lauvset, Kjetil Jacobsen, Dag Johansen, Keith Marzullo
2001	Misc	`conf`	TOS: kernel support for distributed systems management. SAC Kåre J. Lauvset, Dag Johansen, Keith Marzullo
2001	A*	`conf`	Wrapping Server-Side TCP to Mask Connection Failures. INFOCOM Lorenzo Alvisi, Thomas C. Bressoud, Ayman El-Khashab, Keith Marzullo, Dmitrii Zagorodnov
2000	A	`conf`	A Client-Server Oriented Algorithm for Virtually Synchronous Group Membership in WANs. ICDCS Idit Keidar, Jeremy B. Sussman, Keith Marzullo, Danny Dolev
2000	A	`conf`	Gossip versus Deterministically Constrained Flooding on Small Networks. DISC Meng-Jang Lin, Keith Marzullo, Stefano Masini
2000	B	`conf`	Optimistic Virtual Synchrony. SRDS Jeremy B. Sussman, Idit Keidar, Keith Marzullo
1999	Misc	`conf`	Directional Gossip: Gossip in a Wide Area Network. EDCC Meng-Jang Lin, Keith Marzullo
1999	—	`conf`	Implementing Causal Logging Using OrbixWeb Interception. COOTS Chanathip Namprempre, Jeremy B. Sussman, Keith Marzullo
1999	A	`conf`	NAP: Practical Fault-Tolerance for Itinerant Computations. ICDCS Dag Johansen, Keith Marzullo, Fred B. Schneider, Kjetil Jacobsen, Dmitrii Zagorodnov
1999	—	`conf`	The Computational Co-op: Gathering Clusters into a Metacomputer. IPPS/SPDP Walfredo Cirne, Keith Marzullo
1998	C	`conf`	A New Model for Availability in the Face of Self-Propagating Attacks. Workshop on New Security Paradigms Meng-Jang Lin, Aleta Ricciardi, Keith Marzullo
1998	J	`jnl`	Message Logging: Pessimistic, Optimistic, Causal, and Optimal. IEEE Trans. Software Eng. Lorenzo Alvisi, Keith Marzullo
1998	A	`conf`	The Bancomat Problem: An Example of Resource Allocation in a Partitionable Asynchronous System. DISC Jeremy B. Sussman, Keith Marzullo
1998	B	`conf`	The Relative Overhead of Piggybacking in Causal Message Logging Protocols. SRDS Karan Bhatia, Keith Marzullo, Lorenzo Alvisi
1998	A	`conf`	Wide-Area Nile: A Case Study of a Wide-Area Data-Parallel Application. ICDCS Alessandro Amoroso, Keith Marzullo, Aleta Ricciardi
1997	A	`conf`	A low-cost processor group membership protocol for a hard real-time distributed system. RTSS Matthew Clegg, Keith Marzullo
1997	—	`conf`	Predicting Physical Processes in the Presence of Faulty Sensor Readings. FTCS Matthew Clegg, Keith Marzullo
1996	A*	`conf`	Comparing Primary-Backup and State Machines for Crash Failures (Abstract). PODC Jeremy B. Sussman, Keith Marzullo
1996	—	`ed.`	Distributed Algorithms, 10th International Workshop, WDAG '96, Bologna, Italy, October 9-11, 1996, Proceedings WDAG Özalp Babaoglu, Keith Marzullo
1996	—	`conf`	NILE: wide-area computing for high energy physics. ACM SIGOPS European Workshop Keith Marzullo, Michael Ogg, Aleta Ricciardi, Alessandro Amoroso, F. Andrew Calkins, Eric Rothfus
1996	A*	`conf`	Trade-Offs in Implementing Optimal Message Logging Protocols. PODC Lorenzo Alvisi, Keith Marzullo
1995	A*	`conf`	Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures (Abstract). PODC Lorenzo Alvisi, Keith Marzullo
1995	A	`conf`	Message Logging: Pessimistic, Optimistic, and Causal. ICDCS Lorenzo Alvisi, Keith Marzullo
1995	—	`conf`	Tradeoffs in implementing primary-backup protocols. SPDP Navin Budhiraja, Keith Marzullo
1994	—	`conf`	Deriving Optimal Checkpoint Protocols for Distributed Shared Memory Architectures. Dagstuhl Seminar on Distributed Systems Lorenzo Alvisi, Keith Marzullo
1994	J	`jnl`	Efficient Detection of a Class of Stable Properties. Distributed Comput. Keith Marzullo, Laura S. Sabel
1994	—	`conf`	New Applications for Group Computing. Dagstuhl Seminar on Distributed Systems Robbert van Renesse, Kenneth P. Birman, Thorsten von Eicken, Keith Marzullo
1994	A*	`conf`	Simulating Fail-Stop in Asynchronous Distributed Systems. PODC Laura S. Sabel, Keith Marzullo
1994	B	`conf`	Simulating Fail-Stop in Asynchronous Distributed Systems. SRDS Laura S. Sabel, Keith Marzullo
1993	J	`jnl`	A Formalization of Priority Inversion. Real Time Syst. Özalp Babaoglu, Keith Marzullo, Fred B. Schneider
1993	J	`jnl`	High Availability in a Real-Time System. ACM SIGOPS Oper. Syst. Rev. Carlos Almeida, Bradford B. Glade, Keith Marzullo
1993	—	`conf`	Nonblocking and Orphan-Free Message Logging Protocols. FTCS Lorenzo Alvisi, Bruce Hoppe, Keith Marzullo
1992	J	`jnl`	A Toolkit for Building Reactive Systems or A Minute on Meta (Abstract). ACM SIGOPS Oper. Syst. Rev. Keith Marzullo
1992	—	`conf`	CORTO: High Availability in a Real-Time System. NATO ASI RTC Carlos Almeida, Keith Marzullo
1992	—	`conf`	High availability in a real-time system. ACM SIGOPS European Workshop Carlos Almeida, Bradford B. Glade, Keith Marzullo, Robbert van Renesse
1992	—	`conf`	Highly-Available Services Using the Primary-Backup Approach. Workshop on the Management of Replicated Data Navin Budhiraja, Keith Marzullo
1992	J	`jnl`	Multicast Transport Protocol. RFC Susan M. Armstrong, Alan O. Freier, Keith Marzullo
1992	—	`conf`	Optimal Primary-Backup Protocols. WDAG Navin Budhiraja, Keith Marzullo, Fred B. Schneider, Sam Toueg
1991	—	`conf`	Consistent Detection of Global Predicates. Workshop on Parallel and Distributed Debugging Robert Cooper, Keith Marzullo
1991	—	`conf`	Detection of Global State Predicates. WDAG Keith Marzullo, Gil Neiger
1991	J	`jnl`	Making Real-Time Reactive Systems Reliable. ACM SIGOPS Oper. Syst. Rev. Keith Marzullo, Mark D. Wood
1991	B	`conf`	Masking Failures of Multidimensional Sensors. SRDS Paul Chew, Keith Marzullo
1991	—	`conf`	Putting Time into Proof Outlines. REX Workshop Fred B. Schneider, Bard Bloom, Keith Marzullo
1991	J	`jnl`	Tools for Distributed Application Management. Computer Keith Marzullo, Robert Cooper, Mark D. Wood, Kenneth P. Birman
1991	—	`conf`	Using Consistent Subcuts for Detecting Stable Properties. WDAG Keith Marzullo, Laura S. Sabel
1990	—	`conf`	Deceit: A Flexible Distributed File System. USENIX Summer Alex Siegel, Kenneth P. Birman, Keith Marzullo
1990	—	`conf`	Making real-time reactive systems reliable. ACM SIGOPS European Workshop Keith Marzullo, Mark D. Wood
1990	—	`conf`	Position Paper - Deceit: A Flexible Distributed File System. Workshop on the Management of Replicated Data Alex Siegel, Kenneth P. Birman, Keith Marzullo
1990	J	`jnl`	Tolerating Failures of Continuous-Valued Sensors. ACM Trans. Comput. Syst. Keith Marzullo
1988	—	`conf`	Configuration Management for Modular System. SCM Keith Marzullo
1988	A	`conf`	Supplying High Availability with a Standard Network File System. ICDCS Keith Marzullo, Frank B. Schmuck
1986	—	`conf`	Jasmine: a software system modelling facility. SDE Keith Marzullo, Douglas Wiebe
1985	J	`jnl`	Maintaining the Time in a Distributed System. ACM SIGOPS Oper. Syst. Rev. Keith Marzullo, Susan S. Owicki
1983	A*	`conf`	Maintaining the Time in a Distributed System. PODC Keith Marzullo, Susan S. Owicki