dblp.uni-trier.dewww.uni-trier.de

Jan-Willem Maessen Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
9EEYossi Lev, Jan-Willem Maessen: Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. PPOPP 2008: 197-206
2007
8EEJan-Willem Maessen, Arvind: Store Atomicity for Transactional Memory. Electr. Notes Theor. Comput. Sci. 174(9): 117-137 (2007)
2006
7EE Arvind, Jan-Willem Maessen: Memory Model = Instruction Reordering + Store Atomicity. ISCA 2006: 29-40
2004
6EEEric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.: Object-oriented units of measurement. OOPSLA 2004: 384-403
2001
5EEJan-Willem Maessen, Vivek Sarkar, David Grove: Program analysis for safety guarantees in a Java virtual machine written in Java. PASTE 2001: 62-65
2000
4EEJan-Willem Maessen, Arvind, Xiaowei Shen: Improving the Java memory model using CRF. OOPSLA 2000: 1-12
1998
3EE 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
2EE 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

Coauthor Index

1Shail Aditya [1]
2Eric E. Allen [6]
3 Arvind [1] [2] [3] [4] [7] [8]
4Alejandro Caro [1]
5David Chase [6]
6David Grove [5]
7Yossi Lev [9]
8Victor Luchangco [6]
9Rishiyur S. Nikhil [2] [3]
10Vivek Sarkar [5]
11Xiaowei Shen [4]
12Guy L. Steele Jr. [6]
13Joseph E. Stoy [2] [3]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)