Travelled to:2 × USA
Collaborated with:D.Grossman A.Meliou W.Gatterbauer D.Suciu T.Shpeisman V.Menon A.Adl-Tabatabai S.Balensiefer R.L.Hudson B.Saha
Talks about:answer (2) transact (1) respons (1) complex (1) semant (1) enforc (1) causal (1) small (1) queri (1) order (1)
Person: Katherine F. Moore
DBLP: Moore:Katherine_F=
Contributed to:
2010
2008
2007Wrote 3 papers:
- VLDB-2011-MeliouGMS #complexity #query
- The Complexity of Causality and Responsibility for Query Answers and non-Answers (AM, WG, KFM, DS), pp. 34–45.
- POPL-2008-MooreG #semantics #transaction
- High-level small-step operational semantics for transactions (KFM, DG), pp. 51–62.
- PLDI-2007-ShpeismanMABGHMS #order
- Enforcing isolation and ordering in STM (TS, VM, ARAT, SB, DG, RLH, KFM, BS), pp. 78–88.