Search the dblp DataBase

Publications of Author

1. Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
   A Lambda Calculus with Letrecs and Barriers. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 1996, pp:19-36 [Conf]
   
2. Arvind, Jan-Willem Maessen
   Memory Model = Instruction Reordering + Store Atomicity. [Citation Graph (0, 0)][DBLP]
   ISCA, 2006, pp:29-40 [Conf]
   
3. Arvind, Alejandro Caro, Jan-Willem Maessen, Shail Aditya
   A Multithreaded Substrate and Compilation Model for the Implicity Parallel Language pH. [Citation Graph (0, 0)][DBLP]
   LCPC, 1996, pp:519-533 [Conf]
   
4. Eric E. Allen, David Chase, Victor Luchangco, Jan-Willem Maessen, Guy L. Steele Jr.
   Object-oriented units of measurement. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2004, pp:384-403 [Conf]
   
5. Jan-Willem Maessen, Arvind, Xiaowei Shen
   Improving the Java memory model using CRF. [Citation Graph (0, 0)][DBLP]
   OOPSLA, 2000, pp:1-12 [Conf]
   
6. Jan-Willem Maessen, Vivek Sarkar, David Grove
   Program analysis for safety guarantees in a Java virtual machine written in Java. [Citation Graph (0, 0)][DBLP]
   PASTE, 2001, pp:62-65 [Conf]
   
7. Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy
   LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1998, v:16, n:3, pp:- [Journal]
   
8. Jan-Willem Maessen, Arvind
   Store Atomicity for Transactional Memory. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:9, pp:117-137 [Journal]
   
9. 
   Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. [Citation Graph (, )][DBLP]