Merge branch 'master' into identica-badge
[homepage.git] / wiki / academia / reading_list.mdwn
1 ## Paper to be read <small>(err, ASAP ...)</small>
3 * *[Lazy Functional Incremental Parsing](*, by Bernardy (draft)
4 * *[Real-world concurrency](*, by Cantrill and Bonwick (CACM)
5 * *[A tool for environment deployment in clusters and light grids](*, by Georgiou, Leduc, Videau, Peyrard, and Richard (SMTPS'06)
6 * *[The collaborative organization of knowledge](*, by Spinellis and Luoridas
7 * *[Evolution of volunteer participation in libre software projects: Evidence from Debian](*, by Robles, Gonzales-Barahona, Michlmayr (OSS 2005)
8 * *[Volunteers in Large Libre Software Projects: A Quantitative Analysis Over Time](*, by Michlmayr, Robles, and Gonzalez-Barahona
9 * *[Managing Delphi Surveys using Nonparametric Statistical Techniques](* by Roy C. Schmidt
10 * *[What's in Unison? A Formal Specification and Reference Implementation of a File Synchronizer](* by Pierce and Vouillon
11 * *[Timing the application of security patches for optimal uptime](* by Beattie et al, LISA/USENIX 2002
12 * *[Package management security](* by Cappos, Samuel, Baker, Hartman
13 * *[The Essence of Command Injection Attacks in Web Applications](*, by Su, Wassermann
14 * *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
15 * *quality and the reliance on individuals in free software project* (3rd workshop on open source software engineering) by Michlmayr and Hill
16 * *[extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution](* by Gelder
17 * *validating sat solvers using an independent resolution-based checker: practical implementations and other applications* by Zhang, Malik
18 * *the power of gifts: organizing social relationships in open source communities* (information systems journal) by Berquist, Ljungberg)
19 * *evidences in the evolution of OS projects through changelog analyses* by Capiluppi, Lago, Morisio
20 * *[clustering and dependencies in free/open source software development: methodology and tools](* by Ghosh
21 * *[putting it all in the trunk: incremental software engineering in the FreeBSD
22 Open Source
23 project](* by
24 Jorgensen
25 * *[on the security of open source
26 software](*
27 by Payne
28 * *[Code quality analysis in open source software development](* by Stamelos, Angelis, Oikonomou, and Bleris
29 * *[The social structure of free and open source software development](* by Crowston and Howison
30 * *Optimal release time of improved versions of software packages* by Levin and Yadid
31 * *[Quality practices and problems in free software projects](* by Michlmayr, Hunt, Probert
32 * *[Rules and Tools for Software Evolution Planning and Management](* by Lehman and Ramil
33 * *[metrics and laws of software evolution - the nineties view](* by Lehman and Ramil
34 * *[A Portable Compiler-Integrated Approach to Permanent Checking](* by Volanschi
35 * *Computer science education in the 21st century*, by Paterson, CACM 49(3):27-31
36 * *Experience report: using functional programming to manage a Linux distribution*, by Beshers, Fox, Shaw, ICFP'07
37 * *Cfengine: a site configuration engine*, Computing Systems 8(3), 1995
38 * *Making system configuration more declarative*, in HotOS X, USENIX, June 2005
39 * *Imposing a memory management discipline on software deployment*, by Dolstra, Visser, de Jonge, in ICSE 2004
40 * *A principled approach to operating system construction in Haskell* by Hallgren, Jones, Leslie, Tolmach, ICFP'05
41 * *[Abstract Interpretation: a Semantics-Based Tool for Program Analysis](* by Jones, Nielson, handbook of logic in computer science
42 * [modules, macros and lisp](
43 * [mdules, macros and evaluation](
44 * [Static Analysis for Java Servlets and JSP](
45 * [Static Analysis of Mega-Programs](
46 * [Applications of Extended Static Checking](
47 * [Precise Analysis of String Expressions](