Software transactional memory

Universal constructions for multi-object operations

Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing

Universal operations: unary versus binary

PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing

Space bounds for transactional synchronization

PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing

Disentangling multi-object operations (extended abstract)

PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing

A wait-free sorting algorithm

PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing

Practical implementations of non-blocking synchronization primitives

PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing

A lower bound on the local time complexity of universal constructions

PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing

A time complexity lower bound for randomized implementations of some shared objects

PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing

A polylog time wait-free construction for closed objects

PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing

Universal Constructions for Large Objects

IEEE Transactions on Parallel and Distributed Systems

Transactional lock-free execution of lock-based programs

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems

Enhancing software reliability with speculative threads

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems

Relative Performance of Preemption-Safe Locking and Non-Blocking Synchronization on Multiprogrammed Shared Memory Multiprocessors

IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing

A Practical Multi-word Compare-and-Swap Operation

DISC '02 Proceedings of the 16th International Conference on Distributed Computing

Improving Wait-Free Algorithms for Interprocess Communication in Embedded Real-Time Systems

ATEC '02 Proceedings of the General Track of the annual conference on USENIX Annual Technical Conference

Efficient and practical constructions of LL/SC variables

Proceedings of the twenty-second annual symposium on Principles of distributed computing

Language support for lightweight transactions

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications

Randomized protocols for asynchronous consensus

Distributed Computing - Papers in celebration of the 20th anniversary of PODC

Programming with transactional coherence and consistency (TCC)

ASPLOS XI Proceedings of the 11th international conference on Architectural support for programming languages and operating systems

Threads cannot be implemented as a library

Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation

Composable memory transactions

Proceedings of the tenth ACM SIGPLAN symposium on Principles and practice of parallel programming

Design tradeoffs in modern software transactional memory systems

LCR '04 Proceedings of the 7th workshop on Workshop on languages, compilers, and run-time support for scalable systems

Virtualizing Transactional Memory

Proceedings of the 32nd annual international symposium on Computer Architecture

Advanced contention management for dynamic software transactional memory

Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing

Efficient multi-word locking using randomization

Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing

Toward a theory of transactional contention managers

Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing

Haskell on a shared-memory multiprocessor

Proceedings of the 2005 ACM SIGPLAN workshop on Haskell

Safe futures for Java

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Unbounded Transactional Memory

IEEE Micro

McRT-STM: a high performance software transactional memory system for a multi-core runtime

Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming

Hybrid transactional memory

Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming

Snapshots and software transactional memory

Science of Computer Programming - Special issue: Concurrency and synchronization in Java programs

Memory centric thread synchronization on platform FPGAs

Proceedings of the conference on Design, automation and test in Europe: Proceedings

The Atomos transactional programming language

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation

Compiler and runtime support for efficient software transactional memory

Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation

Architectural Semantics for Practical Transactional Memory

Proceedings of the 33rd annual international symposium on Computer Architecture

Dynamic state restoration using versioning exceptions

Higher-Order and Symbolic Computation

Combining software transactional memory with a domain modeling language to simplify web application development

ICWE '06 Proceedings of the 6th international conference on Web engineering

Century papers at the first quarter-century milestone

Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing

Designing irregular parallel algorithms with mutual exclusion and lock-free protocols

Journal of Parallel and Distributed Computing

Testing implementations of transactional memory

Proceedings of the 15th international conference on Parallel architectures and compilation techniques

User-level transactional programming in Haskell

Proceedings of the 2006 ACM SIGPLAN workshop on Haskell

Supporting nested transactional memory in logTM

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems

Tradeoffs in transactional memory virtualization

Proceedings of the 12th international conference on Architectural support for programming languages and operating systems

Architectural Support for Software Transactional Memory

Proceedings of the 39th Annual IEEE/ACM International Symposium on Microarchitecture

Portability events: a programming model for scalable system infrastructures

Proceedings of the 3rd workshop on Programming languages and operating systems: linguistic support for modern operating systems

A practical FPGA-based framework for novel CMP research

Proceedings of the 2007 ACM/SIGDA 15th international symposium on Field programmable gate arrays

Incremental checkpointing with application to distributed discrete event simulation

Proceedings of the 38th conference on Winter simulation

Executing Java programs with transactional memory

Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages

Versioned boxes as the basis for memory transactions

Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages

Nested transactional memory: model and architecture sketches

Science of Computer Programming - Special issue: Synchronization and concurrency in object-oriented languages

