Archives/papers-we-love_papers-we-love
1
0
Fork 0
mirror of https://github.com/papers-we-love/papers-we-love.git synced 2024-10-27 20:34:20 +00:00
Code Issues Projects Releases Wiki Activity
366 Commits 1 Branch 0 Tags 428 MiB
b8dc777bf0
Commit Graph

366 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Carina C. Zona
b8d6b10250 typo fix 2014-09-23 09:27:59 -07:00
Zeeshan Lakhani
3df0ed2443 Merge pull request #180 from experquisite/inhomog-operators 
Added time-series section and Zumbach&Muller's paper
 2014-09-22 09:47:50 -04:00
Simon Thornington
f8bd4cbd01 added scroll emoji 2014-09-21 22:29:26 -07:00
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