papers-we-love_papers-we-love/concurrency/README.md

# Concurrency

* [Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask](http://sigops.org/sosp/sosp13/papers/p33-david.pdf)

* [Time, Clocks, and the Ordering of Events in a Distributed System](https://lamport.azurewebsites.net/pubs/time-clocks.pdf)

* [Heap Architectures For Concurrent Languages Using Message Passing](http://www.fantasi.se/publications/ISMM02.pdf)

* [Message Analysis for Concurrent Languages](http://user.it.uu.se/~kostis/Papers/escape.pdf)

* [Finding Race Conditions in Erlang with QuickCheck and PULSE](http://publications.lib.chalmers.se/records/fulltext/125252/local_125252.pdf)

* [The Semantics of x86-CC Multiprocessor Machine Code](http://www.cl.cam.ac.uk/~pes20/weakmemory/popl09.pdf)

    *Note: This contribution here is the focus on the rigorous semantics for x86 multiprocessor programs and an axiomatic definition of the memory model. Their definitions and proofs are backed by the [HOL](http://en.wikipedia.org/wiki/HOL_(proof_assistant))(Higher Order Logic) proof assistant.*

* :scroll: [Experience with Processes and Monitors in Mesa](https://people.eecs.berkeley.edu/~brewer/cs262/Mesa.pdf)

* [Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms](http://www.cs.rochester.edu/~scott/papers/1996_PODC_queues.pdf)
Update to all READMEs for hosted content reorganization of so-called historical papers 2015-10-07 19:11:04 +00:00			`# Concurrency`

readme titles and readme URL approach 2014-03-14 02:39:39 +00:00			`* [Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask](http://sigops.org/sosp/sosp13/papers/p33-david.pdf)`
first run-through on audit before distro systems 2014-03-08 08:04:09 +00:00
Update link of Time, Clocks, and the Ordering of Events in a Distributed System (#735) 2023-04-07 10:33:47 +00:00			`* [Time, Clocks, and the Ordering of Events in a Distributed System](https://lamport.azurewebsites.net/pubs/time-clocks.pdf)`
papers: add added 3 papers from the thesis: Efficient Memory Management for Message Passing Concurrency 2014-03-28 21:45:53 +00:00
fix link for "Heap Architectures For Concurrent Languages" (#697) 2022-11-04 21:59:18 +00:00			`* [Heap Architectures For Concurrent Languages Using Message Passing](http://www.fantasi.se/publications/ISMM02.pdf)`
papers: add added 3 papers from the thesis: Efficient Memory Management for Message Passing Concurrency 2014-03-28 21:45:53 +00:00
			`* [Message Analysis for Concurrent Languages](http://user.it.uu.se/~kostis/Papers/escape.pdf)`
Add QuickCheck race conditions paper 2014-08-11 15:21:05 +00:00
			`* [Finding Race Conditions in Erlang with QuickCheck and PULSE](http://publications.lib.chalmers.se/records/fulltext/125252/local_125252.pdf)`
add internal pwl paper on x86 semantics with note 2014-09-25 17:46:07 +00:00
			`* [The Semantics of x86-CC Multiprocessor Machine Code](http://www.cl.cam.ac.uk/~pes20/weakmemory/popl09.pdf)`

			`Note: This contribution here is the focus on the rigorous semantics for x86 multiprocessor programs and an axiomatic definition of the memory model. Their definitions and proofs are backed by the [HOL](http://en.wikipedia.org/wiki/HOL_(proof_assistant))(Higher Order Logic) proof assistant.`
new nyc papers and such 2016-05-25 16:10:06 +00:00
			`* :scroll: [Experience with Processes and Monitors in Mesa](https://people.eecs.berkeley.edu/~brewer/cs262/Mesa.pdf)`
Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms (#395) Presented on May 25th, 2016 in Amsterdam http://www.meetup.com/papers-we-love-amsterdam/events/230722227/ 2016-05-31 11:33:43 +00:00
			`* [Simple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms](http://www.cs.rochester.edu/~scott/papers/1996_PODC_queues.pdf)`