web commit by zack
authorStefano Zacchiroli <zack@fettunta.org>
Fri, 18 Apr 2008 09:45:41 +0000 (09:45 +0000)
committerStefano Zacchiroli <zack@fettunta.org>
Fri, 18 Apr 2008 09:45:41 +0000 (09:45 +0000)
wiki/academia/reading_list.mdwn

index 6d973c4..baf499c 100644 (file)
@@ -8,8 +8,15 @@ Papers to be read ASAP:
 * *motivation of software developers in open source projects: an Internet-based survey of contributors to the Linux kernel* (should be about burnout), by Hertel, Niedner, Hermann
 * *effort, cooperation and coordination in an open source software project: GNOME* (information systems journal) by Koch, Schneider
 * *quality and the reliance on individuals in free software project* (3rd workshop on open source software engineering) by Michlmayr and Hill
-* *Two case studies of open source software development: Apache and Mozilla* (ACM TOSE) by Mockus, Fielding, Herbsleb
-* *Maintainability of the Linux kernel* (IEEE proceedings - software) by Schach, Jin, Wright, Heller, Offutt
+* *two case studies of open source software development: Apache and Mozilla* (ACM TOSE) by Mockus, Fielding, Herbsleb
+* *maintainability of the Linux kernel* (IEEE proceedings - software) by Schach, Jin, Wright, Heller, Offutt
+* *extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution* by Gelder
+* *analyzing dependencies in large component-based systems* (ASE 02) by Vieira, Richardson
+* *validating sat solvers using an independent resolution-based checker: practical implementations and other applications* by Zhang, Malik
+
+Other stuff to look at:
+
+* *smart package manager* by Niemeyer <http://labix.org/smart>
 
 Recently read papers: