Michael Merritt

According to our database, Michael Merritt authored at least 69 papers between 1981 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of two.

2024

On-manifold projected gradient descent.

Aaron Mahler, Tyrus Berry, Tom Stephens, Harbir Antil, Michael Merritt, Jeanie Schreiber, Ioannis G. Kevrekidis

Frontiers Comput. Sci., 2024

A Framework for Variational Inference of Lightweight Bayesian Neural Networks with Heteroscedastic Uncertainties.

David J. Schodt, Ryan C. Brown, Michael Merritt, Samuel Park, Delsin Menolascino, Mark A. Peot

CoRR, 2024

2021

Multiscale Global Sensitivity Analysis for Stochastic Chemical Systems.

Michael Merritt, Alen Alexanderian, Pierre-Alain Gremaud

Multiscale Model. Simul., 2021

Global sensitivity analysis of rare event probabilities.

Michael Merritt, Alen Alexanderian, Pierre-Alain Gremaud

CoRR, 2021

2016

A reconfigurable architecture to support dynamic communications, radar, and sensing.

Michael Merritt, Timothy Brothers, Andrew Stark, Jeffrey Rada, Debbie Nielsen, Kyle Davis, Benjamin B. Yang, Chris Ward, Margaret Quiggle

Proceedings of the 2016 IEEE Military Communications Conference, 2016

2013

Computing with infinitely many processes.

Michael Merritt, Gadi Taubenfeld

Inf. Comput., 2013

Plenary talk.

Michael Merritt

Proceedings of the ACM Symposium on Principles of Distributed Computing, 2013

2008

Sequentially consistent versus linearizable counting networks.

Marios Mavronicolas, Michael Merritt, Gadi Taubenfeld

Distributed Comput., 2008

Group Renaming.

Yehuda Afek, Iftah Gamzu, Irit Levy, Michael Merritt, Gadi Taubenfeld

Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

2005

Tight bounds for shared memory systems accessed by Byzantine processes.

Noga Alon, Michael Merritt, Omer Reingold, Gadi Taubenfeld, Rebecca N. Wright

Distributed Comput., 2005

2003

Objects shared by Byzantine processes.

Dahlia Malkhi, Michael Merritt, Michael K. Reiter, Gadi Taubenfeld

Distributed Comput., 2003

Appraising two decades of distributed computing theory research.

Michael J. Fischer, Michael Merritt

Distributed Comput., 2003

Resilient Consensus for Infinitely Many Processes.

Michael Merritt, Gadi Taubenfeld

Proceedings of the Distributed Computing, 17th International Conference, 2003

2002

Restoration by path concatenation: fast recovery of MPLS paths.

Yehuda Afek, Anat Bremler-Barr, Haim Kaplan, Edith Cohen, Michael Merritt

Distributed Comput., 2002

Tight Bounds for Shared Memory Systems Accessed by Byzantine Processes.

Michael Merritt, Omer Reingold, Gadi Taubenfeld, Rebecca N. Wright

Proceedings of the Distributed Computing, 16th International Conference, 2002

2001

Restoration path concatenation: fast recovery of MPLS paths.

Anat Bremler-Barr, Yehuda Afek, Haim Kaplan, Edith Cohen, Michael Merritt

Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, 2001

The concurrency hierarchy, and algorithms for unbounded concurrency.

Eli Gafni, Michael Merritt, Gadi Taubenfeld

Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, 2001

2000

Secure Reliable Multicast Protocols in a WAN.

Dahlia Malkhi, Michael Merritt, Ohad Rodeh

Distributed Comput., 2000

1999

The Power of Multiobjects.

Yehuda Afek, Michael Merritt, Gadi Taubenfeld

Inf. Comput., 1999

Modelling Asynchrony with a Synchronous Model.

Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs

Formal Methods Syst. Des., 1999

Introduction.

Michael Merritt

Distributed Comput., 1999

Secure Multicast in a WAN

