web commit by zack
[homepage.git] / wiki / academia / reading_list.mdwn
1 ## To be read ASAP
2
3 * *[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
4 * *[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
5 * *[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
6 * *[Package management security](ftp://ftp.cs.arizona.edu/reports/2008/TR08-02.pdf)* by Cappos, Samuel, Baker, Hartman
7 * *[The Essence of Command Injection Attacks in Web Applications](www.cs.ucdavis.edu/~su/publications/popl06.pdf)*, by Su, Wassermann
8 * *collective dynamics of "small-world" networks*, by Watts, Strogatz [Nature (393)(1998) 440-442]
9 * *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
10 * *quality and the reliance on individuals in free software project* (3rd workshop on open source software engineering) by Michlmayr and Hill
11 * *[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
12 * *validating sat solvers using an independent resolution-based checker: practical implementations and other applications* by Zhang, Malik
13 * *the power of gifts: organizing social relationships in open source communities* (information systems journal) by Berquist, Ljungberg)
14 * *evidences in the evolution of OS projects through changelog analyses* by Capiluppi, Lago, Morisio
15 * *[clustering and dependencies in free/open source software development: methodology and tools](http://dxm.org/papers/toulouse2/cluster-final.pdf)* by Ghosh
16 * *[putting it all in the trunk: incremental software engineering in the FreeBSD
17 Open Source
18 project](http://www.ruc.dk/~nielsj/research/publications/freebsd.pdf)* by
19 Jorgensen
20 * *[on the security of open source
21 software](http://www.blackwell-synergy.com/doi/pdf/10.1046/j.1365-2575.2002.00118.x)*
22 by Payne
23 * *[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
24 * *[The social structure of free and open source software development](http://opensource.mit.edu/papers/crowstonhowison.pdf)* by Crowston and Howison
25 * *Optimal release time of improved versions of software packages* by Levin and Yadid
26 * *[Quality practices and problems in free software projects](http://opensource.mit.edu/papers/michlmayr_hunt_probert-quality_practices_problems.pdf)* by Michlmayr, Hunt, Probert
27 * *[Rules and Tools for Software Evolution Planning and Management](http://www.springerlink.com/content/l4216085h77324q6/fulltext.pdf)* by Lehman and Ramil
28 * *[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
29 * *[A Portable Compiler-Integrated Approach to Permanent Checking](http://portal.acm.org/citation.cfm?id=1169310)* by Volanschi
30 * *Computer science education in the 21st century*, by Paterson, CACM 49(3):27-31
31 * *Experience report: using functional programming to manage a Linux distribution*, by Beshers, Fox, Shaw, ICFP'07
32 * *Cfengine: a site configuration engine*, Computing Systems 8(3), 1995
33 * *Making system configuration more declarative*, in HotOS X, USENIX, June 2005
34 * *Imposing a memory management discipline on software deployment*, by Dolstra, Visser, de Jonge, in ICSE 2004
35 * *A principled approach to operating system construction in Haskell* by Hallgren, Jones, Leslie, Tolmach, ICFP'05
36 * *[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
37
38 [[on_macros,_lisp,_...]]
39
40 ### printed
41
42 * *[analyzing dependencies in large component-based systems](http://ieeexplore.ieee.org/iel5/8183/24593/01115020.pdf)* (ASE 02) by Vieira, Richardson
43 * *[Applying social network analysis techniques to community-driven libre software projects](http://ladyr.es/assets/files/papers/llopez/jounalPapers/06_Lopez_ijitwe_sna.pdf)* by Lopez, Barahona, Herraiz, Robles
44 * *[Release management within open source projects](http://www.erenkrantz.com/Geeks/Research/Publications/ReleaseManagement.pdf)* by Erenkrantz
45 * *[Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions](http://www.stanford.edu/~engler/mc-osdi.ps)* by Engler et al
46 * *[An Abstract Interpretation-Based Framework for Software Watermarking](http://www.di.ens.fr/~cousot/COUSOTpapers/POPL04.shtml)* by Cousot and Cousot
47 * *[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
48 * *[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
49
50 ## Other stuff to look at
51
52 * *smart package manager* by Niemeyer <http://labix.org/smart>
53
54 ## Recently read papers
55
56 * *[Creating, Reverting & Manipulating Filesystem Changesets on Linux](http://robot101.net/files/diss.ps.gz)* (dissertation) by Robert McQueen
57 * *On SAT Technologies for dependency management and beyond*, by Le Berre and Parrain. [ASPL'08](http://www.isa.us.es/aspl08/)
58 * *[Staged Deployment in Mirage, an Integrated Software Upgrade Testing and Distribution System](http://portal.acm.org/citation.cfm?id=1294283&jmp=abstract&coll=portal&dl=ACM)* by Crameri et al., ACM SIGOPS
59 * *[Finding similar files in a large file system](http://www.usenix.org/publications//library/proceedings/sf94/full_papers/manber.finding)* by Manber, USENIX 1994
60 * *[Syntactic clustering of the web](http://www.std.org/~msm/common/clustering.html)* by Broder, Glassman, Manasse, Zweig. WWW 1997
61 * *[On the resemblance and containment of documents](http://www.cs.princeton.edu/courses/archive/spr05/cos598E/bib/broder97resemblance.pdf)* by Broder
62 * *[Winnowing: Local Algorithms for Document Fingerprinting](http://theory.stanford.edu/~aiken/publications/papers/sigmod03.pdf)* by Schleimer, Wilkerson, Aiken
63 * *[Static detection of security vulnerabilities in scripting languages](http://theory.stanford.edu/~aiken/publications/papers/usenix06.pdf)*, by Y. Xie and A. Aiken. In Proceedings of the 15th USENIX Security Symposium, July 2006.
64 * *[Designing a Generic Graph Library using ML Functors](http://www.lri.fr/~filliatr/ftp/publis/ocamlgraph.ps)* (TFP 2007)
65 * *[Abash: Finding Bugs in Bash Scripts](http://www.cis.upenn.edu/~stevez/papers/MZ07.pdf)* by Mazurak and Zdancewic
66 * *[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
67 * *[NixOS: a purely functional Linux Distribution](http://people.cs.uu.nl/andres/NixOS.html)* by Dolstra, Löh
68 * *release management in free software projects: practices and problems*, by Michlmayr, Hunt, Probert
69 * *how to have a successful free software project*, by Senyard, Michlmayr
70 * *from the cathedral to the bazaar: an empirical study of the lifecycle of volunteer community projects*, by Capiluppi, Michlmayr
71 * *mining large software compilations over time: another perspective on software evolution*, by Robles, Gonzales-Barahona, Michlmayr, Amor
72 * *[managing the complexity of large free and open source package-based software distributions](http://doi.ieeecomputersociety.org/10.1109/ASE.2006.49)*, by Mancinelli, Boender, Di Cosmo, Vouillon, Durak, Leroy, Treinen
73 * *improving the quality of GNU/Linux distributions: a sound approach*, by Mancinelli, Boender, Di Cosmo, Durak
74 * *[inter-package dependency networks in open-source software](http://arxiv.org/pdf/cs.SE/0411096)* by La Belle, Wallingford
75 * *managing volunteer activity in free software projects*, by Michlmayr
76 * *OPIUM: optimal package install/uninstall manager*, by Tucker, Shuffelton, Jhala, Lerner