Jan-Willem Maessen

Publication Activity (10 Years)

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

Massachusetts Institute of Technology, Cambridge, MA, USA (PHD)

Education History

Massachusetts Institute of Technology, Cambridge, MA, USA

PHD

Publications

Yossi Lev, Jan-Willem Maessen
Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. PPOPP (2008)
Jan-Willem Maessen, Arvind
Store Atomicity for Transactional Memory. Electron. Notes Theor. Comput. Sci. 174 (9) (2007)
Arvind, Jan-Willem Maessen
Memory Model = Instruction Reordering + Store Atomicity. ISCA (2006)
Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.
Object-oriented units of measurement. OOPSLA (2004)
Jan-Willem Maessen
Eager Haskell: resource-bounded execution yields efficient iteration. Haskell (2002)
Jan-Willem Maessen, Vivek Sarkar, David Grove
Program analysis for safety guarantees in a Java virtual machine written in Java. PASTE (2001)
Jan-Willem Maessen, Arvind, Xiaowei Shen
Improving the Java memory model using CRF. OOPSLA (2000)
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. Electron. Notes Theor. Comput. Sci. 16 (3) (1998)
Arvind, Alejandro Caro, Jan-Willem Maessen, Shail Aditya
A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH. LCPC (1996)
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
A Lambda Calculus with Letrecs and Barriers. FSTTCS (1996)