Transactional collection classes

Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming

Open nesting in software transactional memory

Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming

Concurrent programming without locks

ACM Transactions on Computer Systems (TOCS)

Manticore: a heterogeneous parallel language

Proceedings of the 2007 workshop on Declarative aspects of multicore programming

MetaTM/TxLinux: transactional memory for an operating system

Proceedings of the 34th annual international symposium on Computer architecture

An integrated hardware-software approach to flexible transactional memory

Proceedings of the 34th annual international symposium on Computer architecture

Enforcing isolation and ordering in STM

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation

Optimistic parallelism requires abstractions

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation

Goldilocks: a race and transaction-aware java runtime

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation

Code Generation and Optimization for Transactional Memory Constructs in an Unmanaged Language

Proceedings of the International Symposium on Code Generation and Optimization

ATLAS: a chip-multiprocessor with transactional memory support

Proceedings of the conference on Design, automation and test in Europe

STMBench7: a benchmark for software transactional memory

Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007

Testing patterns for software transactional memory engines

Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging

E-FRP with priorities

EMSOFT '07 Proceedings of the 7th ACM & IEEE international conference on Embedded software

Type-safe higher-order channels in ML-like languages

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming

Sinfonia: a new paradigm for building scalable distributed systems

Proceedings of twenty-first ACM SIGOPS symposium on Operating systems principles

Multithreaded software transactional memory and OpenMP

MEDEA '07 Proceedings of the 2007 workshop on MEmory performance: DEaling with Applications, systems and architecture

Semantics of transactional memory and automatic mutual exclusion

Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

On the correctness of transactional memory

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming

Modeling optimistic concurrency using quantitative dependence analysis

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming

Transactional boosting: a methodology for highly-concurrent transactional objects

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming

Concurrent GC leveraging transactional memory

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming

Toward high performance nonblocking software transactional memory

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming

Software transactional memory for large scale clusters

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming

IWannaBit!

Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08)

Transactions are back---but are they the same?

ACM SIGACT News

Distributed computing and the multicore revolution

ACM SIGACT News

Sprockets: safe extensions for distributed file systems

ATC'07 2007 USENIX Annual Technical Conference on Proceedings of the USENIX Annual Technical Conference

Transactional memory

Communications of the ACM - Web science

The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment

Proceedings of the 5th conference on Computing frontiers

Programming Languages For Interactive Computing

Electronic Notes in Theoretical Computer Science (ENTCS)

Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation

Inferring locks for atomic sections

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation

Model checking transactional memories

Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation

Against lock-based semantics for transactional memory

Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures

Kicking the tires of software transactional memory: why the going gets tough

Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures

RingSTM: scalable transactions with a single atomic instruction

Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures

On obstruction-free transactions

Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures

Commit phase in timestamp-based stm

Proceedings of the twentieth annual symposium on Parallelism in algorithms and architectures

Composable memory transactions

Communications of the ACM - Designing games with a purpose

Software transactional memory: why is it only a research toy?

Communications of the ACM - Remembering Jim Gray

Towards practical intrusion tolerant systems: a blueprint

Proceedings of the 4th annual workshop on Cyber security and information intelligence research: developing strategies to meet the cyber security and information intelligence challenges ahead

Transactional Memory and OpenMP

IWOMP '07 Proceedings of the 3rd international workshop on OpenMP: A Practical Programming Model for the Multi-Core Era

Lee-TM: A Non-trivial Benchmark Suite for Transactional Memory

ICA3PP '08 Proceedings of the 8th international conference on Algorithms and Architectures for Parallel Processing

CoBoxes: Unifying Active Objects and Structured Heaps

FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Automatic Mutual Exclusion and Atomicity Checks

Concurrency, Graphs and Models

Monitoring Atomicity in Concurrent Programs

CAV '08 Proceedings of the 20th international conference on Computer Aided Verification

Bristlecone: A Language for Robust Software Systems

ECOOP '08 Proceedings of the 22nd European conference on Object-Oriented Programming

Advanced Concurrency Control for Transactional Memory Using Transaction Commit Rate

Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing

A Model of Dynamic Separation for Transactional Memory

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory

Completeness and Nondeterminism in Model Checking Transactional Memories

CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory

On Scalable Synchronization for Distributed Embedded Real-Time Systems

SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems

Versioned transactional shared memory for the FénixEDU web application

Proceedings of the 2nd workshop on Dependable distributed data management

