Model Checking of Linearizability of Concurrent List Implementations? ˇ Pavol Cern´ y1 , Arjun Radhakrishna1 , Damien Zufferey1 , Swarat Chaudhuri2 , and Rajeev Alur3

Source URL: www.cis.upenn.edu

WTTM 2012, The Fourth Workshop on the Theory of Transactional Memory Vincent Gramoli University of Sydney Australia

Source URL: www.gsd.inesc-id.pt

• Data management
• Data
• Databases
• Programming language implementation
• Software transactional memory
• Transactional memory
• Nir Shavit
• Linearizability
• Serializability
• Transaction processing
• Concurrency control
• Computing

Self-Tuning Intel Transactional Synchronization Extensions Nuno Diegues and Paolo Romano, INESC-ID and Instituto Superior Técnico, University of Lisbon https://www.usenix.org/conference/icac14/technical-sessions/present

Source URL: www.usenix.org

• Computing
• System software
• Lock
• Software transactional memory
• Linearizability
• Transactional memory
• Scalability
• Transactional Synchronization Extensions
• Parallel computing
• Transaction processing
• Concurrency control
• Data management

AI: A Lightweight System for Tolerating Concurrency Bugs Mingxing Zhang1 Yongwei Wu1 Shan Lu2,∗ Shanxiang Qi3,† Jinglei Ren1 Weimin Zheng1 1 Tsinghua National Laboratory for Information Science and Technology, Tsing

Source URL: people.cs.uchicago.edu

• Data management
• Software bug
• Lock
• Linearizability
• Parallel computing
• Thread
• Serializability
• Mutual exclusion
• Kernel
• Concurrency control
• Computing
• Transaction processing

Performance Implications of Fence-Based Memory Models Hans-J. Boehm HP Labs Simplified mainstream (Java, C++)

Source URL: hboehm.info

• Concurrency control
• Computer memory
• Compiler construction
• Programming language design
• OpenMP
• Lock
• Memory model
• Linearizability
• Thread
• Computing
• Software engineering
• Parallel computing

Linearizability: A Correctness Condition for Concurrent Objects MAURICE P. HERLIHY and JEANNETTE Carnegie Mellon University M. WING

Source URL: cs.brown.edu

• Data
• Information
• Linearizability
• Monitor
• Sequential consistency
• Concurrent data structure
• Communications protocol
• Consistency model
• Concurrent computing
• Computing
• Concurrency control
• Transaction processing

Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory∗ Zhaoguo Wang†, Hao Qian‡, Haibo Chen‡, Jinyang Li§ † School of Computer Science, Fudan University ‡ Institute of Parallel a

Source URL: news.cs.nyu.edu

• Computing
• Data
• Software transactional memory
• Rock
• Non-blocking algorithm
• CPU cache
• Transactional memory
• Parallel computing
• Linearizability
• Concurrency control
• Transaction processing
• Data management

Efficient Concurrency-Bug Detection Across Inputs Dongdong Deng Wei Zhang Shan Lu

Source URL: people.cs.uchicago.edu

• Computing
• Theoretical computer science
• Computer programming
• Logic in computer science
• Software testing
• Linearizability
• Race condition
• Atomicity
• Lock
• Software bugs
• Transaction processing
• Concurrency control

Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research

Source URL: www.cs.technion.ac.il

• Concurrency
• Linearizability
• Algorithm
• Tree traversal
• Mutual exclusion
• Non-blocking algorithm
• Concurrent data structure
• Parallel computing
• Priority queue
• Concurrency control
• Computing
• Data management

Using Restricted Transactional Memory to Build a Scalable In-Memory Database Zhaoguo Wang†, Hao Qian‡, Jinyang Li§, Haibo Chen‡ † School of Computer Science, Fudan University ‡ Institute of Parallel and Distri

Source URL: news.cs.nyu.edu

• Data
• Information
• Databases
• Computer memory
• Software transactional memory
• Serializability
• Linearizability
• Extensible Storage Engine
• Database transaction
• Transaction processing
• Data management
• Concurrency control