<--- Back to Details
First PageDocument Content
Computer programming / Lock / Monitor / Thread / Software bug / Non-blocking algorithm / Mutual exclusion / Deadlock / Linearizability / Concurrency control / Computing / Concurrent computing
Date: 2012-09-10 16:24:23
Computer programming
Lock
Monitor
Thread
Software bug
Non-blocking algorithm
Mutual exclusion
Deadlock
Linearizability
Concurrency control
Computing
Concurrent computing

Automated Concurrency-Bug Fixing Guoliang Jin Abstract Wei Zhang

Add to Reading List

Source URL: people.cs.uchicago.edu

Download Document from Source Website

File Size: 622,04 KB

Share Document on Facebook

Similar Documents

Concurrent computing / Computing / Computer programming / Concurrency control / Parallel computing / Consensus / Thread / Non-blocking algorithm / Lock / OpenMP / Futures and promises / Scheduling

Administrivia  Design of Parallel and High-Performance Computing

DocID: 1rqkH - View Document

Concurrency control / Computing / Computer programming / Software engineering / Lock / Readerswriter lock / Non-blocking algorithm / Mutual exclusion / Spinlock / Monitor / Fetch-and-add / File locking

Administrivia  Design of Parallel and High-Performance Computing

DocID: 1rnNM - View Document

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

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

DocID: 1rnbf - View Document

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

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

DocID: 1rk2P - View Document

Concurrency control / Computing / Transaction processing / Data management / Software / Software transactional memory / Transactional memory / Linearizability / Lock / Thread / Concurrent data structure / Non-blocking algorithm

Brief Announcement: Selfishness in Transactional Memory Raphael Eidenbenz Roger Wattenhofer Computer Engineering and Networks Lab

DocID: 1qKkF - View Document