A Lambda Calculus with Letrecs and Barriers. - Arvind 001; Jan-Willem Maessen; Rishiyur S. Nikhil; Joseph E. Stoy (FSTTCS, 1996)

A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH. - Arvind 001; Alejandro Caro; Jan-Willem Maessen; Shail Aditya (LCPC, 1996)

LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. - Arvind 001; Jan-Willem Maessen; Rishiyur S. Nikhil; Joseph E. Stoy (HLCL, 1998)

Improving the Java memory model using CRF. - Jan-Willem Maessen; Arvind 001; Xiaowei Shen (OOPSLA, 2000)

Program analysis for safety guarantees in a Java virtual machine written in Java. - Jan-Willem Maessen; Vivek Sarkar; David Grove (PASTE, 2001)

Eager Haskell: resource-bounded execution yields efficient iteration. - Jan-Willem Maessen (Haskell, 2002)

Hybrid eager and lazy evaluation for efficient compilation of Haskell. - Jan-Willem Maessen (2002)

Object-oriented units of measurement. - Eric E. Allen; David Chase; Victor Luchangco; Jan-Willem Maessen; Guy L. Steele Jr. (OOPSLA, 2004)

Memory Model = Instruction Reordering + Store Atomicity. - Arvind 001; Jan-Willem Maessen (ISCA, 2006)

Store Atomicity for Transactional Memory. - Jan-Willem Maessen; Arvind 001 (TV@FLoC, 2006)

Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. - Yossi Lev; Jan-Willem Maessen (PPoPP, 2008)

Fortress (Sun HPCS Language). - Guy L. Steele Jr.; Eric E. Allen; David Chase; Christine H. Flood; Victor Luchangco; Jan-Willem Maessen; Sukyoung Ryu (Encyclopedia of Parallel Computing, 2011)