Dahlia Malkhi, Michael Merritt, Ohad Rodeh

CoRR, 1999

Fast, Wait-Free (2<i>k</i>)-Renaming.

Yehuda Afek, Michael Merritt

Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

1998

Fairness of Shared Objects.

Michael Merritt, Gadi Taubenfeld

Proceedings of the Distributed Computing, 12th International Symposium, 1998

1997

Efficient Test & Set Constructions for Faulty Shared Memory.

Ariel Orda, Michael Merritt

Inf. Process. Lett., 1997

Formal Verification of a Distributed Computer System.

Michael Merritt, Ariel Orda, Sonia R. Sachs

Formal Methods Syst. Des., 1997

Disentangling Multi-Object Operations (Extended Abstract).

Yehuda Afek, Michael Merritt, Gadi Taubenfeld, Dan Touitou

Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing, 1997

1996

The Power of Multi-objects (Extended Abstract).

Yehuda Afek, Michael Merritt, Gadi Taubenfeld

Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

1995

Computing With Faulty Shared Objects.

Yehuda Afek, David S. Greenberg, Michael Merritt, Gadi Taubenfeld

J. ACM, 1995

1994

A Bounded First-In, First-Enabled Solution to the l-Exclusion Problem.

Yehuda Afek, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit

ACM Trans. Program. Lang. Syst., 1994

An attack on the Interlock Protocol when used for authentication.

Steven M. Bellovin, Michael Merritt

IEEE Trans. Inf. Theory, 1994

A Structural Linearization Principle for Processes.

Robert P. Kurshan, Michael Merritt, Ariel Orda, Sonia R. Sachs

Formal Methods Syst. Des., 1994

Atomic m-Register Operations.

Michael Merritt, Gadi Taubenfeld

Distributed Comput., 1994

Composing system integrity using I/O automata.

Edward Amoroso, Michael Merritt

Proceedings of the 10th Annual Computer Security Applications Conference, 1994

1993

Lazy Caching.

Yehuda Afek, Geoffrey M. Brown, Michael Merritt

ACM Trans. Program. Lang. Syst., 1993

Atomic Snapshots of Shared Memory.

Yehuda Afek, Hagit Attiya, Danny Dolev, Eli Gafni, Michael Merritt, Nir Shavit

J. ACM, 1993

Speeding Lamport's Fast Mutual Exclusion Algorithm.

Michael Merritt, Gadi Taubenfeld

Inf. Process. Lett., 1993

Knowledge in Shared Memory Systems.

Michael Merritt, Gadi Taubenfeld

Distributed Comput., 1993

Benign Failure Models for Shared Memory (Preliminary Version).

Yehuda Afek, Michael Merritt, Gadi Taubenfeld

Proceedings of the Distributed Algorithms, 7th International Workshop, 1993

Augmented Encrypted Key Exchange: A Password-Based Protocol Secure against Dictionary Attacks and Password File Compromise.

Steven M. Bellovin, Michael Merritt

Proceedings of the CCS '93, 1993

Atomic Transactions

Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete

Morgan Kaufmann series in data management systems, Morgan Kaufmann, ISBN: 1-55860-104-X, 1993

1992

On the Correctness of Orphan Management Algorithms.

Maurice Herlihy, Nancy A. Lynch, Michael Merritt, William E. Weihl

J. ACM, 1992

Specifying Non-Blocking Shared Memories (Extended Abstract).

Phillip B. Gibbons, Michael Merritt

Proceedings of the 4th Annual ACM Symposium on Parallel Algorithms and Architectures, 1992

Encrypted key exchange: password-based protocols secure against dictionary attacks.

Steven M. Bellovin, Michael Merritt

Proceedings of the 1992 IEEE Computer Society Symposium on Research in Security and Privacy, 1992

Computing with Faulty Shared Memory (Extended Abstract).

Yehuda Afek, David S. Greenberg, Michael Merritt, Gadi Taubenfeld

