| 2011 | ||
|---|---|---|
| r1 | Guy L. Steele Jr., Eric E. Allen, David Chase, Christine H. Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu: Fortress (Sun HPCS Language). Encyclopedia of Parallel Computing 2011: 718-735 | |
| 2008 | ||
| c7 | Yossi Lev, Jan-Willem Maessen: Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. PPOPP 2008: 197-206 | |
| 2007 | ||
| j2 | Jan-Willem Maessen, Arvind: Store Atomicity for Transactional Memory. Electr. Notes Theor. Comput. Sci. 174(9): 117-137 (2007) | |
| 2006 | ||
| c6 | ||
| 2004 | ||
| c5 | Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.: Object-oriented units of measurement. OOPSLA 2004: 384-403 | |
| 2001 | ||
| c4 | Jan-Willem Maessen, Vivek Sarkar, David Grove: Program analysis for safety guarantees in a Java virtual machine written in Java. PASTE 2001: 62-65 | |
| 2000 | ||
| c3 | Jan-Willem Maessen, Arvind, Xiaowei Shen: Improving the Java memory model using CRF. OOPSLA 2000: 1-12 | |
| 1998 | ||
| j1 | Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy: LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. Electr. Notes Theor. Comput. Sci. 16(3): 265-290 (1998) | |
| 1996 | ||
| c2 | Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy: A Lambda Calculus with Letrecs and Barriers. FSTTCS 1996: 19-36 | |
| c1 | Arvind, Alejandro Caro, Jan-Willem Maessen, Shail Aditya: A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH. LCPC 1996: 519-533 | |
Colors in the list of coauthors
Last update Sat May 18 13:13:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page