Adding the Chicago chapter
add papers referred to by @skamille
Merge pull request #145 from papers-we-love/@skamille-papers

add papers referred to by @skamille
added link for chapter list
Merge pull request #148 from papers-we-love/chapter_link

added link for chapter list
Add a reference to security papers.

This is a link to collected security papers by @jason_trost.
Fix typo
Merge pull request #150 from brandonbloom/patch-1

Fix typo
Merge pull request #149 from 3rdman/secpapers

Add a reference to security papers.
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
Merge pull request #151 from 3rdman/master

Add Research Papers from Robert Haper
Added Orleans paper
Merge pull request #152 from stevelydford/master

Added Orleans paper
Correcting a typo.
Merge pull request #154 from krisajenkins/patch-1

Correcting a typo.
Added some papers to the security section.
Merge pull request #156 from aleksandar-todorovic/master

Added some papers to the security section.
Add QuickCheck race conditions paper
added link to the PWL singapore group, and an Game AI paper and the Google paper presented during the first meetup
Merge pull request #157 from papers-we-love/race-condition-testing

Add QuickCheck race conditions paper