Marina Lifshin

Publication Activity (10 Years)

Years Active: 2005-2008
Publications (10 Years): 0

Publications

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)
Cormac Flanagan, Stephen N. Freund, Marina Lifshin
Type inference for atomicity. TLDI (2005)