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