Mark R. Tuttle
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
14
Active years
1986–2020
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ICSE | Code-level model checking in the software development workflow. | Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle |
| 2018 | CAV | Model Checking Boot Code from AWS Data Centers. | Byron Cook, Kareem Khazem, Daniel Kroening, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle |
| 2012 | CADE | SMT-Based System Verification with DVF. | Amit Goel, Sava Krstic, Rebekah Leslie, Mark R. Tuttle |
| 2012 | NCA | Protocol Proof Checking Simplified with SMT. | Mark R. Tuttle, Amit Goel |
| 2011 | PODC | Transforming worst-case optimal solutions for simultaneous tasks into all-case optimal solutions. | Maurice Herlihy, Yoram Moses, Mark R. Tuttle |
| 2009 | FMCAD | Protocol verification using flows: An industrial experience. | John W. O'Leary, Murali Talupur, Mark R. Tuttle |
| 2009 | ICDCS | Model Checking Transactional Memory with Spin. | John W. O'Leary, Bratin Saha, Mark R. Tuttle |
| 2008 | FMCAD | Going with the Flow: Parameterized Verification Using Message Flows. | Murali Talupur, Mark R. Tuttle |
| 2008 | PODC | Extracting models from design documents with mapster. | David James, Tim Leonard, John W. O'Leary, Murali Talupur, Mark R. Tuttle |
| 2008 | PODC | Model checking transactional memory with spin. | John W. O'Leary, Bratin Saha, Mark R. Tuttle |
| 2008 | SPAA | Many random walks are faster than one. | Noga Alon, Chen Avin, Michal Kouck, Gady Kozma, Zvi Lotker, Mark R. Tuttle |
| 2007 | FMCAD | Verifying Correctness of Transactional Memories. | Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck |
| 2006 | SPAA | Publish and perish: definition and analysis of an | Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle |
| 2005 | ICDCS | Adaptive Collaboration in Peer-to-Peer Systems. | Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle |
| 2005 | SODA | Improved recommendation systems. | Baruch Awerbuch, Boaz Patt-Shamir, David Peleg, Mark R. Tuttle |
| 2005 | SPAA | Collaborate with strangers to find own preferences. | Baruch Awerbuch, Yossi Azar, Zvi Lotker, Boaz Patt-Shamir, Mark R. Tuttle |
| 2003 | SIGMOD | A Theory of Redo Recovery. | David B. Lomet, Mark R. Tuttle |
| 1999 | FM | Cache Coherence Verification with TLA+. | Homayoon Akhiani, Damien Doligez, Paul Harter, Leslie Lamport, Joshua Scheid, Mark R. Tuttle, Yuan Yu |
| 1999 | SIGMOD | Logical Logging to Extend Recovery to New Domains. | David B. Lomet, Mark R. Tuttle |
| 1998 | PODC | Unifying Synchronous and Asynchronous Message-Passing Models. | Maurice Herlihy, Sergio Rajsbaum, Mark R. Tuttle |
| 1995 | VLDB | Redo Recovery after System Crashes. | David B. Lomet, Mark R. Tuttle |
| 1993 | FOCS | A Tight Lower Bound for k-Set Agreement | Soma Chaudhuri, Maurice Herlihy, Nancy A. Lynch, Mark R. Tuttle |
| 1991 | PODC | A Semantics for a Logic of Authentication (Extended Abstract). | Martn Abadi, Mark R. Tuttle |
| 1990 | PODC | Lower Bounds for Wait-Free Computation in Message-Passing Systems. | Maurice Herlihy, Mark R. Tuttle |
| 1989 | PODC | Knowledge, Probability, and Adversaries. | Joseph Y. Halpern, Mark R. Tuttle |
| 1988 | STOC | A Knowledge-Based Analysis of Zero Knowledge (Preliminary Report) | Joseph Y. Halpern, Yoram Moses, Mark R. Tuttle |
| 1987 | PODC | Hierarchical Correctness Proofs for Distributed Algorithms. | Nancy A. Lynch, Mark R. Tuttle |
| 1986 | FOCS | Programming Simultaneous Actions Using Common Knowledge: Preliminary Version | Yoram Moses, Mark R. Tuttle |