Katherine F. Moore: Grad Student

CSE Home

About Us

Search

Contact Info

Welcome! I am a fourth-year graduate student in Computer Science & Egineering here at the University of Washington. Contact Info: My e-mail address is my first initial + "f" + last initial {AT} cs.washington.edu. Current and Past Research I've recently joined the Databases group at UW, and am working with Dan Suciu. Papers Query Containment of Tier-2 Queries over a Probabilistic Database. Katherine F. Moore, Vibhor Rastogi, Christopher Ré, Dan Suciu Management of Uncertain Data, Lyon, France. August 2009. A Model of Dynamic Separation for Transactional Memory. Martin Abadi, Tim Harris, Katherine F. Moore. CONCUR, Toronto, Ontairio. August 2008. Recipient of the Best Student Paper Award. Journal Version High Level Small Step operational semantics for Transactions . Katherine F. Moore, Dan Grossman. ACM Conference on Principles of Programming Languages, San Francisco, CA. January 2008. (Also see the workshop version from Transact 2007.) Enforcing Isolation and Ordering in STM. Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steve Balensiefer, Dan Grossman, Richard Hudson, Katherine F. Moore, Bratin Saha. ACM Conference on Programming Language Design and Implementation, San Diego, CA, June 2007. I also like Yoga. Here is an article I wrote about it.

Me!

Graduate Awards and Activities

Graduate Coursework

Undergraduate Career

Undergraduate Research Collaborators

Undergraduate Activities and Awards

Undergraduate Teaching Experience

Pictures of my cat, Lucy

More Pictures

	Computer Science & Engineering University of Washington Box 352350 Seattle, WA  98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX [comments to kfm]