Posts Tagged ‘workshop’

OCCP 2013: Call for Papers

October 22nd, 2012 No comments

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



OCCP 2013

1st Workshop on Optimistic Cooperation in Concurrent Programming

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


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 (, and should be from 7 to 15 pages long, including references. Papers must be submitted through the Easychair page of the workshop:

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)

CFP: IWTC 2011

June 19th, 2011 No comments
第一届关于 Trace Compilation(TC) 的 workshop, 跟PPPJ一起举办。估计TC方向慢慢的
August 24, 2011, Kongens Lyngby, Denmark


Colocated with PPPJ 2011

=== SCOPE ===

The first International Workshop on Trace Compilation (IWTC) aims to
bring together researchers and practitioners who study trace compilation
and optimization techniques within statically and dynamically typed
programming languages. The workshop will be co-located with PPPJ 2011,
August 24-26, at the Technical University of Denmark, Kongens Lyngby,

We invite papers on all topics related to trace compilation, including
but not limited to:

Trace recording and compilation
Trace compilation for static and dynamic languages
VM integration of trace compilers
Novel optimizations for trace based compilers
Novel intermediate representations for trace based compilers
Formal aspects of traces
Integration of trace compilers and method compilers
Traces in binary translation systems
Trace collection and analysis
Testing of trace based compilers
Industry / experience papers
Tool demonstration


June 20, 2011 Paper Submission
July 15, 2011 Author Notification
August 1, 2011 Camera Ready Submissions


All papers must represent original and unpublished work that is not
currently under review. Papers will be evaluated according to their
significance, originality, technical content, style, clarity, and
relevance to the conference.

At least one author of each accepted paper is required to attend the
conference and present the paper.

Papers should range between 4 and 6 pages. Please number the pages.
The workshop proceedings will be published as part of the ACM
International Proceedings Series and will be disseminated through the
ACM Digital Library. The required format for the submission is the
ACM SIGPLAN Proceedings Style, using 9-point font size. The author
information containing the Latex and Word templates can be found at Please apply the ACM
Computing Classification categories and terms. The submission website
is at


– Michael Bebenita, University of California, Irvine (USA), chair
– Borys J. Bradel, Altera Corporation (Canada)
– Michael Franz, University of California, Irvine (USA)
– Carl Friedrich Bolz, Heinrich-Heine-University Düsseldorf (Germany)
– Andreas Gal, Mozilla Corporation (USA)
– Ian Rogers, Azul Systems (USA)
– Nikolai Tillman, Microsoft Corporation (USA)
– Christian Wimmer, Oracle Corporation (USA)
Peng Wu, IBM T.J.Watson Research Center (USA)
– Mathew Zaleski, University of Toronto (Canada)