A practical scalable distributed B-tree

Proceedings of the VLDB Endowment

Software Transactional Memory: Why Is It Only a Research Toy?

Queue - The Concurrency Problem

Run-Time Enforcement of Nonsafety Policies

ACM Transactions on Information and System Security (TISSEC)

Enforcing authorization policies using transactional memory introspection

Proceedings of the 15th ACM conference on Computer and communications security

Critical sections: re-emerging scalability concerns for database storage engines

Proceedings of the 4th international workshop on Data management on new hardware

Optimistic parallelization support for event stream processing systems

Proceedings of the 5th Middleware doctoral symposium

Nebelung: execution environment for transactional OpenMP

International Journal of Parallel Programming

A model of cooperative threads

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Minimal Ownership for Active Objects

APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems

Committing conflicting transactions in an STM

Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming

Transactional memory with strong atomicity using off-the-shelf memory protection hardware

Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming

Recovery domains: an organizing principle for recoverable operating systems

Proceedings of the 14th international conference on Architectural support for programming languages and operating systems

Version management alternatives for hardware transactional memory

Proceedings of the 9th workshop on MEmory performance: DEaling with Applications, systems and architecture

Synthesis from multi-cycle atomic actions as a solution to the timing closure problem

Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design

Type-safe higher-order channels with channel locality1

Journal of Functional Programming

An analytic framework for performance modeling of software transactional memory

Computer Networks: The International Journal of Computer and Telecommunications Networking

Implementation and Use of Transactional Memory with Dynamic Separation

CC '09 Proceedings of the 18th International Conference on Compiler Construction: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009

The Complexity of Predicting Atomicity Violations

TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,

SingleTrack: A Dynamic Determinism Checker for Multithreaded Programs

ESOP '09 Proceedings of the 18th European Symposium on Programming Languages and Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009

Logical Testing

FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009

Adaptive Read Validation in Time-Based Software Transactional Memory

Euro-Par 2008 Workshops - Parallel Processing

Optimistic concurrency for clusters via speculative locking

SYSTOR '09 Proceedings of SYSTOR 2009: The Israeli Experimental Systems Conference

Modeling software transactional memory with AnyLogic

Proceedings of the 2nd International Conference on Simulation Tools and Techniques

Software transactional memory for multicore embedded systems

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems

Stretching transactional memory

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation

FlexSync: An aspect-oriented approach to Java synchronization

ICSE '09 Proceedings of the 31st International Conference on Software Engineering

LFTHREADS: a lock-free thread library

ACM SIGARCH Computer Architecture News

Multi-core parallelization in Clojure: a case study

Proceedings of the 6th European Lisp Workshop

An efficient lock-aware transactional memory implementation

Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems

Developing parallel programs: A design-oriented perspective

IWMSE '09 Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering

Evie - A developer toolkit for encoding service interaction patterns

Information Systems Frontiers

An Analytic Model for Optimistic STM with Lazy Locking

ASMTA '09 Proceedings of the 16th International Conference on Analytical and Stochastic Modeling Techniques and Applications

Transactional Memory: Glimmer of a Theory

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification

Software Transactional Memory on Relaxed Memory Models

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification

On avoiding spare aborts in transactional memory

Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures

OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming

Certifying concurrent programs using transactional memory

Journal of Computer Science and Technology

Failboxes: Provably Safe Exception Handling

Genoa Proceedings of the 23rd European Conference on ECOOP 2009 --- Object-Oriented Programming

Algebraic foundation of a data model for an extensible space-based collaboration protocol

IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium

Sinfonia: A new paradigm for building scalable distributed systems

ACM Transactions on Computer Systems (TOCS)

Grace: safe multithreaded programming for C/C++

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Context-oriented software transactional memory in common lisp

DLS '09 Proceedings of the 5th symposium on Dynamic languages

A Case for Automatic Exception Handling

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering

Proactive transaction scheduling for contention management

Proceedings of the 42nd Annual IEEE/ACM International Symposium on Microarchitecture

Compiler aided selective lock assignment for improving the performance of software transactional memory

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Is transactional programming actually easier?

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Scheduling support for transactional memory contention management

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Using data structure knowledge for efficient lock generation and strong atomicity

Proceedings of the 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming

Overview of Multicore Requirements towards Real-Time Communication

SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems

Brief Announcement: Relay: A Cache-Coherence Protocol for Distributed Transactional Memory

