Characterizing Transactional Memory Consistency Conditions Using Observational Refinement HAGIT ATTIYA, Technion—Israel Institute of Technology ALEXEY GOTSMAN, IMDEA Software Institute SANDEEP HANS, Technion—Israel I

Source URL: software.imdea.org

Safe Privatization in Transactional Memory Artem Khyzha Hagit Attiya IMDEA Software Institute

Source URL: software.imdea.org

Autonomic Parallelism Adaptation on Software Transactional Memory ´ Naweiluo Zhou, Gwena¨el Delaval, Bogdan Robu, Eric Rutten, Jean-Fran¸cois M´ehaut

Source URL: hal.inria.fr

Autonomic Parallelism and Thread Mapping Control on Software Transactional Memory Naweiluo Zhou, Gwena¨el Delaval, Bogdan Robu, Eric Rutten, Jean-Fran¸cois M´ehaut To cite this version:

Source URL: hal.archives-ouvertes.fr

C O M P U T ER S C I E N C E DEPARTMENT COLLOQUIUM Optimizing for Eager: Improving Software Transactional Memory through Reservations Dr. Patrick Lam

Source URL: pdf.cs.ua.edu

Control of Autonomic Parallelism Adaptation on Software Transactional Memory Naweiluo Zhou, Gwena¨el Delaval, Bogdan Robu, Eric Rutten, Jean-Fran¸cois M´ehaut To cite this version:

Source URL: hal.archives-ouvertes.fr

Aaron Turon Research Statement My research lies broadly in the areas of programming languages and verification, with the goal of building reliable software systems. I am drawn to software components that are usually cha

Source URL: www.mpi-sws.org

• Computing
• Concurrency control
• Software
• Software transactional memory
• Non-blocking algorithm
• Lock
• Parallel computing
• Concurrency
• Concurrent data structure
• Separation logic
• Thread
• Concurrent computing

Reagents: Expressing and Composing Fine-grained Concurrency Aaron Turon Northeastern University

Source URL: www.mpi-sws.org

• Concurrency control
• Computing
• Transaction processing
• Data management
• Software
• Compare-and-swap
• Non-blocking algorithm
• Linearizability
• Software transactional memory
• Stack
• Reagent
• Atomicity

Transactional Memory: How to Perform Load Adaption in a Simple And Distributed Manner David Hasenfratz, Johannes Schneider, Roger Wattenhofer Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzer

Source URL: disco.ethz.ch

• Transaction processing
• Computing
• Data management
• Concurrency control
• Software
• Databases
• Software transactional memory
• Schedule
• Database transaction
• Transactional memory
• Lock
• Extensible Storage Engine

Transactional Data Structure Libraries Alexander Spiegelman ∗ Guy Golan-Gueta Idit Keidar

Source URL: webee.technion.ac.il

• Transaction processing
• Computing
• Data management
• Data
• Concurrency control
• Databases
• Software transactional memory
• Schedule
• Isolation
• Two-phase locking
• Database transaction
• Extensible Storage Engine