(no commit message)
[homepage.git] / wiki / academia / reading_list.mdwn
1 [[!toc ]]
3 ## Recently read papers
5 * *[Devolved Management of Distributed Infrastructures With Quattor](http://www.usenix.org/event/lisa08/tech/full_papers/childs/childs_html/)* by Childs et al. (USENIX-LISA)
6 * *[Directing change using bcfg2](http://www.usenix.org/events/lisa06/tech/full_papers/desai/desai_html/)* by Desai et al. (USENIX-LISA)
7 * *[PoDIM: a language for high-level configuration management](https://www.usenix.net/events/lisa07/tech/full_papers/delaet/delaet.pdf)* (USENIX-LISA)
8 * *[Large scale linux configuration with LCFG](http://www.dcs.ed.ac.uk/home/ascobie/reports/ALS2000.pdf)* (USENIX-LISA)
9 * *[Puppet - next-generation configuration management](http://www.usenix.org/publications/login/2006-02/pdfs/kanies.pdf)* by Kanies (;LOGIN: USENIX newsletter)
10 * *[A robust link-translating proxy server mirroring the whole web](http://portal.acm.org/citation.cfm?doid=1774088.1774258)* by Mao and Herley (SAC 2010)
11 * *Apt-pbo: solving the software dependency problem using pseudo-boolean optimization* by Trezentos et al. (ASE 2010)
12 * *[Using First-Order Logic for Product Line Model Validation](http://www.springerlink.com/content/j493w6a3uwxbf5l2/)* by Mannion
13 * *[Do sat solvers make good configurators?](https://sort.ucd.ie/documents/published/Janota08.pdf)* by Janota
14 * *[Grammars as feature diagrams](http://reference.kfupm.edu.sa/content/g/r/grammars_as_feature_diagrams_96223.pdf)* by De Jonge and Visser
15 * *[Automated Reasoning on Feature Models](http://www.springerlink.com/index/qh6yvx3y6pxet8ex.pdf)* by Benavides
16 * *[Reasoning about Feature Models in Higher-Order Logic](http://www.computer.org/portal/web/csdl/doi?doc=doi/10.1109/SPLINE.2007.36)* by Janota and Kiniry
17 * *[Feature Diagrams: A Survey and a Formal Semantics](http://www.computer.org/portal/web/csdl/doi/10.1109/RE.2006.23)* by Schobbens et al.
18 * *[SAT-based analysis of feature models is easy](http://doi.acm.org/10.1145/1753235.1753267)* by Mendonça et al.
19 * *[Feature Models, Grammars, and Propositional Formulas](http://www.springerlink.com/content/9t1veyhqe6myj08r/)* by Don Batory
20 * *[Personal Experience Trace: Orienting Oneself in One's Activities and Experiences](http://personalinformatics.org/docs/chi2010/prante_experience_trace.pdf)* (on GNOME Zeitgeist etc.), by Prante et al
21 * *Evaluating IPv6 Adoption in the Internet*, by Colitti, Gunderson, et al. (Google Inc.)
22 * *[A few billion lines of code later](http://cacm.acm.org/magazines/2010/2/69354-a-few-billion-lines-of-code-later/fulltext)* by Bessey et al.
23 * *The happyness of Giving: the Time-Ask Effect* by Lu and Aaker
24 * *[Formalism for safe component ugprades](http://www.computer.org/portal/web/csdl/doi/10.1109/CSIE.2009.761)*,
25   by Xu et al.
26 * [FLOSSMetrics: Free/Libre/Open Source software metrics](http://herraiz.org/papers/english/flossmetrics_csmr.pdf)*,
27   by Herraiz et al.
28 * *[The FOSSology project](http://portal.acm.org/citation.cfm?doid=1370750.1370763)*, by Gobeille
29 * *[Outline of a Mathematical Theory of Computation](http://www.ryanflannery.org/math/docs/Scott-MathTheoryOfComputation.pdf)*, by Scott
30 * *[Interaction pattern detection in process oriented information systems](http://www.infosys.tuwien.ac.at/Staff/sd/papers/InteractionPatternDetectionInProcessOrientedInformationSystems.pdf)*, by Dustdar and Hoffmann
31 * *[Rebuilding Debian using Distributed Computing](http://doi.acm.org/10.1145/1552315.1552318)*, by Nussbaum
32 * *[Survival analysis in open development projects](http://dx.doi.org/10.1109/FLOSS.2009.5071353)* by Ortega and Izquierdo-Cortazar
33 * *[Subversion 1.5: A Case Study in Open Source Release Mismanagement](http://dx.doi.org/10.1109/FLOSS.2009.5071354)*, by Wright and Perry
34 * *[The User of Empirical Methods in Open Source Software Research: Facts, Trends and Future Directions](http://dx.doi.org/10.1109/FLOSS.2009.5071355)*, by Stol, Babar, Russo, Fitzgerald (FLOSS 2009)
35 * *[Estimating Commit Sizes Efficiently](http://www.springerlink.com/index/0k26k71h1g575819.pdf)*, by Hofmann and Riehle (OSS 2009)
36 * *[Merits of Using Repository Metrics in Defect Prediction for Open Source Projects](http://dx.doi.org/10.1109/FLOSS.2009.5071357)*, by Caglayan, Bener, Koch (FLOSS 2009)
37 * *[Analysis of Open Source Software Development Iterations by Means of Burst Detection Techniques](http://dx.doi.org/10.1007/978-3-642-02032-2_9)*, by Rossi, Russo, and Succi (OSS 2009)
38 * *[Yesterday, My Program Worked. Today, It Does Not, Why](http://doi.acm.org/10.1145/318774.318946)*, by Zeller
39 * *[Off-the-Record Communication, or, Why Not To Use PGP](http://www.cypherpunks.ca/otr/otr-wpes.pdf)*, by Borisov, Goldberg, and Brewer
40 * *[Privacy and Artificial Agents, or, Is Google Reading My Email?](http://www.sci.brooklyn.cuny.edu/~schopra/choprawhite497.pdf)*
41 * *[Extending Google Docs to Collaborate on Research papers](http://www.sci.usq.edu.au/staff/dekeyser/googledocs.pdf)*
42 * *[KM3: A DSL for Metamodel Specification](http://www.springerlink.com/content/61p3347k8544207p/)*, by Jouault anz Bézivin
43 * *[Tutorial notes on partial evaluation](http://portal.acm.org/citation.cfm?id=158707)*, by Consel and Danvy
44 * *[Towards a Precise Definition of the OMG/MDA Framework](http://www2.computer.org/portal/web/csdl/abs/proceedings/ase/2001/1426/00/14260273abs.htm)*, by Bézivin and Gerbé
45 * *[On the unification power of models](http://www.springerlink.com/content/xn50242535640k10/)*, by Jean Bézivin
46 * *[A Sound Type System for Secure Flow Analysis](http://portal.acm.org/citation.cfm?id=353629.353648)*, by Volpan, Smith, and Irvine
47 * *[A Simple Applicative Language: Mini-ML](http://portal.acm.org/citation.cfm?id=319847)*, by Clément, Despeyroux, and Kahn
48 * *[Principal type-schemes for functional programs](http://portal.acm.org/citation.cfm?id=582176)*, by Damas and Milner
49 * *[Projective ML](http://portal.acm.org/citation.cfm?id=141507)*, by Rémy
50 * *[Type inference for records in a natural extension of ML](http://repository.upenn.edu/cis_reports/641/)*, by Rémy
51 * *[Typechecking records and variants in a natural extension of ML](http://portal.acm.org/citation.cfm?id=75284)*, by Rémy
52 * *[Computational Social Science](http://www.sciencemag.org/cgi/content/full/323/5915/721)*, by Lazer et al.
53 * *Towards more Semantic Web techniques in databases of Open Source development facts*, by Olivier Berger et al.
54 * *[Model-Driven Development (WMDD 2004)](http://springerlink.metapress.com/content/x0wfwadp82h1fkmv/fulltext.pdf)* by Bezivin et al.
55 * *[Model transformations in the development of data-intensive web applications](http://www.springerlink.com/content/rmlcym1waka8e875/fulltext.pdf)* by Di Ruscio and Pierantonio (CAiSE 2005)
56 * *[Managing Libre Software Distributions under a Product Line Approach](http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=4591754&isnumber=4591503)* by Herraiz et al. (COMPSAC 2008)
57 * *[Object Lens: a "spreadsheet" for cooperative work](http://portal.acm.org/ft_gateway.cfm?id=59298&type=pdf&coll=GUIDE&dl=GUIDE&CFID=22764462&CFTOKEN=42312433)*, by Lay et al (ACM TOIS, 1988)
58 * *[Predicting vulnerable software components](http://www.st.cs.uni-saarland.de/publications/files/neuhaus-ccs-2007.pdf)*, by Neuhaus et al. (ACM CCS'07)
59 * *[Collective dynamics of "small-world" networks](http://www.tam.cornell.edu/tam/cms/manage/upload/SS_nature_smallworld.pdf)*, by Watts, Strogatz (Nature (393)(1998) 440-442)
60 * *[Empirical Tests of Zipf's Law Mechanisms in Open Source Linux Distribution](http://arxiv.org/pdf/0807.0014v1)*, by Maillart et al.
61 * *[Trust, secrecy, and accuracy in voting systems](http://hal.archives-ouvertes.fr/docs/00/22/19/85/PDF/0711TrustSecrecyReliabilityVotingSystems.pdf)*, by Casati
62 * *[Annotation and Navigation in Semantic Wikis](http://www.eyaloren.org/pubs/semwiki2006.pdf)* by Oren et al.
63 * *[Towards a Wiki Interchange Format (WIF)](http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-206/paper20.pdf)* by Volkel, Oren
64 * *[an EBNF grammar for Wiki Creole 1.0](http://portal.acm.org/citation.cfm?id=1324964)* by Junghans, et al.
65 * *[an XML interchange format for Wiki Creole 1.0](http://portal.acm.org/citation.cfm?id=1324965)* by Junghans, Riehle, Yalcinalp
66 * *[Introduction to Binary Decision Diagram](http://www.itu.dk/people/hra/bdd-eap.pdf)* by Henrik Reif Andersen
67 * *[Lightweight incremental application upgrade](http://old-www.cwi.nl/themes/sen1/twiki/pub/Deliver/Publications/SEN-R0604.pdf)* by van der Storm (technical report)
68 * *[modelling and resolving software dependencies](http://people.debian.org/~dburrows/model.pdf)* by Burrows
69 * *[Creating, Reverting & Manipulating Filesystem Changesets on Linux](http://robot101.net/files/diss.ps.gz)* (dissertation) by Robert McQueen
70 * *[On SAT Technologies for dependency management and beyond](http://www.mancoosi.org/papers/leberre-sat-beyond.pdf)*, by Le Berre and Parrain. [ASPL'08](http://www.isa.us.es/aspl08/)
71 * *[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
72 * *[Finding similar files in a large file system](http://www.usenix.org/publications//library/proceedings/sf94/full_papers/manber.finding)* by Manber, USENIX 1994
73 * *[Syntactic clustering of the web](http://www.std.org/~msm/common/clustering.html)* by Broder, Glassman, Manasse, Zweig. WWW 1997
74 * *[On the resemblance and containment of documents](http://www.cs.princeton.edu/courses/archive/spr05/cos598E/bib/broder97resemblance.pdf)* by Broder
75 * *[Winnowing: Local Algorithms for Document Fingerprinting](http://theory.stanford.edu/~aiken/publications/papers/sigmod03.pdf)* by Schleimer, Wilkerson, Aiken
76 * *[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.
77 * *[Designing a Generic Graph Library using ML Functors](http://www.lri.fr/~filliatr/ftp/publis/ocamlgraph.ps)* (TFP 2007)
78 * *[Abash: Finding Bugs in Bash Scripts](http://www.cis.upenn.edu/~stevez/papers/MZ07.pdf)* by Mazurak and Zdancewic
79 * *[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
80 * *[NixOS: a purely functional Linux Distribution](http://people.cs.uu.nl/andres/NixOS.html)* by Dolstra, Löh
81 * *release management in free software projects: practices and problems*, by Michlmayr, Hunt, Probert
82 * *how to have a successful free software project*, by Senyard, Michlmayr
83 * *from the cathedral to the bazaar: an empirical study of the lifecycle of volunteer community projects*, by Capiluppi, Michlmayr
84 * *mining large software compilations over time: another perspective on software evolution*, by Robles, Gonzales-Barahona, Michlmayr, Amor
85 * *[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
86 * *improving the quality of GNU/Linux distributions: a sound approach*, by Mancinelli, Boender, Di Cosmo, Durak
87 * *[inter-package dependency networks in open-source software](http://arxiv.org/pdf/cs.SE/0411096)* by La Belle, Wallingford
88 * *managing volunteer activity in free software projects*, by Michlmayr
89 * *OPIUM: optimal package install/uninstall manager*, by Tucker, Shuffelton, Jhala, Lerner
91 ## Paper to be read <small>(err, ASAP ...)</small>
93 * *[Lazy Functional Incremental Parsing](http://www.cse.chalmers.se/~bernardy/FunctionalIncrementalParsing.pdf)*, by Bernardy (draft)
94 * *[Real-world concurrency](http://doi.acm.org/10.1145/1454456.1454462)*, by Cantrill and Bonwick (CACM)
95 * *[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)
96 * *[The collaborative organization of knowledge](http://doi.acm.org/10.1145/1378704.1378720)*, by Spinellis and Luoridas
97 * *[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)
98 * *[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
99 * *[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
100 * *[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
101 * *[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
102 * *[Package management security](ftp://ftp.cs.arizona.edu/reports/2008/TR08-02.pdf)* by Cappos, Samuel, Baker, Hartman
103 * *[The Essence of Command Injection Attacks in Web Applications](www.cs.ucdavis.edu/~su/publications/popl06.pdf)*, by Su, Wassermann
104 * *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
105 * *quality and the reliance on individuals in free software project* (3rd workshop on open source software engineering) by Michlmayr and Hill
106 * *[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
107 * *validating sat solvers using an independent resolution-based checker: practical implementations and other applications* by Zhang, Malik
108 * *the power of gifts: organizing social relationships in open source communities* (information systems journal) by Berquist, Ljungberg)
109 * *evidences in the evolution of OS projects through changelog analyses* by Capiluppi, Lago, Morisio
110 * *[clustering and dependencies in free/open source software development: methodology and tools](http://dxm.org/papers/toulouse2/cluster-final.pdf)* by Ghosh
111 * *[putting it all in the trunk: incremental software engineering in the FreeBSD
112 Open Source
113 project](http://www.ruc.dk/~nielsj/research/publications/freebsd.pdf)* by
114 Jorgensen
115 * *[on the security of open source
116 software](http://www.blackwell-synergy.com/doi/pdf/10.1046/j.1365-2575.2002.00118.x)*
117 by Payne
118 * *[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
119 * *[The social structure of free and open source software development](http://opensource.mit.edu/papers/crowstonhowison.pdf)* by Crowston and Howison
120 * *Optimal release time of improved versions of software packages* by Levin and Yadid
121 * *[Quality practices and problems in free software projects](http://opensource.mit.edu/papers/michlmayr_hunt_probert-quality_practices_problems.pdf)* by Michlmayr, Hunt, Probert
122 * *[Rules and Tools for Software Evolution Planning and Management](http://www.springerlink.com/content/l4216085h77324q6/fulltext.pdf)* by Lehman and Ramil
123 * *[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
124 * *[A Portable Compiler-Integrated Approach to Permanent Checking](http://portal.acm.org/citation.cfm?id=1169310)* by Volanschi
125 * *Computer science education in the 21st century*, by Paterson, CACM 49(3):27-31
126 * *Experience report: using functional programming to manage a Linux distribution*, by Beshers, Fox, Shaw, ICFP'07
127 * *Cfengine: a site configuration engine*, Computing Systems 8(3), 1995
128 * *Making system configuration more declarative*, in HotOS X, USENIX, June 2005
129 * *Imposing a memory management discipline on software deployment*, by Dolstra, Visser, de Jonge, in ICSE 2004
130 * *A principled approach to operating system construction in Haskell* by Hallgren, Jones, Leslie, Tolmach, ICFP'05
131 * *[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
132 * [modules, macros and lisp](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/chili.ps.gz)
133 * [mdules, macros and evaluation](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/modmac2.ps.gz)
134 * [Static Analysis for Java Servlets and JSP](http://www.springerlink.com/content/22257382u0u840h6/)
135 * [Static Analysis of Mega-Programs](http://www.springerlink.com/content/tbylt4jtqql3wne6/)
136 * [Applications of Extended Static Checking](http://www.springerlink.com/content/jfa1wvl9jgd1lfge/)
137 * [Precise Analysis of String Expressions](http://www.springerlink.com/content/u0hlt5rf8nr6rnvl/)
139 ### printed
141 * *[Stochastic models for the web graph](http://www.cs.brown.edu/research/webagent/focs-2000.pdf)* by Kumar et al.
142 * *[The Delphi method](http://www.gerenciamento.ufba.br/Downloads/delphi%20(1).pdf)* by Gordon
143 * *[analyzing dependencies in large component-based systems](http://ieeexplore.ieee.org/iel5/8183/24593/01115020.pdf)* (ASE 02) by Vieira, Richardson
144 * *[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
145 * *[Release management within open source projects](http://www.erenkrantz.com/Geeks/Research/Publications/ReleaseManagement.pdf)* by Erenkrantz
146 * *[Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions](http://www.stanford.edu/~engler/mc-osdi.ps)* by Engler et al
147 * *[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
148 * *[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