Mark R. Tuttle

49 papers A* 14A 4B 7Journal 11Unranked 12

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