Merge branch 'master' into identica-badge
[homepage.git] / wiki / academia / reading_list.mdwn
1 ## Paper to be read <small>(err, ASAP ...)</small>
2
3 * *[Lazy Functional Incremental Parsing](http://www.cse.chalmers.se/~bernardy/FunctionalIncrementalParsing.pdf)*, by Bernardy (draft)
4 * *[Real-world concurrency](http://doi.acm.org/10.1145/1454456.1454462)*, by Cantrill and Bonwick (CACM)
5 * *[A tool for environment deployment in clusters and light grids](http://www.cecs.uci.edu/~papers/ipdps06/pdfs/123-SMTPS-paper-1.pdf)*, by Georgiou, Leduc, Videau, Peyrard, and Richard (SMTPS'06)
6 * *[The collaborative organization of knowledge](http://doi.acm.org/10.1145/1378704.1378720)*, by Spinellis and Luoridas
7 * *[Evolution of volunteer participation in libre software projects: Evidence from Debian](http://www.cyrius.com/publications/robles_barahona_michlmayr-evolution_participation.pdf)*, by Robles, Gonzales-Barahona, Michlmayr (OSS 2005)
8 * *[Volunteers in Large Libre Software Projects: A Quantitative Analysis Over Time](http://www.cyrius.com/publications/michlmayr_robles_barahona-volunteers_large_projects.pdf)*, by Michlmayr, Robles, and Gonzalez-Barahona
9 * *[Managing Delphi Surveys using Nonparametric Statistical Techniques](http://www.blackwell-synergy.com/doi/abs/10.1111/j.1540-5915.1997.tb01330.x)* by Roy C. Schmidt
10 * *[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
11 * *[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
12 * *[Package management security](ftp://ftp.cs.arizona.edu/reports/2008/TR08-02.pdf)* by Cappos, Samuel, Baker, Hartman
13 * *[The Essence of Command Injection Attacks in Web Applications](www.cs.ucdavis.edu/~su/publications/popl06.pdf)*, 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](ftp://ftp.cse.ucsc.edu/pub/avg/CBJ/sat-pre-post.ps.gz)* 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](http://dxm.org/papers/toulouse2/cluster-final.pdf)* by Ghosh
21 * *[putting it all in the trunk: incremental software engineering in the FreeBSD
22 Open Source
23 project](http://www.ruc.dk/~nielsj/research/publications/freebsd.pdf)* by
24 Jorgensen
25 * *[on the security of open source
26 software](http://www.blackwell-synergy.com/doi/pdf/10.1046/j.1365-2575.2002.00118.x)*
27 by Payne
28 * *[Code quality analysis in open source software development](http://www.blackwell-synergy.com/doi/pdf/10.1046/j.1365-2575.2002.00117.x)* by Stamelos, Angelis, Oikonomou, and Bleris
29 * *[The social structure of free and open source software development](http://opensource.mit.edu/papers/crowstonhowison.pdf)* 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](http://opensource.mit.edu/papers/michlmayr_hunt_probert-quality_practices_problems.pdf)* by Michlmayr, Hunt, Probert
32 * *[Rules and Tools for Software Evolution Planning and Management](http://www.springerlink.com/content/l4216085h77324q6/fulltext.pdf)* by Lehman and Ramil
33 * *[metrics and laws of software evolution - the nineties view](http://ieeexplore.ieee.org/iel3/5031/13795/00637156.pdf?tp=&arnumber=637156&isnumber=13795)* by Lehman and Ramil
34 * *[A Portable Compiler-Integrated Approach to Permanent Checking](http://portal.acm.org/citation.cfm?id=1169310)* 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](ftp://ftp.diku.dk/diku/semantics/papers/D-58.ps.Z)* by Jones, Nielson, handbook of logic in computer science
42 * [modules, macros and lisp](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/chili.ps.gz)
43 * [mdules, macros and evaluation](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/modmac2.ps.gz)
44 * [Static Analysis for Java Servlets and JSP](http://www.springerlink.com/content/22257382u0u840h6/)
45 * [Static Analysis of Mega-Programs](http://www.springerlink.com/content/tbylt4jtqql3wne6/)
46 * [Applications of Extended Static Checking](http://www.springerlink.com/content/jfa1wvl9jgd1lfge/)
47 * [Precise Analysis of String Expressions](http://www.springerlink.com/content/u0hlt5rf8nr6rnvl/)