Katherine F. Moore

According to our database, Katherine F. Moore authored at least 7 papers between 2007 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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

A model of dynamic separation for transactional memory.

Martín Abadi, Tim Harris, Katherine F. Moore

Inf. Comput., 2010

Causality in Databases.

Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y. Halpern, Christoph Koch, Katherine F. Moore, Dan Suciu

IEEE Data Eng. Bull., 2010

WHY SO? or WHY NO? Functional Causality for Explaining Query Answers.

Alexandra Meliou, Wolfgang Gatterbauer, Katherine F. Moore, Dan Suciu

Proceedings of the Fourth International VLDB workshop on Management of Uncertain Data (MUD 2010) in conjunction with VLDB 2010, 2010

2009

Query Containment of Tier-2 Queries over a Probabilistic Database.

Katherine F. Moore, Vibhor Rastogi, Christopher Ré, Dan Suciu

Proceedings of the Third VLDB workshop on Management of Uncertain Data (MUD2009) in conjunction with VLDB 2009, 2009

2008

High-level small-step operational semantics for transactions.

Katherine F. Moore, Dan Grossman

Proceedings of the 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2008

2007

Enforcing isolation and ordering in STM.

Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha

Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation, 2007