Jan-Willem Maessen Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
r1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
2008
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Yossi Lev, Jan-Willem Maessen: Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. PPOPP 2008: 197-206
2007
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan-Willem Maessen, Arvind: Store Atomicity for Transactional Memory. Electr. Notes Theor. Comput. Sci. 174(9): 117-137 (2007)
2006
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arvind, Jan-Willem Maessen: Memory Model = Instruction Reordering + Store Atomicity. ISCA 2006: 29-40
2004
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.: Object-oriented units of measurement. OOPSLA 2004: 384-403
2001
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Jan-Willem Maessen, Arvind, Xiaowei Shen: Improving the Java memory model using CRF. OOPSLA 2000: 1-12
1998
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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): 265-290 (1998)
1996
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy: A Lambda Calculus with Letrecs and Barriers. FSTTCS 1996: 19-36
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
[c1]
2Eric E. Allen
[r1] [c5]
3Arvind
[j2] [c6] [c3] [j1] [c2] [c1]
4Alejandro Caro
[c1]
5David Chase
[r1] [c5]
6Christine H. Flood
[r1]
7David Grove
[c4]
8Yossi Lev
[c7]
9Victor Luchangco
[r1] [c5]
10Rishiyur S. Nikhil
[j1] [c2]
11Sukyoung Ryu
[r1]
12Vivek Sarkar
[c4]
13Xiaowei Shen
[c3]
14Guy L. Steele Jr.
[r1] [c5]
15Joseph E. Stoy
[j1] [c2]

Colors in the list of coauthors

Last update Sat May 18 13:13:31 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page