University of Washington Computer Science & Engineering

Katherine F. Moore: Grad Student

CSE Home

About Us

Contact Info

Welcome!
I am a third-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

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

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. Kate
Me!

Graduate Awards and Activities

Awards

NSF Fellowship (2007)
NDSEG Fellowship (2007 alternate)
Fries first-year fellowship (2006)
ARCS fellowship (2006)

Activities

I am participating in the WASP and the Databases groups here at UW
The DB Group meeting schedule is online
I participate in the quarterly Programming systems reading group
I am also attending the Databases Seminar, and the Theory Seminar
Department-internal service (2008 - 2009) :
Co-chair for New Grad Orientation
Mentoring program coordinator

Graduate Coursework

Autumn 2008: CSE 564 - Security
Spring 2008: CSE 521 - Algorithms
Autumn 2007: CSE 561 - Networks
Spring 2007: CS 525 - Randomized Algorithms
Winter 2007: CSE 506 - Advanced Topics in Programming Languages
Autumn 2006: CSE 505 - Concepts of Programming Languages

Undergraduate Career

My undergraduate degree is in Computer Science from The University of Pennsylvania.

Undergraduate Research Collaborators

Professor Benjamin Pierce
Professor Steve Zdancewic
Professor Val Tannen
My friend Will

Undergraduate Activities and Awards

Tau Beta Pi, Pennsylvania Delta Chapter
E. Stuart Eichert, Jr. memorial prize
John Grist Brainerd award

Undergraduate Teaching Experience

Mathematical Foundations of Computer Science I - Summer 2001, Fall 2001, Fall 2002, Fall 2003, Summer 2003
Mathematical Foundations of Computer Science II - Summer 2001, Spring 2002, Spring 2003, Summer 2003

Pictures of my cat, Lucy

New hair

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