posted by system || 1690 views || tracked by 5 users: [display]

TRANSACT 2014 : 9th Workshop on Transactional Computing


When Mar 1, 2014 - Mar 2, 2014
Where Salt Lake City, UT, USA
Submission Deadline Dec 1, 2013
Categories    programming languages

Call For Papers

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 new thresholds. First, IBM and Intel are now shipping processors with hardware support for transactional memory. Second, the C++ Standard Committee has begun investigation into transactional memory as a new language feature. These developments highlight the demand for continued high quality TM research.

This workshop, the ninth in its series, will provide a forum for the presentation of 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 computing.

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
Memory models
Language mechanisms and semantics
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
Applications, workloads, and test suites
Experience reports

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.

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.
Registration and Workshop Information

Please see the ASPLOS homepage for information about registration, hotels, local attractions, etc.
Important Dates

Submission Deadline: Sunday, December 1, 2013 (11:59pm PST)
Author Notification: Monday, January 27, 2014
Final Copy Due: Monday, February 10, 2014
Workshop: Saturday or Sunday, March 1 or March 2, 2014

General Chair

Tatiana Shpeisman, Intel Labs

Program Chair

Justin Gottschlich, Intel Labs

Web Chair

Michael Spear, Lehigh University

Program Committee

Aleksandar Dragojevic, Microsoft Research
Panagiota Fatourou, University of Crete
Justin Gottschlich, Intel Labs
Maurice Herlihy, Brown University
Angelina Lee, MIT
Victor Luchangco, Oracle Labs
Torvald Riegel, Red Hat
Tatiana Shpeisman, Intel Labs
Arrvindh Shriraman, Simon Fraser University
Anita Sobe, University of Neuchatel, Switzerland
Mike Spear, Lehigh University
Peng Wu, IBM Research

Steering Committee

Babak Falsafi, CMU & EPFL
Pascal Felber, Univ. of Neuchatel
Dan Grossman, Univ. of Washington
Rachid Guerraoui, EPFL
Tim Harris, Oracle Labs
Maurice Herlihy, Brown Univ.
Tony Hosking, Purdue Univ.
Suresh Jagannathan, Purdue Univ.
Doug Lea, SUNY, Oswego
Maged Michael, IBM T.J. Watson Research Center
Eliot Moss, UMass
Jan Vitek, Purdue Univ.
Michael Scott, Univ. of Rochester
Tatiana Shpeisman, Intel Labs
Michael Spear, Lehigh Univ.
Michael Swift, Univ. of Wisconsin
Craig Zilles, UIUC

Related Resources

CHI 2019   The ACM CHI Conference on Human Factors in Computing Systems
CGDEIJ 2018   Computer Game Development and Education
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
IJPLA 2018   International Journal of Programming Languages and Applications
UCC 2018   11th IEEE/ACM International Conference on Utility and Cloud Computing
CAIJ 2018   Computer Applications: An International Journal
IEEE Trans SUSC 2019   IEEE Trans on Sustainable Computing (SI: Intersection of Computing and Communication Technologies with Energy Systems)
FACS 2018   15th International Conference on Formal Aspects of Component Software
DISC 2018   Special Issue on Data Intelligence in Sustainable Computing, Journal of Sustainable Computing: Informatics and Systems
ManLang 2018   15th International Conference on Managed Languages & Runtimes