Commit Graph

363 Commits

Author SHA1 Message Date
Diogo Moitinho de Almeida
4531574237 Adding "Making Reliable Distributed Systems in the Presence of Software Errors" Erlang paper 2014-09-20 15:01:46 -07:00
Simon Thornington
2a2524218b Added time-series section and Zumbach&Muller's paper on inhomogeneous operators 2014-09-20 12:39:21 -07:00
Jeremy Heiler
3adcf16e17 Merge pull request #177 from tokenrove/taxonomy-of-saca
Add reference to A Taxonomy of SACAs
2014-09-18 15:09:15 -04:00
Zeeshan Lakhani
1012a0c30f Merge pull request #178 from shrayasr/patch-1
Fixing broken link to Bangalore meetup group
2014-09-16 00:39:23 -04:00
Shrayas Rajagopal
f0cc03762a Fixing broken link to Bangalore meetup group
Schema was missing
2014-09-16 10:04:51 +05:30
Zeeshan Lakhani
a6df3610ea Quick Edit for Consistency 2014-09-16 00:23:50 -04:00
Julian Squires
3db08a50db Add reference to A Taxonomy of SACAs
This also adds a new category, stringology, for papers on the algorithms
and data structures of string processing.
2014-09-15 21:00:12 -04:00
Jeremy Heiler
6c00084022 Merge pull request #142 from vu3rdd/master
Add link to the Bangalore chapter
2014-09-15 18:05:19 -04:00
Ramakrishnan Muthukrishnan
babe364a07 README.md: add Bangalore chapter 2014-09-14 16:04:10 +05:30
Zeeshan Lakhani
03ba6ffdfc Merge pull request #174 from papers-we-love/@pburka-papers
add papers from peter burka, including the one he'll present in nyc, *cr...
2014-09-08 13:28:22 -04:00
Zeeshan Lakhani
a11304ef41 add papers from peter burka, including the one he'll present in nyc, *crossing-the-gap* 2014-09-08 13:21:56 -04:00
arushs
0f4891f991 Important as it shows with formal proofs how to classify sequences into different levels of difficulty based on computability 2014-09-02 23:03:51 -07:00
Jeremy Heiler
bba6759214 Merge pull request #172 from 3rdman/master
Add a link to https://lobste.rs/t/pdf
2014-09-02 16:03:18 -04:00
Jeremy Heiler
488aaf2306 Merge pull request #170 from csaunders/master
Adds Caching paper on 2Q algorithm
2014-09-02 16:01:42 -04:00
Chris Saunders
1eeef6a6c0 updates reference to paper 2014-09-02 13:15:07 +00:00
Ryan Dooley
614d83c04d Add a link to https://lobste.rs/t/pdf 2014-09-01 21:06:43 -07:00
Chris Saunders
407a433a82 Adds Caching paper on 2Q algorithm
The algorithm was referenced in an article about
improving buffer cache replacement in OpenBSD.

http://www.tedunangst.com/flak/post/2Q-buffer-cache-algorithm

The article was found on the vldb.org website via a google
search.

