Conference Information

WTTM 2016: Workshop on the Theory of Transactional Memory

Please Login to view website of conference

Submission Date:
2016-05-13
Notification Date:
2016-06-10
Conference Date:
2016-07-25
Location:
Chicago, Illinois, USA
Years:
8
Viewed: 12563   Tracked: 0   Attend: 0

Call For Papers

WTTM 2016 (Workshop on the Theory of Transactional Memory) is an academic conference held in Chicago, Illinois, USA on 2016-07-25. The paper submission deadline is 2016-05-13. Acceptance notifications are sent on 2016-06-10.

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 architecture 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 Submission 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) which will describe the results. 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 on the workshop's web site. These 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 as well.
Last updated by Dou Sun in

Related Conferences

CCFCOREQUALISShortFull NameSubmissionNotificationConference
bb1ECCBEuropean Conference on Computational Biology2026-03-162026-05-152026-08-31
bab1SATInternational Conference on Theory and Applications of Satisfiability Testing2026-02-272026-04-302026-07-20
aa*a1STOCACM Symposium on Theory of Computing2025-11-042026-02-012026-06-22
cba2ISCInformation Security Conference2025-06-042025-07-292025-10-20
b1ITSCInternational Conference on Intelligent Transportation Systems2025-05-012025-07-012025-11-18
baa2SoCGACM Symposium on Computational Geometry2024-11-262025-02-062025-06-23
bb1TPDLInternational Conference on Theory and Practice of Digital Libraries2020-04-032020-05-152020-08-25
bb2ICMT'International Conference on Model Transformation2015-02-152015-03-222015-07-20
bTAMCAnnual Conference on Theory and Applications of Models of Computation2014-11-272015-01-202015-05-18
b4TaPPUSENIX Workshop on the Theory and Practice of Provenance2013-02-222013-04-02

Related Journals

CCFFull NameImpact FactorPublisherISSN
bIEEE Transactions on Intelligent Transportation Systems8.4IEEE1524-9050
Polymer Degradation and Stability7.4Elsevier0141-3910
ISA Transactions6.5Elsevier0019-0578
International Journal of Information Security3.2Springer1615-5262
Journal of Intelligent Transportation Systems2.8Taylor & Francis1547-2450
Foundations of Computational Mathematics2.7Springer1615-3375
cIET Information Security1.4IET1751-8709
cTheory and Practice of Logic Programming1.1Cambridge University Press1471-0684
cDiscrete & Computational Geometry0.600Springer0179-5376
cTheory of Computing Systems0.4Springer1432-4350