| 2008 |
|---|
| 9 | EE | Yossi Lev,
Jan-Willem Maessen:
Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory.
PPOPP 2008: 197-206 |
| 2007 |
|---|
| 8 | EE | Jan-Willem Maessen,
Arvind:
Store Atomicity for Transactional Memory.
Electr. Notes Theor. Comput. Sci. 174(9): 117-137 (2007) |
| 2006 |
|---|
| 7 | EE | Arvind,
Jan-Willem Maessen:
Memory Model = Instruction Reordering + Store Atomicity.
ISCA 2006: 29-40 |
| 2004 |
|---|
| 6 | EE | Eric E. Allen,
David Chase,
Victor Luchangco,
Jan-Willem Maessen,
Guy L. Steele Jr.:
Object-oriented units of measurement.
OOPSLA 2004: 384-403 |
| 2001 |
|---|
| 5 | EE | 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 |
|---|
| 4 | EE | Jan-Willem Maessen,
Arvind,
Xiaowei Shen:
Improving the Java memory model using CRF.
OOPSLA 2000: 1-12 |
| 1998 |
|---|
| 3 | EE | 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): (1998) |
| 1996 |
|---|
| 2 | | Arvind,
Jan-Willem Maessen,
Rishiyur S. Nikhil,
Joseph E. Stoy:
A Lambda Calculus with Letrecs and Barriers.
FSTTCS 1996: 19-36 |
| 1 | | Arvind,
Alejandro Caro,
Jan-Willem Maessen,
Shail Aditya:
A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH.
LCPC 1996: 519-533 |
