Jan-Willem Maessen

According to our database, Jan-Willem Maessen authored at least 12 papers between 1996 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Fortress (Sun HPCS Language).

Guy L. Steele Jr., Eric E. Allen, David Chase, Christine H. Flood, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu

Proceedings of the Encyclopedia of Parallel Computing, 2011

2008

Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory.

Yossi Lev, Jan-Willem Maessen

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008

2006

Store Atomicity for Transactional Memory.

Jan-Willem Maessen, Arvind

Proceedings of the Thread Verification Workshop, 2006

Memory Model = Instruction Reordering + Store Atomicity.

Arvind, Jan-Willem Maessen

Proceedings of the 33rd International Symposium on Computer Architecture (ISCA 2006), 2006

2004

Object-oriented units of measurement.

Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

2002

Hybrid eager and lazy evaluation for efficient compilation of Haskell.

Jan-Willem Maessen

PhD thesis, 2002

Eager Haskell: resource-bounded execution yields efficient iteration.

Jan-Willem Maessen

Proceedings of the 2002 ACM SIGPLAN Workshop on Haskell, 2002

2001

Program analysis for safety guarantees in a Java virtual machine written in Java.

Jan-Willem Maessen, Vivek Sarkar, David Grove

Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2001

2000

Improving the Java memory model using CRF.

Jan-Willem Maessen, Arvind, Xiaowei Shen

Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2000

1998

LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects.

Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy

Proceedings of the 3rd International Workshop on High-Level Concurrent Languages, 1998

1996

A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH.

Arvind, Alejandro Caro, Jan-Willem Maessen, Shail Aditya

Proceedings of the Languages and Compilers for Parallel Computing, 1996

A Lambda Calculus with Letrecs and Barriers.

Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996