posted by system || 2316 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

LCPC 2020   Languages and Compilers for Parallel Computing
IJPLA 2020   International Journal of Programming Languages and Applications
ASPLOS 2021   Architectural Support for Programming Languages and Operating Systems
HASP 2020   Hardware and Architectural Support for Security and Privacy
SBLP 2020   24th Brazilian Symposium on Programming Languages
MPLR 2020   17th International Conference on Managed Programming Languages & Runtimes
ARRAY 2020   7th ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming
PACT 2020   International Conference on Parallel Architectures and Compilation Techniques
ICDCS 2021   International Conference on Distributed Computing Systems
OOPSLA 2020   Conference on Object-Oriented Programming Systems, Languages,and Applications