University of Washington Computer Science & Engineering

Katherine F. Moore: Grad Student

CSE Home

About Us

Contact Info

Welcome!
I am a second-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 am interested in a lot of different areas of software design, from parallel programming and software transactions to helping programmers write more secure programs, and the more buisness-y side of software development.
Papers
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.

High Level Small Step operational semantics for Transactions .
Katherine F. Moore, Dan Grossman.
ACM SIGPLAN Workshop on Transactional Computing, Portland, Oregon, August 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 (awarded in 2007)
NDSEG Fellowship - alternate (2007)
Fries first-year fellowship (awarded in 2006)
ARCS fellowship (awarded in 2006)

Activities

I attended the CRA-W/CDC PL Summer School in May 2007
I also attended the Oregon PL Summer School in July 2007
I participate in the quarterly Programming systems reading group, here is a link to this quarter's version.
I am also attending the Parallel Programming Seminar

Graduate Coursework

Spring 2008: CSE 521 - Algorithms
Fall 2007: CSE 561 - Networks
Spring 2007: CS 525 - Randomized Algorithms
Winter 2007: CSE 506 - Advanced Topics in Programming Languages
Fall 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

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