web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Thu, 5 Jun 2008 09:16:32 +0000 (09:16 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Thu, 5 Jun 2008 09:16:32 +0000 (09:16 +0000)
wiki/academia/reading_list.mdwn

index 5c6a18a..4320b96 100644 (file)
@@ -28,13 +28,16 @@ by Payne
 * *[A Portable Compiler-Integrated Approach to Permanent Checking](http://portal.acm.org/citation.cfm?id=1169310)* by Volanschi
 * *[An Abstract Interpretation-Based Framework for Software Watermarking](http://www.di.ens.fr/~cousot/COUSOTpapers/POPL04.shtml)* by Cousot and Cousot
 * *Computer science education in the 21st century*, by Paterson, CACM 49(3):27-31
+* *Experience report: using functional programming to manage a Linux distribution*, by Beshers, Fox, Shaw, ICFP'07
+* *Cfengine: a site configuration engine*, Computing Systems 8(3), 1995
+* *Making system configuration more declarative*, in HotOS X, USENIX, June 2005
+* *Imposing a memory management discipline on software deployment*, by Dolstra, Visser, de Jonge, in ICSE 2004
+* *A principled approach to operating system construction in Haskell* by Hallgren, Jones, Leslie, Tolmach, ICFP'05
 
 ### printed
 
 * *[effort, cooperation and coordination in an open source software project: GNOME](http://www.blackwell-synergy.com/doi/pdf/10.1046/j.1365-2575.2002.00110.x)* (information systems journal) by Koch, Schneider
 * *[two case studies of open source software development: Apache and Mozilla](http://portal.acm.org/ft_gateway.cfm?id=567795&type=pdf&coll=GUIDE&dl=GUIDE&CFID=26279986&CFTOKEN=98303047)* (ACM TOSE) by Mockus, Fielding, Herbsleb
-* *[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
-* *[NixOS: a purely functional Linux Distribution](http://people.cs.uu.nl/andres/NixOS.html)* by Dolstra, Löh
 
 ## Other stuff to look at
 
@@ -42,6 +45,8 @@ by Payne
 
 ## Recently read papers
 
+* *[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
+* *[NixOS: a purely functional Linux Distribution](http://people.cs.uu.nl/andres/NixOS.html)* by Dolstra, Löh
 * *release management in free software projects: practices and problems*, by Michlmayr, Hunt, Probert
 * *how to have a successful free software project*, by Senyard, Michlmayr
 * *from the cathedral to the bazaar: an empirical study of the lifecycle of volunteer community projects*, by Capiluppi, Michlmayr