12 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
Brian Bowman	0b85bb7116	spanner dupe, sports folder name, keep csp together	2014-03-05 23:07:20 -05:00
Zeeshan Lakhani	effb4af598	remove dupes	2014-03-04 23:03:46 -05:00
Brian Bowman	6a589612ce	synchronization paper	2013-11-04 15:44:08 -05:00
Zeeshan Lakhani	cb37d819d9	add something new and some folder cleanup	2013-07-23 02:39:40 -04:00
Zeeshan Lakhani	b3ba1ee493	rename for better feeding	2013-07-19 16:01:44 -04:00
Jeremy Heiler	348e5f6cc9	Add CSP Paper by Hoare	2013-07-19 14:20:37 -04:00
Zeeshan Lakhani	cdf9c31d6f	make concurrency papers a thing	2013-07-13 17:09:01 -04:00