Katherine F. Moore

2008
3	EE	Martín Abadi, Tim Harris, Katherine F. Moore: A Model of Dynamic Separation for Transactional Memory. CONCUR 2008: 6-20
2	EE	Katherine F. Moore, Dan Grossman: High-level small-step operational semantics for transactions. POPL 2008: 51-62
2007
1	EE	Tatiana Shpeisman, Vijay Menon, Ali-Reza Adl-Tabatabai, Steven Balensiefer, Dan Grossman, Richard L. Hudson, Katherine F. Moore, Bratin Saha: Enforcing isolation and ordering in STM. PLDI 2007: 78-88

Coauthor Index

1	Martín Abadi	[3]
2	Ali-Reza Adl-Tabatabai	[1]
3	Steven Balensiefer	[1]
4	Dan Grossman	[1] [2]
5	Tim Harris	[3]
6	Richard L. Hudson	[1]
7	Vijay Menon	[1]
8	Bratin Saha	[1]
9	Tatiana Shpeisman	[1]

Colors in the list of coauthors