OPODIS '09 Proceedings of the 13th International Conference on Principles of Distributed Systems

Abstraction-guided synthesis of synchronization

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Effects for cooperable and serializable threads

Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation

Speculative parallelization using software multi-threaded transactions

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems

Decoupling contention management from scheduling

Proceedings of the fifteenth edition of ASPLOS on Architectural support for programming languages and operating systems

From lock to correct and efficient software transactional memory

Proceedings of the 2010 Workshop on Interaction between Compilers and Computer Architecture

A concurrent calculus with atomic transactions

ESOP'07 Proceedings of the 16th European conference on Programming

An efficient software transactional memory using commit-time invalidation

Proceedings of the 8th annual IEEE/ACM international symposium on Code generation and optimization

Cloud-TM: harnessing the cloud with distributed transactional memories

ACM SIGOPS Operating Systems Review

The multicore revolution: the challenges for theory

FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science

LFTHREADS: a lock-free thread library

OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems

Persistent Oberon: a programming language with integrated persistence

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems

Supporting lock-free composition of concurrent data objects

Proceedings of the 7th ACM international conference on Computing frontiers

Keep off the grass: locking the right path for atomicity

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction

Supporting legacy binary code in a software transaction compiler with dynamic binary translation and optimization

CC'08/ETAPS'08 Proceedings of the Joint European Conferences on Theory and Practice of Software 17th international conference on Compiler construction

Evie: a developers toolkit for encoding service interaction patterns

BPM'07 Proceedings of the 2007 international conference on Business process management

Supporting execution on multiprocessor platforms

ACM SIGAda Ada Letters

Transactions in the jungle

Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures

Contention-sensitive data structures and algorithms

DISC'09 Proceedings of the 23rd international conference on Distributed computing

Extensible software transactional memory

Proceedings of the Third C* Conference on Computer Science and Software Engineering

The inherent complexity of transactional memory and what to do about it

Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing

Transactional predication: high-performance concurrent sets and maps for STM

Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing

On maintaining multiple versions in STM

Proceedings of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing

Hardware transactional memory: A high performance parallel programming model

Journal of Systems Architecture: the EUROMICRO Journal

Goldilocks: a race-aware Java runtime

Communications of the ACM

A model of dynamic separation for transactional memory

Information and Computation

Transactional memory

Journal of Parallel and Distributed Computing

Adaptive locks: Combining transactions and locks for efficient concurrency

Journal of Parallel and Distributed Computing

Memoization of methods using software transactional memory to track internal state dependencies

Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java

Avoiding deadlock avoidance

Proceedings of the 19th international conference on Parallel architectures and compilation techniques

A software-SVM-based transactional memory for multicore accelerator architectures with local memory

Proceedings of the 19th international conference on Parallel architectures and compilation techniques

Opportunistic computing: a new paradigm for scalable realism on many-cores

HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism

Transactional memory should be an implementation technique, not a programming interface

HotPar'09 Proceedings of the First USENIX conference on Hot topics in parallelism

Collaborative threads: exposing and leveraging dynamic thread state for efficient computation

HotPar'10 Proceedings of the 2nd USENIX conference on Hot topics in parallelism

Detection of Transactional Memory anomalies using static analysis

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

A transactional model for automatic exception handling

Computer Languages, Systems and Structures

Automatic atomic region identification in shared memory SPMD programs

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Many-core virtual machines: decoupling abstract from concrete concurrency

Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

LV*: a class of lazy versioning HTMs for low-cost integration of transactional memory systems

Proceedings of the Second International Forum on Next-Generation Multicore/Manycore Technologies

Transactional mutex locks

Euro-Par'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part II

A scalable lock-free universal construction with best effort transactional hardware

DISC'10 Proceedings of the 24th international conference on Distributed computing

Window-based greedy contention management for transactional memory

DISC'10 Proceedings of the 24th international conference on Distributed computing

Semantics of transactional memory and automatic mutual exclusion

ACM Transactions on Programming Languages and Systems (TOPLAS)

Transactional memories for multi-processor FPGA platforms

Journal of Systems Architecture: the EUROMICRO Journal

Why STM can be more than a research toy

Communications of the ACM

Ad hoc synchronization considered harmful

OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation

Programming in Manticore, a heterogenous parallel functional language

CEFP'09 Proceedings of the Third summer school conference on Central European functional programming school

Runtime verification for software transactional memories

RV'10 Proceedings of the First international conference on Runtime verification

