last papers
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Jul 2010 12:37:24 +0000 (14:37 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 12 Jul 2010 12:37:24 +0000 (14:37 +0200)
wiki/academia/reading_list.mdwn

index f7ba7ba..7367ba9 100644 (file)
@@ -2,6 +2,10 @@
 
 ## Recently read papers
 
 
 ## Recently read papers
 
+* *[Directing change using bcfg2](http://www.usenix.org/events/lisa06/tech/full_papers/desai/desai_html/)* by Desai et al. (USENIX-LISA)
+* *[PoDIM: a language for high-level configuration management](https://www.usenix.net/events/lisa07/tech/full_papers/delaet/delaet.pdf)* (USENIX-LISA)
+* *[Large scale linux configuration with LCFG](http://www.dcs.ed.ac.uk/home/ascobie/reports/ALS2000.pdf)* (USENIX-LISA)
+* *[Puppet - next-generation configuration management](http://www.usenix.org/publications/login/2006-02/pdfs/kanies.pdf)* by Kanies (;LOGIN: USENIX newsletter)
 * *[A robust link-translating proxy server mirroring the whole web](http://portal.acm.org/citation.cfm?doid=1774088.1774258)* by Mao and Herley (SAC 2010)
 * *Apt-pbo: solving the software dependency problem using pseudo-boolean optimization* by Trezentos et al. (ASE 2010)
 * *[Using First-Order Logic for Product Line Model Validation](http://www.springerlink.com/content/j493w6a3uwxbf5l2/)* by Mannion
 * *[A robust link-translating proxy server mirroring the whole web](http://portal.acm.org/citation.cfm?doid=1774088.1774258)* by Mao and Herley (SAC 2010)
 * *Apt-pbo: solving the software dependency problem using pseudo-boolean optimization* by Trezentos et al. (ASE 2010)
 * *[Using First-Order Logic for Product Line Model Validation](http://www.springerlink.com/content/j493w6a3uwxbf5l2/)* by Mannion