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

MPLR 2022   19th International Conference on Managed Programming Languages & Runtimes
IJPLA 2022   International Journal of Programming Languages and Applications
SEFM 2022   20th International Conference on Software Engineering and Formal Methods
CFMAI 2022   2022 4th International Conference on Frontiers of Mathematics and Artificial Intelligence (CFMAI 2022)
ISCAI 2022   2022 4th International Symposium on Computing and Artificial Intelligence (ISCAI 2022)
MLDS 2022   3rd International Conference on Machine Learning Techniques and Data Science
PACT 2022   International Conference on Parallel Architectures and Compilation Techniques
CSTY 2022   8th International Conference on Computer Science and Information Technology
MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
IJNLC 2022   International Journal on Natural Language Computing