Wei Wu / @lazyparser

PLCT Lab. OSDT/HelloGCC/HelloLLVM. RISC-V Ambassador.

Download as .zip Download as .tar.gz View on GitHub

一个新的 Workshop,做事务内存方向的同学可以关注下。



OCCP 2013

1st Workshop on Optimistic Cooperation in Concurrent Programming

Rome, Italy, March 16th, 2013 (collocated with ETAPS 2013)

http://www.scss.tcd.ie/Vasileios.Koutavas/occp-workshop/ ——————————-—————————–-—


Optimistic concurrency has long been accepted as a convenient method for programming systems where there is contention for resources. Traditionally in database systems and more recently in software transactional memory systems, optimistic concurrency is realized in the form of transactions, which the programmer can assume run isolated from their environment, thereby alleviating the need for explicit programming of locking schemes.

Recent research on concurrent programming models have lead to the realization in both academia and industry that optimistic concurrency can also be advantageous in programming systems where concurrent processes need to cooperate to perform a desired task. In such systems transactional isolation needs to be abandoned.  This brings forward numerous challenges in 1) the design and implementation of such systems, 2) the invention of appropriate programming language support for optimistic process cooperation, 3) the semantics, theory and verification of these systems.

This workshop aims to bring together researchers and practitioners from academia and industry who work on aspects of optimistic process cooperation. It also aims to connect the different research communities pertinent to this field. These include the programming language community, the systems community and the concurrent calculi community.


Topics of interest include, but are not limited to:

- Programming language support for optimistic process cooperation. - Semantics and theory of optimistic process cooperation. - Compilation techniques and runtime systems. - Calculi for modelling optimistic process cooperation in concurrent and distributed computing. - Use of optimistic cooperation in the modelling of service-oriented and biological systems. - Reversible computation. - Static analysis and verification of systems employing optimistic process cooperation. - Programming idioms for optimistic process cooperation. - Applications where optimistic process cooperation can provide a significant benefit to the programmer. - Experience reports of existing systems and prototypes employing forms of optimistic cooperation.


- Suresh Jagannathan (Purdue University) - Victor Luchangco (Oracle Labs)


- Matthew Fluet  (Rochester Institute of Technology)  Transactional Events - Vasileios Koutavas  (Trinity College Dublin)  Theory of Optimistic Cooperation


Submitted papers should contain previously unpublished complete work, work in progress, or experience reports. Submissions should be in PDF format, prepared using the EPTCS style (http://style.eptcs.org/), and should be from 7 to 15 pages long, including references. Papers must be submitted through the Easychair page of the workshop: http://www.easychair.org/conferences/?conf=occp2013

Accepted papers will be distributed in electronic preliminary proceedings at the workshop. Subsequently, selected papers will be invited for publication in a post-workshop refereed proceedings in Electronic Proceedings in Theoretical Computer Science.


Abstract submission deadline:  17 December 2012 Paper submission deadline:  21 December 2012 Notification:  18 January 2013 Camera ready deadline:  22 February 2013


Nick Benton  (Mircosoft Research) Matthew Fluet  (Rochester Institute of Technology) Matthew Hennessy  (Trinity College Dublin) Vasileios Koutavas  (Trinity College Dublin) Jens Palsberg  (UCLA)