Synchronization and Concurrency in
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| 08:30 Start | ||||||||||||
| 08:45 Session 1 | Languages | |||||||||||
| The JCilk Language for Multithreaded Computing | ||||||||||||
| John Danaher, I-Ting Lee and Charles Leiserson (MIT CSAIL) | ||||||||||||
| Transactional Execution of Java Programs | ||||||||||||
| Brian D. Carlstrom, JaeWoong Chung, Hassan Chafi, Austen McDonald, Chi Cao Minh, Lance Hammond, Christos Kozyrakis, and Kunle Olukotun (Stanford University) [Slides] | ||||||||||||
| Atomic Features | ||||||||||||
| Sebastien Vaucouleur and Patrick Eugster (ETH Zurich) [Slides] | ||||||||||||
| 10:00 Coffee | ||||||||||||
| 10:20 Session 2 | STM semantics | |||||||||||
| Towards a Safer Interaction with Transactional Memory by Tracking Object Visibility | ||||||||||||
| Yossi Lev (Brown University & Sun Microsystems Laboratories) and Jan-Willem Maessen (Sun Microsystems Laboratories) | ||||||||||||
| Nested Transactional Memory: Model and Preliminary Architecture Sketches | ||||||||||||
| Eliot Moss (University of Massachusetts, Amherst) and Tony Hosking (Purdue University) [Slides] | ||||||||||||
| Transaction Synchronizers | ||||||||||||
| Victor Luchangco (Sun Microsystems Laboratories) and Virendra Marathe (Sun Microsystems Laboratories and University of Rochester) | ||||||||||||
| Versioned Boxes as the Basis for Memory Transactions | ||||||||||||
| João Cachopo and António Rito-Silva (INESC-ID/Technical University of Lisbon) [Slides] | ||||||||||||
| 12:00 Lunch | ||||||||||||
| 13:10 Session 3 | STM implementation | |||||||||||
| Efficient Software Transactions for Object-Oriented Languages | ||||||||||||
| C. Scott Ananian and Martin Rinard (MIT CSAIL) | ||||||||||||
| Robust Contention Management in Software Transactional Memory | ||||||||||||
| Rachid Guerraoui (EPFL), Maurice Herlihy (Brown Univ), Michal Kapalka (EPFL), Bastian Pochon (EPFL) | ||||||||||||
| 14:00 Panel discussion | Are locks Dead? The role of blocking in concurrency control | |||||||||||
| ||||||||||||
| 15:00 Coffee | ||||||||||||
| 15:20 Session 4 | ||||||||||||
| A Scalable Elimination-based Exchange Channel | ||||||||||||
| William Scherer III (University of Rochester), Doug Lea (State University of New York, Oswego), Michael Scott (University of Rochester) | ||||||||||||
| An Asynchronous Messaging Library for C# | ||||||||||||
| Satnam Singh and Georgio Chrysanthakopoulos (Microsoft) | ||||||||||||
| Client and Server Synchronization Expressed in Types | ||||||||||||
| Franz Puntigam (Technische Universitat Wien) | ||||||||||||
| Automatic synchronization Correction | ||||||||||||
| Cormac Flanagan (University of California at Santa Cruz) and Stephen N. Freund (Williams College) | ||||||||||||
| 17:00 Close | ||||||||||||
Please note: printed copies will not be available at the workshop, so you will need to download and/or print copies of papers that you are interested in. This lets us run the workshop without a separate registration charge to cover printing costs.
This workshop will bring together researchers working on different parts of this problem, including: frameworks and libraries for concurrent object-oriented programming, patterns in concurrent software, tools for detecting concurrency-related bugs, new programming abstractions, and new directions for low-level support from the operating system and hardware.
We hope to build on the success of last year's workshop on Concurrency and Synchronization in Java Programs (CSJP) to understand how these pieces fit together, and to define the research challenges that will adapt today's object-oriented programming languages for tomorrow's hardware.
If you would like to attend the workshop, then could you let the organisers know so that we can keep track of numbers (scool05@microsoft.com). Additionally, you must register for at least one day of the OOPSLA conference (see http://www.oopsla.org/).