http://www.vldb.org/conf/1994/P439.PDF
2014-09-01 13:33:54 +00:00
Ines Sombra
74687e3308 Merge pull request #168 from lpradel/experimental_algorithmics
Introduced new category "experimental algorithmics"
2014-08-29 11:40:41 -07:00
lpradel
f704270f45 Introduced new category "experimental algorithmics" and included Johnson's well-known and excellent paper on the experimental analysis of algorithms. 2014-08-29 15:50:30 +02:00
Jeremy Heiler
143285884a Merge pull request #165 from ashleygwilliams/master
Add resources from PWLBOS Aug2014
2014-08-26 16:07:30 -04:00
ashley williams
d474edc085 add pdf and link for a note on distributed computing, cmeik's paper for pwlbos aug2014
add scroll emoji
2014-08-26 15:51:49 -04:00
Jeremy Heiler
25f958f262 Merge pull request #164 from videlalvaro/master
adds Sammet PL history paper
2014-08-26 13:46:42 -04:00
Alvaro Videla
79dd7656d0 adds Sammet PL history paper 2014-08-26 18:59:44 +02:00
Zeeshan Lakhani
127e8fac90 Merge pull request #163 from videlalvaro/master
adds link to SDD1 paper
2014-08-25 18:33:21 -07:00
Alvaro Videla
3020673e75 adds link to SDD1 paper 2014-08-26 03:22:02 +02:00
Jeremy Heiler
0cd070241c Merge branch 'ethangunderson-patch-1' 2014-08-21 00:16:16 -04:00
Jeremy Heiler
5d30a30605 Fix merge conflict for adding Chicago chapter 2014-08-21 00:15:47 -04:00
Jeremy Heiler
65c09a90b7 Merge pull request #161 from vaslabs/master
Added Alan Turing's morphogenesis in biocomputing
2014-08-19 15:28:55 -04:00
Vasilis Nicolaou
1b58affbb9 Alan Turing's morphogenesis description 2014-08-19 20:25:24 +01:00
Vasilis Nicolaou
d45da95de4 Alan Turing's morphogenesis 2014-08-19 20:21:38 +01:00
Jeremy Heiler
e146795174 Merge pull request #160 from notthetup/master
added link to the PWL singapore group
2014-08-19 15:05:21 -04:00
Jeremy Heiler
2c143e8d2d Merge pull request #157 from papers-we-love/race-condition-testing
Add QuickCheck race conditions paper
2014-08-19 11:57:31 -04:00
Chinmay Pendharkar
b2b0b90420 added link to the PWL singapore group, and an Game AI paper and the Google paper presented during the first meetup 2014-08-19 12:59:02 +08:00
Jeremy Heiler
2df1de2cbc Add QuickCheck race conditions paper 2014-08-11 11:21:05 -04:00
Jeremy Heiler
b4627cc109 Merge pull request #156 from aleksandar-todorovic/master
Added some papers to the security section.
2014-08-08 11:59:47 -04:00
Aleksandar Todorović
bddf166b92 Added some papers to the security section. 2014-08-08 16:02:11 +02:00
Jeremy Heiler
53f10739a1 Merge pull request #154 from krisajenkins/patch-1
Correcting a typo.
2014-08-07 12:18:43 -04:00
Kris Jenkins
768b924479 Correcting a typo. 2014-08-07 17:12:22 +01:00
Ines Sombra
927d23d95e Merge pull request #152 from stevelydford/master
Added Orleans paper
2014-08-06 17:07:41 +00:00
Steve Lydford
a5f5e175bb Added Orleans paper 2014-08-06 14:46:32 +01:00
Jeremy Heiler
b39322f6c3 Merge pull request #151 from 3rdman/master
Add Research Papers from Robert Haper
2014-08-05 20:20:48 -04:00
Ryan Dooley
23a56be18f Add Research Papers from Robert Haper
Research papers around Type Theory, Proof Theory, and Category
Theory.

* Types and Language Design
* Types and Compilation
* Certifying Compilers
* Logical Frameworks
* Scientific Computing
* Computation and Information Grids
* Self-Adjusting Computation
* Security
2014-08-05 11:46:59 -07:00
Jeremy Heiler
9e7ee7f961 Merge pull request #149 from 3rdman/secpapers
Add a reference to security papers.
2014-08-02 15:08:01 -04:00
Zeeshan Lakhani
69dc4f19fe Merge pull request #150 from brandonbloom/patch-1
Fix typo
2014-08-01 08:28:11 -04:00
Brandon Bloom
5819c87457 Fix typo 2014-07-31 13:02:50 -04:00
Ryan Dooley
851f8687e2 Add a reference to security papers.
This is a link to collected security papers by @jason_trost.
2014-07-30 12:18:11 -07:00
Brian Bowman
5e83805ff7 Merge pull request #148 from papers-we-love/chapter_link
added link for chapter list
2014-07-27 00:58:03 -04:00
Ines Sombra
b2cc07912a added link for chapter list 2014-07-25 15:23:10 -07:00
Ines Sombra
d60e78a78c Merge pull request #145 from papers-we-love/@skamille-papers
add papers referred to by @skamille
2014-07-17 22:00:38 -07:00
Zeeshan Lakhani
cbbf33c11a add papers referred to by @skamille 2014-07-17 23:03:12 -05:00