Call for Papers: 11th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT 2016) - deadline extended!

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Call for Papers: 11th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT 2016) - deadline extended!

Stephan Diestelhorst

          Apologies in case of cross-postings

- - - - - - - — - - - - - - - - - - - - - - - - - - - -

11th ACM SIGPLAN Workshop on Transactional Computing
March 12, 2016, Barcelona, Spain
In conjunction with the 21st ACM SIGPLAN Symposium on Principles and
Practice of Parallel Programming (PPoPP 2016)


** Overview **

The past decade has seen an explosion of interest in programming
languages, systems, and hardware to support transactions, speculation,
and related alternatives to classical lock-based concurrency. Recently,
transactional memory has crossed two important thresholds. First, IBM
and Intel are now shipping processors with hardware support for
transactional memory (TM). Second, the C++ Standard Committee has been
working intensively to integrate TM as a new language feature. On the
other hand, the post-release discovery of an erratum in Intel’s hardware
TM implementation has brought upfront the need for effective TM
verification mechanisms. Overall, these developments highlight the
demand for continued high quality transactional memory research.

Transact 2016, the eleventh in its series, will provide a forum to
present and discuss the latest research on all aspects of transactional
computing. The scope of the workshop is intentionally broad, with the
goal of encouraging interaction across the languages, architecture,
systems, database, and theory communities. Papers may address
implementation techniques, foundational results, applications and
workloads, or experience with working systems. Environments of interest
include the full range from multithreaded or multicore processors to
high-end parallel and distributed computing platforms.

** Topics **

The workshop seeks papers on topics related to all areas of software and
hardware for transactional computing. Specific topics of interest
include but are not limited to:

    * Run-time systems
    * Hardware support
    * Applications, workloads, and test suites
    * Experience reports
    * Language mechanisms and semantics
    * Memory models
    * Transactions for non-uniform and non-cache coherent memory systems
      (e.g., NUMA, GPUs, RDMA, distributed transactions)
    * Formal verification
    * Speculative concurrency
    * Conflict detection and contention management
    * Debugging and tools
    * Static analysis and compiler optimizations
    * Checkpointing and failure atomicity
    * Persistence and I/O
    * Nesting and exceptions

Papers should present original research. As transactional memory spans
many disciplines, papers should provide sufficient background material
to make them accessible to the broader community. Papers focused on
foundations should indicate how the work can be used to advance
practice; papers on experiences and applications should indicate how the
experiments reinforce or reflect principles.

** Submissions **

Please use EasyChair
( to submit a paper

Papers must be submitted in PDF, and be no more than 8 pages in standard
two-column SIGPLAN conference format including figures and tables but
not including references. Shorter submissions are welcome. The
submissions will be judged based on the merit of the ideas rather than
the length. Submissions must be made through the on-line submission
site. Final papers will be available to participants electronically at
the meeting, but to facilitate resubmission to more formal venues, no
archival proceedings will be published, and papers will not be sent to
the ACM Digital Library.

Authors will have the option of having their final paper accessible from
the workshop website. Authors must be familiar with and abide by
SIGPLAN’s republication policy, which forbids simultaneous submission to
multiple venues and requires disclosing prior publication of closely
related work.

At the discretion of the program committee and with the consent of the
authors, particularly worthy papers may be recommended for a special
journal issue.

Additional information (e.g., templates for papers’ submission) can be
found at the workshop’s webpage:

For any additional information, do not hesitate to contact the PC Chair,
Paolo Romano:

    [hidden email]

** Important dates **

     28 November, 2015        Paper Submission deadline
     24 January, 2016         Author notification

** Travel Awards **

PPoPP 2016 has received funds to support travel to Barcelona for student
authors of Transact’16 papers. Student authors will be contacted after
acceptance of their paper on how to apply for these funds.

Concurrency-interest mailing list
[hidden email]