Observations on the Assured Evolution of Concurrent Java Programs
Aaron Greenhouse, William L. Scherlis, Timothy J. Halloran
Carnegie Mellon University

Snapshots and Software Transactional Memory
Christopher Cole Northrop Grumman Corporation and Brown University
Maurice Herlihy Brown University

Exclusion Control for Java and C#: Experimenting with Granularity of Locks
John Potter, Abdelsalam Shanneb, Eric Yu
The University of New South Wales, Sydney, Australia

Rigorous Concurrency Analysis of Multithreaded Programs
Yue Yang, Ganesh Gopalakrishnan, Gary Lindstrom
University of Utah

Exceptions and side-effects in atomic blocks
Tim Harris, University of Cambridge Computer Lab

Contention Management in Dynamic Software Transactional Memory
William N. Scherer III, Michael L. Scott
University of Rochester

Requirements for Programming Language Memory Models
Jeremy Manson, William Pugh
University of Maryland

The java.util.concurrent Synchronizer Framework
Doug Lea
SUNY Oswego

Finding Concurrency Bugs In Java
David Hovemeyer, William Pugh
University of Maryland

Dynamic Inference of Polymorphic Lock Types
James Rose, Nikhil Swamy, Michael Hicks
University of Maryland

Transactional Lock-Free Objects for Real-Time Java
F. Pizlo, M. Prochazka, S. Jagannathan, J. Vitek
Purdue University