posted by user: shadyalaa || 952 views || tracked by 1 users: [display]

WTTM 2016 : 8th Workshop on the Theory of Transactional Memory

FacebookTwitterLinkedInGoogle

Link: http://www.gsd.inesc-id.pt/~salaa/wttm2016/html/index.html
 
When Jul 25, 2016 - Jul 25, 2016
Where Chicago, Illinois,USA
Submission Deadline May 20, 2016
Notification Due Jun 10, 2016
Categories    transactional memory   concurrent programming   parallel programming   multicore
 

Call For Papers

********** Call for papers ************

8th Workshop on the
Theory of Transactional Memory (WTTM)

July 25, 2016
Chicago, Illinois,USA

co-located with the
ACM Symposium on Principles of
Distributed Computing (PODC) 2016


======================================================


The 8th Workshop on the Theory of Transactional Memory (WTTM) is a forum to foster exchanges, discussions, and disseminations among researchers on theoretical challenges and recent achievements in the context of concurrent computing, with an emphasis on transactional memory.

Transactional Memory (TM) aims at making parallel programming more programmer friendly by providing an alternative synchronization mechanism to traditional lock-based concurrency. TM research has led to hardware TM implementations on both commodity and high performance computing microprocessors, as well as to TM integration in mainstream programming languages (e.g., C, C++) and leading open source compilers (e.g., GCC).

From a theoretical perspective, the TM abstraction raises several challenges in the way we view synchronization as well as in the way we implement it. A major goal of the workshop is to explore new directions and approaches for reasoning about Transactional Memory.

Topics of interest include, but are not limited to:
* Models and semantics for concurrent computing
* Safety and liveness properties
* Tradeoffs in TM and concurrent computing
* TM algorithms and architectures
* Impossibility results and lower bounds
* TM performance and parallelism
* Speculation-friendly and transaction-friendly data structures and their algorithms
* Formal methods, semantics and verification of TM and concurrent systems
* TM for cluster, cloud, grid and high-performance computing
* Concurrent computing, synchronization, and shared memory
* Concurrent data structures and their algorithms
* Multiprocessor and multi-core architectures and algorithms


The Workshop website is:


Program Committee
=================

Hagit Attiya, Technion, Israel
Michael Bond, Ohio State University, USA
Vincent Gramoli, NICTA and University of Sydney, Australia
Rachid Guerraoui, EPFL, Switzerland
Danny Hendler, Ben-Gurion University, Israel
Maurice Herlihy, Brown University, USA
Alex Kogan, Oracle Labs, USA
Alexander Matveev, MIT, USA
Sebastiano Peluso, Virginia Tech, USA
Binoy Ravindran, Virginia Tech, USA (PC Chair)
Michael Spear, Lehigh University, USA


Important dates
=================
Submission deadline: 20 May 2016 (anywhere on earth)
Author notification: 10 June 2016
Workshop: 25 July 2016


Submissions
=================

We solicit submissions describing research results and/or position papers relevant to the theory of concurrent computing with an emphasis on transactional memory.

Submissions should be written in English and in PDF format. Submissions should include: a title, the authors' names and their affiliations, and the contact author’s email. Each submission must not exceed four single-column pages (excluding references). Additional necessary details may be included in an appendix which will be read at the discretion of the program committee.

Papers are to be submitted electronically at:

https://easychair.org/conferences/?conf=wttm2016

The final version of the accepted papers will appear at the workshop’s web site. The papers will be available to the participants in electronic format during the workshop. WTTM does not publish proceedings, so accepted papers may appear in other venues.

Related Resources

COLT 2018   Computational Learning Theory
AsHES 2018   The Eighth International Workshop on Accelerators and Hybrid Exascale Systems (Deadline Extension)
COLT 2018   Conference on Learning Theory
HIPS 2018   23rd International Workshop on High-Level Parallel Programming Models and Supportive Environments
IEEE TC Special Section on NVM 2018   IEEE Transactions on Computers Special Section on Emerging Non-volatile Memory Technologies: from Devices to Architectures and Systems
MEMORY 2018   2nd Memory: Forgetting and Creating - International Interdisciplinary Conference
NVMSA 2018   The 7th IEEE Non-Volatile Memory Systems and Applications Symposium
ICSTCC 2018   22nd International Conference on System Theory, Control and Computing
CONCUR 2018   29th International Conference on Concurrency Theory
LOGLEG 2018   Logic, Law and Legal Reasoning