A competitive analysis for balanced transactional memory workloads

OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems

Lock-free and scalable multi-version software transactional memory

Proceedings of the 16th ACM symposium on Principles and practice of parallel programming

Runtime parallelization of legacy code on a transactional memory system

Proceedings of the 6th International Conference on High Performance and Embedded Architectures and Compilers

Invited paper: the inherent complexity of transactional memory and what to do about it

ICDCN'11 Proceedings of the 12th international conference on Distributed computing and networking

Formal reasoning about lazy-STM programs

Journal of Computer Science and Technology

NV-Heaps: making persistent objects fast and safe with next-generation, non-volatile memories

Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems

Consistent and durable data structures for non-volatile byte-addressable memory

FAST'11 Proceedings of the 9th USENIX conference on File and stroage technologies

Lowering STM overhead with static analysis

LCPC'10 Proceedings of the 23rd international conference on Languages and compilers for parallel computing

Emulating transactional memory on FPGA multiprocessors

ARCS'11 Proceedings of the 24th international conference on Architecture of computing systems

Finding complex concurrency bugs in large multi-threaded applications

Proceedings of the sixth conference on Computer systems

Region-based parallelization of irregular reductions on explicitly managed memory hierarchies

The Journal of Supercomputing

Robust adaptation to available parallelism in transactional memory applications

Transactions on high-performance embedded architectures and compilers III

Coping with context switches in lock-based software transactional memory

Proceedings of the 4th Annual International Conference on Systems and Storage

NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation

Synchronization via scheduling: techniques for efficiently managing shared state

Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation

Active pebbles: parallel programming for data-driven applications

Proceedings of the international conference on Supercomputing

Practical verification of high-level dataraces in transactional memory programs

Proceedings of the Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging

On the performance of distributed lock-based synchronization?

ACM SIGOPS Operating Systems Review

Automatically generating symbolic prefetches for distributed transactional memories

Proceedings of the ACM/IFIP/USENIX 11th International Conference on Middleware

Worlds: controlling the scope of side effects

Proceedings of the 25th European conference on Object-oriented programming

Atomic boxes: coordinated exception handling with transactional memory

Proceedings of the 25th European conference on Object-oriented programming

Reconstructing hardware transactional memory for workload optimized systems

APPT'11 Proceedings of the 9th international conference on Advanced parallel processing technologies

Real-time wait-free queues using micro-transactions

Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems

Scalable join patterns

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

Composable, nestable, pessimistic atomic statements

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

Delegated isolation

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

Snake: control flow distributed software transactional memory

SSS'11 Proceedings of the 13th international conference on Stabilization, safety, and security of distributed systems

SMV: selective multi-versioning STM

DISC'11 Proceedings of the 25th international conference on Distributed computing

Verification of STM on relaxed memory models

Formal Methods in System Design

Efficiently implementing LL/SC objects shared by an unknown number of processes

IWDC'05 Proceedings of the 7th international conference on Distributed Computing

Lock free data structures using STM in haskell

FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming

Conflict detection and validation strategies for software transactional memory

DISC'06 Proceedings of the 20th international conference on Distributed Computing

A lazy snapshot algorithm with eager validation

DISC'06 Proceedings of the 20th international conference on Distributed Computing

AGC: adaptive global clock in software transactional memory

Proceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores

Reducing false aborts in STM systems

ICA3PP'10 Proceedings of the 10th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I

A speculation-friendly binary search tree

Proceedings of the 17th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming

Lock-Free parallel algorithms: an experimental study

HiPC'04 Proceedings of the 11th international conference on High Performance Computing

Distributed transactional memory for metric-space networks

DISC'05 Proceedings of the 19th international conference on Distributed Computing

Adaptive software transactional memory

DISC'05 Proceedings of the 19th international conference on Distributed Computing

STM in the small: trading generality for performance in software transactional memory

Proceedings of the 7th ACM european conference on Computer Systems

Improving server applications with system transactions

Proceedings of the 7th ACM european conference on Computer Systems

TM2C: a software transactional memory for many-cores

Proceedings of the 7th ACM european conference on Computer Systems

Dependence analysis for safe futures

Science of Computer Programming

Software transactional memory validation – time and space considerations

Transactions on High-Performance Embedded Architectures and Compilers IV

Efficient transaction nesting in hardware transactional memory

ARCS'10 Proceedings of the 23rd international conference on Architecture of Computing Systems

On the analytical modeling of concurrency control algorithms for Software Transactional Memories: The case of Commit-Time-Locking

