Schedule for 2004 PODC Workshop on Concurrency and Synchronization in Java Programs

                   St Johns, Newfoundland, July 25th-26th, 2004
 
                   --------------------------------------------

Note: for each paper, an author will give a 15 minute talk, with only
brief questions.  We will do the talks at the beginning of each
session, and this leaves 10 minutes per paper at the end of the
session for a broad discussion about the area of the papers presented
in the session.

Sunday, July 25th
-----------------

8:50--9:00    Opening Remarks

9:00--10:15   Session 1 (Tools)

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

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

  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

10:15--10:45  Coffee Break with PODC
 
10:45--11:35  Session 2 (Memory Model/Formal Methods)

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

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

11:35--12:45  Lunch                  

12:45--14:10  Panel & Discussion 

  TBA

14:10--14:20  Short Break 

14:20--15:10  Session 3 (Software Engineering)

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

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

15:10--15:25  Break/PODC Opening Remarks

15:25--16:10  PODC Invited Talk

16:10--16:30  Coffee break with PODC

16:30--18:10  Session 4 (Software Transactional Memory)

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

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

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

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

18:10--19:00  Wrap up discussion

19:00--       PODC reception

Monday, July 26th
-----------------

Although the planned joint session with PODC did not come to pass,
PODC has planned the first sessions of the morning to be of maximum
interest to workshop attendees.  It includes an invited talk by Doug
Lea, and a number of papers on shared memory synchronization.
Workshop attendees are encouraged to attend and participate in this
session.  Please refer to the PODC schedule for details.