BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Moore:Katherine_F=

Contributed to:

VLDB 20112010
POPL 20082008
PLDI 20072007

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.