Enforcing isolation and ordering in STM. - Tatiana Shpeisman; Vijay Menon 002; Ali-Reza Adl-Tabatabai; Steven Balensiefer; Dan Grossman; Richard L. Hudson; Katherine F. Moore; Bratin Saha (PLDI, 2007)

A Model of Dynamic Separation for Transactional Memory. - Martín Abadi; Tim Harris 001; Katherine F. Moore (CONCUR, 2008)

High-level small-step operational semantics for transactions. - Katherine F. Moore; Dan Grossman (POPL, 2008)

Query Containment of Tier-2 Queries over a Probabilistic Database. - Katherine F. Moore; Vibhor Rastogi; Christopher Ré; Dan Suciu (MUD, 2009)

WHY SO? or WHY NO? Functional Causality for Explaining Query Answers. - Alexandra Meliou; Wolfgang Gatterbauer; Katherine F. Moore; Dan Suciu (MUD, 2010)

Causality in Databases. - Alexandra Meliou; Wolfgang Gatterbauer; Joseph Y. Halpern; Christoph Koch 001; Katherine F. Moore; Dan Suciu (IEEE Data Eng. Bull., 2010)

The Complexity of Causality and Responsibility for Query Answers and non-Answers. - Alexandra Meliou; Wolfgang Gatterbauer; Katherine F. Moore; Dan Suciu (Proc. VLDB Endow., 2010)