add papers from peter burka, including the one he'll present in nyc, *crossing-the-gap*

functional_programming/README.md

@@ -11,3 +11,7 @@
 ## Concatenative Programming
 
 * :scroll: [Concatenative Programming: An Overlooked Paradigm in Functional Programming](http://mitarbeiter.hs-heilbronn.de/~herzberg/Publications/ICSOFT.2009.pdf)
+
+## Imperative Programming - Functional Programming
+
+* [Crossing the Gap from Imperative to Functional Programming through Refactoring](http://dig.cs.illinois.edu/papers/lambdaRefactoring.pdf)

garbage_collection/README.md

@@ -3,3 +3,5 @@
 * [Teaching Garbage Collection without Implementing Compilers or Interpreters](http://faculty.cs.byu.edu/~jay/static/cooper-sigcse2013.pdf)
 
 * [Message Analysis Guided Allocation and Low Pause Incremental GC in a Concurrent Language](http://user.it.uu.se/~kostis/Papers/ismm04.pdf)
+
+* [And Then There Were None: A Stall-Free Real-Time Garbage Collector for Reconfigurable Hardware](http://researcher.watson.ibm.com/researcher/files/us-bacon/Bacon12AndThen.pdf)

operating_systems/README.md

@@ -1 +1,3 @@
 * [Xen and the Art of Virtualization](http://www.cl.cam.ac.uk/research/srg/netos/papers/2003-xensosp.pdf)
+
+* [The operating system: should there be one?](http://plosworkshop.org/2013/preprint/kell.pdf)