The Role of Programming Languages in Teaching Concurrency Kim B. Bruce Pomona College Stephen N. Freund Williams College

Source URL: dept.cs.williams.edu

Transactional Memory in C++ Hans-J. Boehm Google and ISO C++ Concurrency Study Group chair

Source URL: www.hboehm.info

• Transaction processing
• Concurrency control
• Transactional memory
• Lock
• Linearizability
• Atomicity
• Synchronization
• Parallel computing
• Memory model
• Commitment ordering
• Software transactional memory

Accelerating Irregular Computations with Hardware Transactional Memory and Active Messages Maciej Besta Torsten Hoefler

Source URL: htor.inf.ethz.ch

• Graph theory
• Mathematics
• Computing
• Concurrency control
• Transaction processing
• NP-complete problems
• Computer memory
• Transactional memory
• Vertex
• Breadth-first search
• Graph coloring
• Transactional Synchronization Extensions

Introduction Compiling Non-Determinism Correctly Compiling Concurrency Correctly Cutting out the Middle Man

Source URL: liyang.hu

LINQ:  Language  Features   for  concurrency   (among  other  things)   Neal  M  GaAdd to Reading List

Source URL: wiki.jvmlangsummit.com

Mechanized Verification of 
 Fine-grained Concurrent Programs memoria software v3.qxd Ilya Sergey

Source URL: ilyasergey.net

• Computing
• Software
• Concurrency control
• Separation logic
• Lock
• Concurrency
• Non-blocking algorithm
• Concurrent computing
• Parallel computing
• Linearizability
• Go

Proceedings of the Seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Source URL: places14.di.fc.ul.pt

• Proof theory
• Logic in computer science

Transaction strategies: The High Concurrency strategy Learn how to implement a transaction strategy for applications with high user concurrency Mark Richards Director and Sr. Technical Architect Collaborative Consulting,

Source URL: www.ibm.com

Combining Events And Threads For Scalable Network Services Implementation And Evaluation Of Monadic, Application-level Concurrency Primitives Peng Li Steve Zdancewic

Source URL: fdmanana.files.wordpress.com

Concurrency Control R&G - Chapter 17 Review • ACID transaction semantics. • Today: focus on Isolation property

Source URL: inst.eecs.berkeley.edu