Marina Lifshin

	2008
2		Cormac Flanagan, Stephen N. Freund, Marina Lifshin, Shaz Qadeer: Types for atomicity: Static checking and inference for Java. ACM Trans. Program. Lang. Syst. 30(4): (2008)
	2005
1		Cormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58

Coauthor Index

1	Cormac Flanagan	[1] [2]
2	Stephen N. Freund	[1] [2]
3	Shaz Qadeer	[2]