Mark R. Tuttle

Publication Activity (10 Years)

Years Active: 1986-2021
Publications (10 Years): 5

Top Topics

Software Development

Formal Verification

Computation Tree Logic

Top Venues

Publications

Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Model checking boot code from AWS data centers. Formal Methods Syst. Des. 57 (1) (2021)
Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow at Amazon Web Services. Softw. Pract. Exp. 51 (4) (2021)
Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow. ICSE (SEIP) (2020)
Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Model Checking Boot Code from AWS Data Centers. CAV (2) (2018)
Oleksandr Bazhaniuk, John Loucaides, Lee Rosenbaum, Mark R. Tuttle, Vincent Zimmer
Symbolic Execution for BIOS Security. WOOT (2015)
Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle
SMT-Based System Verification with DVF. SMT@IJCAR (2012)
Mark R. Tuttle, Amit Goel
Protocol Proof Checking Simplified with SMT. NCA (2012)
Noga Alon, Chen Avin, Michal Koucký, Gady Kozma, Zvi Lotker, Mark R. Tuttle
Many Random Walks Are Faster Than One. Comb. Probab. Comput. 20 (4) (2011)
Maurice Herlihy, Yoram Moses, Mark R. Tuttle
Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. PODC (2011)
John W. O'Leary, Murali Talupur, Mark R. Tuttle
Protocol verification using flows: An industrial experience. FMCAD (2009)
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
An Axiomatic Approach to Computing the Connectivity of Synchronous and Asynchronous Systems. Electron. Notes Theor. Comput. Sci. 230 (2009)
John W. O'Leary, Bratin Saha, Mark R. Tuttle
Model Checking Transactional Memory with Spin. ICDCS (2009)
Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle
Collaborate with Strangers to Find Own Preferences. Theory Comput. Syst. 42 (1) (2008)
Noga Alon, Chen Avin, Michal Koucký, Gady Kozma, Zvi Lotker, Mark R. Tuttle
Many random walks are faster than one. SPAA (2008)
David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle
Extracting models from design documents with mapster. PODC (2008)
John W. O'Leary, Bratin Saha, Mark R. Tuttle
Model checking transactional memory with spin. PODC (2008)
Murali Talupur, Mark R. Tuttle
Going with the Flow: Parameterized Verification Using Message Flows. FMCAD (2008)
Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle
A game of timing and visibility. Games Econ. Behav. 62 (2) (2008)
Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck
Verifying Correctness of Transactional Memories. FMCAD (2007)
Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle
-person publication impact game. SPAA (2006)
Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle
Collaborate with strangers to find own preferences. SPAA (2005)
Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle
Timing Games and Shared Memory. DISC (2005)
Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle
Adaptive Collaboration in Peer-to-Peer Systems. ICDCS (2005)
Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle
Improved recommendation systems. SODA (2005)
Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle
Collaboration of untrusting peers with changing interests. EC (2004)
David B. Lomet, Mark R. Tuttle
A Theory of Redo Recovery. SIGMOD Conference (2003)
Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark R. Tuttle, Yuan Yu
. Formal Methods Syst. Des. 22 (2) (2003)
Leslie Lamport, John Matthews, Mark R. Tuttle, Yuan Yu
Specifying and verifying systems with TLA+. ACM SIGOPS European Workshop (2002)
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
A New Synchronous Lower Bound for Set Agreement. DISC (2001)
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
An Overview of Synchronous Message-Passing and Topology. Electron. Notes Theor. Comput. Sci. 39 (2) (2001)
Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
-set agreement. J. ACM 47 (5) (2000)
David B. Lomet, Mark R. Tuttle
Logical Logging to Extend Recovery to New Domains. SIGMOD Conference (1999)
Soma Chaudhuri, Maurice Herlihy, Mark R. Tuttle
Wait-Free Implementations in Message-Passing Systems. Theor. Comput. Sci. 220 (1) (1999)
Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu
Cache Coherence Verification with TLA+. World Congress on Formal Methods (1999)
Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle
Unifying Synchronous and Asynchronous Message-Passing Models. PODC (1998)
David B. Lomet, Mark R. Tuttle
Redo Recovery after System Crashes. VLDB (1995)
Soma Chaudhuri, Mark R. Tuttle
Fast Increment Registers. WDAG (1994)
Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle
A Tight Lower Bound for k-Set Agreement FOCS (1993)
Gil Neiger, Mark R. Tuttle
Common Knowledge and Consistent Simultaneous Coordination. Distributed Comput. 6 (3) (1993)
Joseph Y. Halpern, Mark R. Tuttle
Knowledge, Probability, and Adversaries. J. ACM 40 (4) (1993)
Martín Abadi, Mark R. Tuttle
A Semantics for a Logic of Authentication (Extended Abstract). PODC (1991)
Maurice Herlihy, Mark R. Tuttle
Lower Bounds for Wait-Free Computation in Message-Passing Systems. PODC (1990)
Gil Neiger, Mark R. Tuttle
Common Knowledge and Consistent Simultaneous Coordination. WDAG (1990)
Joseph Y. Halpern, Mark R. Tuttle
Knowledge, Probability, and Adversaries. PODC (1989)
Yoram Moses, Mark R. Tuttle
Programming Simultaneous Actions Using Common Knowledge. Algorithmica 3 (1988)
Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle
A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) STOC (1988)
Nancy A. Lynch, Mark R. Tuttle
Hierarchical Correctness Proofs for Distributed Algorithms. PODC (1987)
Yoram Moses, Mark R. Tuttle
Programming Simultaneous Actions Using Common Knowledge: Preliminary Version FOCS (1986)