Proceedings of the Eleventh Annual ACM Symposium on Principles of Distributed Computing, 1992

1991

Atomic m-Register Operations (Extended Abstract).

Michael Merritt, Gadi Taubenfeld

Proceedings of the Distributed Algorithms, 5th International Workshop, 1991

Proving Sequential Consistency of High-Performance Shared Memories (Extended Abstract).

Phillip B. Gibbons, Michael Merritt, Kourosh Gharachorloo

Proceedings of the 3rd Annual ACM Symposium on Parallel Algorithms and Architectures, 1991

Knowledge in Shared Memory Systems (Preliminary Version).

Michael Merritt, Gadi Taubenfeld

Proceedings of the Tenth Annual ACM Symposium on Principles of Distributed Computing, 1991

Time-Constrained Automata (Extended Abstract)

Michael Merritt, Francesmary Modugno, Marc R. Tuttle

Proceedings of the CONCUR '91, 1991

1990

Commutativity-Based Locking for Nested Transactions.

Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl

J. Comput. Syst. Sci., 1990

Limitations of the Kerberos authentication system.

Steven M. Bellovin, Michael Merritt

Comput. Commun. Rev., 1990

1989

Simple constant-time consensus protocols in realistic failure models.

Benny Chor, Michael Merritt, David B. Shmoys

J. ACM, 1989

A Lazy Cache Algorithm.

Yehuda Afek, Geoffrey M. Brown, Michael Merritt

Proceedings of the ACM Symposium on Parallel Algorithms and Architectures, 1989

Completeness Theorems for Automata.

Michael Merritt

Proceedings of the Stepwise Refinement of Distributed Systems, 1989

Towards a Theory of Cryptographic Systems: A Critique of Crypto-Complexity.

Michael Merritt

Proceedings of the Distributed Computing And Cryptography, 1989

Open Questions, Talk Abstracts, and Summary of Discussions.

Joan Feigenbaum, Michael Merritt

Proceedings of the Distributed Computing And Cryptography, 1989

1988

Introduction to the Theory of Nested Transactions.

Nancy A. Lynch, Michael Merritt

Theor. Comput. Sci., 1988

A Theory of Timestamp-Based Concurrency Control for Nested Transactions.

James Aspnes, Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl

Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988

A Theory of Atomic Transactions.

Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan D. Fekete

Proceedings of the ICDT'88, 2nd International Conference on Database Theory, Bruges, Belgium, August 31, 1988

1987

Nested Transactions and Read/Write Locking.

Alan D. Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl

Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987

1986

Easy Impossibility Proofs for Distributed Consensus Problems.

Michael J. Fischer, Nancy A. Lynch, Michael Merritt

Distributed Comput., 1986

1985

Simple Constant-Time Consensus Protocols in Realistic Failure Models (Extended Abstract).

Benny Chor, Michael Merritt, David B. Shmoys

Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

1984

A Distributed Algorithm for Deadlock Detection and Resolution.

Don P. Mitchell, Michael Merritt

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

Elections in the Presence of Faults.

Michael Merritt

Proceedings of the Third Annual ACM Symposium on Principles of Distributed Computing, 1984

Poker Protocols.

Steven Fortune, Michael Merritt

Proceedings of the Advances in Cryptology, 1984

1983

Protocols for Data Security.

Richard A. DeMillo, Michael Merritt

Computer, 1983

1982

Cryptographic Protocols

Richard A. DeMillo, Nancy A. Lynch, Michael Merritt

Proceedings of the 14th Annual ACM Symposium on Theory of Computing, 1982

Key Reconstruction.

Michael Merritt

Proceedings of the Advances in Cryptology: Proceedings of CRYPTO '82, 1982

1981

The Design and Analysis of Cryptographic Protocols.

Richard A. DeMillo, Nancy A. Lynch, Michael Merritt

Proceedings of the Advances in Cryptology: A Report on CRYPTO 81, 1981