Travelled to:1 × France
1 × Switzerland
1 × United Kingdom
3 × USA
Collaborated with:D.B.Lomet J.Y.Halpern Y.Moses A.Goel S.Krstic R.Leslie B.Cook K.Khazem D.Kroening S.Tasiran M.Tautschnig H.Akhiani D.Doligez P.Harter L.Lamport J.Scheid Y.Yu
Talks about:recoveri (3) knowledg (2) system (2) verif (2) redo (2) base (2) analysi (1) theori (1) extend (1) domain (1)
Person: Mark R. Tuttle
DBLP: Tuttle:Mark_R=
Contributed to:
2012
2003
19991999
1995
1988
2018Wrote 7 papers:
- SMT-2012-GoelKLT #smt #verification
- SMT-Based System Verification with DVF (AG, SK, RL, MRT), pp. 32–43.
- SIGMOD-2003-LometT #formal method
- A Theory of Redo Recovery (DBL, MRT), pp. 397–406.
- FM-v2-1999-AkhianiDHLSTY #verification
- Cache Coherence Verification with TLA+ (HA, DD, PH, LL, JS, MRT, YY), pp. 1871–1872.
- SIGMOD-1999-LometT #logic
- Logical Logging to Extend Recovery to New Domains (DBL, MRT), pp. 73–84.
- VLDB-1995-LometT
- Redo Recovery after System Crashes (DBL, MRT), pp. 457–468.
- STOC-1988-HalpernMT #analysis #knowledge-based
- A Knowledge-Based Analysis of Zero Knowledge (JYH, YM, MRT), pp. 132–147.
- CAV-2018-CookKKTTT #model checking
- Model Checking Boot Code from AWS Data Centers (BC, KK, DK, ST, MT, MRT), pp. 467–486.