Commit Graph

5 Commits

Author SHA1 Message Date
Zeeshan Lakhani
1927680d66 add internal pwl paper on x86 semantics with note 2014-09-25 13:46:07 -04:00
Jeremy Heiler
2df1de2cbc Add QuickCheck race conditions paper 2014-08-11 11:21:05 -04:00
yawnt
34cf3c53d5 papers: add added 3 papers from the thesis: Efficient Memory Management for Message Passing Concurrency 2014-03-28 22:45:53 +01:00
Brian Bowman
a9c80328ea readme titles and readme URL approach 2014-03-13 22:39:39 -04:00
Zeeshan Lakhani
19e512aca7 first run-through on audit before distro systems 2014-03-08 03:04:09 -05:00