| |
| 2008 | ||
|---|---|---|
| 2 | EE | 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 | EE | Cormac Flanagan, Stephen N. Freund, Marina Lifshin: Type inference for atomicity. TLDI 2005: 47-58 |
| 1 | Cormac Flanagan | [1] [2] |
| 2 | Stephen N. Freund | [1] [2] |
| 3 | Shaz Qadeer | [2] |