## Recently read papers
+* *[Winnowing: Local Algorithms for Document Fingerprinting](http://theory.stanford.edu/~aiken/publications/papers/sigmod03.pdf) by Schleimer, Wilkerson, Aiken
* *[Designing a Generic Graph Library using ML Functors](http://www.lri.fr/~filliatr/ftp/publis/ocamlgraph.ps)* (TFP 2007)
* *[Abash: Finding Bugs in Bash Scripts](http://www.cis.upenn.edu/~stevez/papers/MZ07.pdf)* by Mazurak and Zdancewic
* *[maintainability of the Linux kernel](http://ieeexplore.ieee.org/iel5/5658/21556/00999087.pdf?tp=&isnumber=&arnumber=999087)* (IEEE proceedings - software) by Schach, Jin, Wright, Heller, Offutt