posted by system || 2358 views || tracked by 4 users: [display]

TRANSACT 2011 : Workshop on Languages, Compilers, and Hardware Support for Transactional Computing (Co-located with FCRC 2011)


When Jun 5, 2011 - Jun 5, 2011
Where San Jose, CA, USA
Submission Deadline Mar 10, 2011
Notification Due Apr 11, 2011
Final Version Due May 16, 2011
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. This workshop, the sixth 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.

TRANSACT 2011 is part of the Federated Computing Research Conference (FCRC 2011), and is sponsored by ACM SIGPLAN.


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

Related Resources

ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
IJFCST 2021   International Journal in Foundations of Computer Science & Technology
ALCHEMY 2021   Architecture, Languages, Compilation and Hardware support for EMerging and Heterogeneous sYstems
IJPLA 2021   International Journal of Programming Languages and Applications
TCAD-SI-CFHH 2021   TCAD Special Issue on Compiler Frameworks and Co-design Methodologies for Heterogeneous Systems-on-Chip
CTCM 2021   7th International Conference of Control Theory and Computer Modelling
IPDPS 2021   35th IEEE International Parallel & Distributed Processing Symposium
COMPUTATION TOOLS 2021   The Twelfth International Conference on Computational Logics, Algebras, Programming, Tools, and Benchmarking
ICONIP 2021   The 28th International Conference on Neural Information Processing (ICONIP2021)
IoT Edge Computing AI 2021   Edge Computing Optimization Using Artificial Intelligence Methods