Performance Evaluation

Democratizing transactional programming

Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware

STM concurrency control for multicore embedded real-time software: time bounds and tradeoffs

Proceedings of the 27th Annual ACM Symposium on Applied Computing

The Collie: a wait-free compacting collector

Proceedings of the 2012 international symposium on Memory Management

Memory-mapping support for reducer hyperobjects

Proceedings of the twenty-fourth annual ACM symposium on Parallelism in algorithms and architectures

A look to the old-world_sky: EU-funded dependability cloud computing research

ACM SIGOPS Operating Systems Review

On the liveness of transactional memory

PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing

Universal constructions that ensure disjoint-access parallelism and wait-freedom

PODC '12 Proceedings of the 2012 ACM symposium on Principles of distributed computing

Cooperative types for controlling thread interference in Java

Proceedings of the 2012 International Symposium on Software Testing and Analysis

A type system for finding upper resource bounds of multi-threaded programs with nested transactions

Proceedings of the Third Symposium on Information and Communication Technology

Thread-Safe priority queues in haskell based on skiplists

TFP'11 Proceedings of the 12th international conference on Trends in Functional Programming

Identifying a unifying mechanism for the implementation of concurrency abstractions on multi-language virtual machines

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns

Verification of snapshot isolation in transactional memory java programs

ECOOP'12 Proceedings of the 26th European conference on Object-Oriented Programming

Interruptible context-dependent executions: a fresh look at programming context-aware applications

Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software

Execution privatization for scheduler-oblivious concurrent programs

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Towards a software transactional memory for graphics processors

EG PGV'10 Proceedings of the 10th Eurographics conference on Parallel Graphics and Visualization

The implications of shared data synchronization techniques on multi-core energy efficiency

HotPower'12 Proceedings of the 2012 USENIX conference on Power-Aware Computing and Systems

Transactional access to shared memory in starss, a task based programming model

Euro-Par'12 Proceedings of the 18th international conference on Parallel Processing

Maintaining consistency in software transactional memory through dynamic versioning tuning

ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part II

Democratizing transactional programming

Proceedings of the 12th International Middleware Conference

Programming with relaxed synchronization

Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability

Software transactional memories for Scala

Journal of Parallel and Distributed Computing

Transactional memory: beyond the first two decades

ACM SIGACT News

WTTM 2012, the fourth workshop on the theory of transactional memory

ACM SIGACT News

A composable mixed mode concurrency control semantics for transactional programs

ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering

Wait-n-GoTM: improving HTM performance by serializing cyclic dependencies

Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems

Conversion: multi-version concurrency control for main memory segments

Proceedings of the 8th ACM European Conference on Computer Systems

Improving performance of software transactional memory through contention locality

The Journal of Supercomputing

Brief announcement: towards a fully-articulated pessimistic distributed transactional memory

Proceedings of the twenty-fifth annual ACM symposium on Parallelism in algorithms and architectures

Revisiting transactions in Ada

ACM SIGAda Ada Letters

Correctness of an STM Haskell implementation

Proceedings of the 18th ACM SIGPLAN international conference on Functional programming

Non-blocking inter-partition communication with wait-free pair transactions

Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems

Correctness of concurrent executions of closed nested transactions in transactional memory systems

Theoretical Computer Science

Towards transparent hardening of distributed systems

Proceedings of the 9th Workshop on Hot Topics in Dependable Systems

The design and implementation of clocked variables in X10

ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135

Transparent support for partial rollback in software transactional memories

Euro-Par'13 Proceedings of the 19th international conference on Parallel Processing

Tanks: multiple reader, single writer actors

Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control

Native actors: a scalable software platform for distributed, heterogeneous environments

Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control

Democratizing transactional programming

Communications of the ACM

Transactionalizing legacy code: an experience report using GCC and Memcached

Proceedings of the 19th international conference on Architectural support for programming languages and operating systems

Software Transactional Memory for GPU Architectures

Proceedings of Annual IEEE/ACM International Symposium on Code Generation and Optimization

Boosting timestamp-based transactional memory by exploiting hardware cycle counters

ACM Transactions on Architecture and Code Optimization (TACO)

Performance evaluation of View-Oriented Transactional Memory

Parallel Computing

Eliminating unscalable communication in transaction processing

The VLDB Journal — The International Journal on Very Large Data Bases

A survey of support for structured communication in concurrency control models

Journal of Parallel and Distributed Computing