web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Tue, 9 Sep 2008 14:22:27 +0000 (14:22 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Tue, 9 Sep 2008 14:22:27 +0000 (14:22 +0000)
wiki/academia/reading_list.mdwn

index 4e9d242..23afb41 100644 (file)
@@ -1,7 +1,6 @@
 ## To be read ASAP
 
-[[on_macros,_lisp,_...]]
-
+* *[What's in Unison? A Formal Specification and Reference Implementation of a File Synchronizer](http://www.cis.upenn.edu/~bcpierce/papers/unisonspec.pdf)* by Pierce and Vouillon
 * *[Timing the application of security patches for optimal uptime](http://www.usenix.org/events/lisa02/tech/beattie.html)* by Beattie et al, LISA/USENIX 2002
 * *[Package management security](ftp://ftp.cs.arizona.edu/reports/2008/TR08-02.pdf)* by Cappos, Samuel, Baker, Hartman
 * *[The Essence of Command Injection Attacks in Web Applications](www.cs.ucdavis.edu/~su/publications/popl06.pdf)*, by Su, Wassermann
@@ -35,6 +34,8 @@ by Payne
 * *A principled approach to operating system construction in Haskell* by Hallgren, Jones, Leslie, Tolmach, ICFP'05
 * *[Abstract Interpretation: a Semantics-Based Tool for Program Analysis](ftp://ftp.diku.dk/diku/semantics/papers/D-58.ps.Z)* by Jones, Nielson, handbook of logic in computer science
 
+[[on_macros,_lisp,_...]]
+
 ### printed
 
 * *[analyzing dependencies in large component-based systems](http://ieeexplore.ieee.org/iel5/8183/24593/01115020.pdf)* (ASE 02) by Vieira, Richardson