(no commit message)
[homepage.git] / wiki / academia / reading_list.mdwn
1 [[!toc ]]
3 ## Recently read papers
5 * *[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
6 * *[Feature Models, Grammars, and Propositional Formulas](http://www.springerlink.com/index/9T1VEYHQE6MYJ08R.pdf)*, by Don Batory
7 * *Evaluating IPv6 Adoption in the Internet*, by Colitti, Gunderson, et al. (Google Inc.)
8 * *[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.
9 * *The happyness of Giving: the Time-Ask Effect* by Lu and Aaker
10 * *[Formalism for safe component ugprades](http://www.computer.org/portal/web/csdl/doi/10.1109/CSIE.2009.761)*,
11   by Xu et al.
12 * [FLOSSMetrics: Free/Libre/Open Source software metrics](http://herraiz.org/papers/english/flossmetrics_csmr.pdf)*,
13   by Herraiz et al.
14 * *[The FOSSology project](http://portal.acm.org/citation.cfm?doid=1370750.1370763)*, by Gobeille
15 * *[Outline of a Mathematical Theory of Computation](http://www.ryanflannery.org/math/docs/Scott-MathTheoryOfComputation.pdf)*, by Scott
16 * *[Interaction pattern detection in process oriented information systems](http://www.infosys.tuwien.ac.at/Staff/sd/papers/InteractionPatternDetectionInProcessOrientedInformationSystems.pdf)*, by Dustdar and Hoffmann
17 * *[Rebuilding Debian using Distributed Computing](http://doi.acm.org/10.1145/1552315.1552318)*, by Nussbaum
18 * *[Survival analysis in open development projects](http://dx.doi.org/10.1109/FLOSS.2009.5071353)* by Ortega and Izquierdo-Cortazar
19 * *[Subversion 1.5: A Case Study in Open Source Release Mismanagement](http://dx.doi.org/10.1109/FLOSS.2009.5071354)*, by Wright and Perry
20 * *[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)
21 * *[Estimating Commit Sizes Efficiently](http://www.springerlink.com/index/0k26k71h1g575819.pdf)*, by Hofmann and Riehle (OSS 2009)
22 * *[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)
23 * *[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)
24 * *[Yesterday, My Program Worked. Today, It Does Not, Why](http://doi.acm.org/10.1145/318774.318946)*, by Zeller
25 * *[Off-the-Record Communication, or, Why Not To Use PGP](http://www.cypherpunks.ca/otr/otr-wpes.pdf)*, by Borisov, Goldberg, and Brewer
26 * *[Privacy and Artificial Agents, or, Is Google Reading My Email?](http://www.sci.brooklyn.cuny.edu/~schopra/choprawhite497.pdf)*
27 * *[Extending Google Docs to Collaborate on Research papers](http://www.sci.usq.edu.au/staff/dekeyser/googledocs.pdf)*
28 * *[KM3: A DSL for Metamodel Specification](http://www.springerlink.com/content/61p3347k8544207p/)*, by Jouault anz Bézivin
29 * *[Tutorial notes on partial evaluation](http://portal.acm.org/citation.cfm?id=158707)*, by Consel and Danvy
30 * *[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é
31 * *[On the unification power of models](http://www.springerlink.com/content/xn50242535640k10/)*, by Jean Bézivin
32 * *[A Sound Type System for Secure Flow Analysis](http://portal.acm.org/citation.cfm?id=353629.353648)*, by Volpan, Smith, and Irvine
33 * *[A Simple Applicative Language: Mini-ML](http://portal.acm.org/citation.cfm?id=319847)*, by Clément, Despeyroux, and Kahn
34 * *[Principal type-schemes for functional programs](http://portal.acm.org/citation.cfm?id=582176)*, by Damas and Milner
35 * *[Projective ML](http://portal.acm.org/citation.cfm?id=141507)*, by Rémy
36 * *[Type inference for records in a natural extension of ML](http://repository.upenn.edu/cis_reports/641/)*, by Rémy
37 * *[Typechecking records and variants in a natural extension of ML](http://portal.acm.org/citation.cfm?id=75284)*, by Rémy
38 * *[Computational Social Science](http://www.sciencemag.org/cgi/content/full/323/5915/721)*, by Lazer et al.
39 * *Towards more Semantic Web techniques in databases of Open Source development facts*, by Olivier Berger et al.
40 * *[Model-Driven Development (WMDD 2004)](http://springerlink.metapress.com/content/x0wfwadp82h1fkmv/fulltext.pdf)* by Bezivin et al.
41 * *[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)
42 * *[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)
43 * *[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)
44 * *[Predicting vulnerable software components](http://www.st.cs.uni-saarland.de/publications/files/neuhaus-ccs-2007.pdf)*, by Neuhaus et al. (ACM CCS'07)
45 * *[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)
46 * *[Empirical Tests of Zipf's Law Mechanisms in Open Source Linux Distribution](http://arxiv.org/pdf/0807.0014v1)*, by Maillart et al.
47 * *[Trust, secrecy, and accuracy in voting systems](http://hal.archives-ouvertes.fr/docs/00/22/19/85/PDF/0711TrustSecrecyReliabilityVotingSystems.pdf)*, by Casati
48 * *[Annotation and Navigation in Semantic Wikis](http://www.eyaloren.org/pubs/semwiki2006.pdf)* by Oren et al.
49 * *[Towards a Wiki Interchange Format (WIF)](http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-206/paper20.pdf)* by Volkel, Oren
50 * *[an EBNF grammar for Wiki Creole 1.0](http://portal.acm.org/citation.cfm?id=1324964)* by Junghans, et al.
51 * *[an XML interchange format for Wiki Creole 1.0](http://portal.acm.org/citation.cfm?id=1324965)* by Junghans, Riehle, Yalcinalp
52 * *[Introduction to Binary Decision Diagram](http://www.itu.dk/people/hra/bdd-eap.pdf)* by Henrik Reif Andersen
53 * *[Lightweight incremental application upgrade](http://old-www.cwi.nl/themes/sen1/twiki/pub/Deliver/Publications/SEN-R0604.pdf)* by van der Storm (technical report)
54 * *[modelling and resolving software dependencies](http://people.debian.org/~dburrows/model.pdf)* by Burrows
55 * *[Creating, Reverting & Manipulating Filesystem Changesets on Linux](http://robot101.net/files/diss.ps.gz)* (dissertation) by Robert McQueen
56 * *[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/)
57 * *[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
58 * *[Finding similar files in a large file system](http://www.usenix.org/publications//library/proceedings/sf94/full_papers/manber.finding)* by Manber, USENIX 1994
59 * *[Syntactic clustering of the web](http://www.std.org/~msm/common/clustering.html)* by Broder, Glassman, Manasse, Zweig. WWW 1997
60 * *[On the resemblance and containment of documents](http://www.cs.princeton.edu/courses/archive/spr05/cos598E/bib/broder97resemblance.pdf)* by Broder
61 * *[Winnowing: Local Algorithms for Document Fingerprinting](http://theory.stanford.edu/~aiken/publications/papers/sigmod03.pdf)* by Schleimer, Wilkerson, Aiken
62 * *[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.
63 * *[Designing a Generic Graph Library using ML Functors](http://www.lri.fr/~filliatr/ftp/publis/ocamlgraph.ps)* (TFP 2007)
64 * *[Abash: Finding Bugs in Bash Scripts](http://www.cis.upenn.edu/~stevez/papers/MZ07.pdf)* by Mazurak and Zdancewic
65 * *[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
66 * *[NixOS: a purely functional Linux Distribution](http://people.cs.uu.nl/andres/NixOS.html)* by Dolstra, Löh
67 * *release management in free software projects: practices and problems*, by Michlmayr, Hunt, Probert
68 * *how to have a successful free software project*, by Senyard, Michlmayr
69 * *from the cathedral to the bazaar: an empirical study of the lifecycle of volunteer community projects*, by Capiluppi, Michlmayr
70 * *mining large software compilations over time: another perspective on software evolution*, by Robles, Gonzales-Barahona, Michlmayr, Amor
71 * *[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
72 * *improving the quality of GNU/Linux distributions: a sound approach*, by Mancinelli, Boender, Di Cosmo, Durak
73 * *[inter-package dependency networks in open-source software](http://arxiv.org/pdf/cs.SE/0411096)* by La Belle, Wallingford
74 * *managing volunteer activity in free software projects*, by Michlmayr
75 * *OPIUM: optimal package install/uninstall manager*, by Tucker, Shuffelton, Jhala, Lerner
77 ## Paper to be read <small>(err, ASAP ...)</small>
79 * *[Lazy Functional Incremental Parsing](http://www.cse.chalmers.se/~bernardy/FunctionalIncrementalParsing.pdf)*, by Bernardy (draft)
80 * *[Real-world concurrency](http://doi.acm.org/10.1145/1454456.1454462)*, by Cantrill and Bonwick (CACM)
81 * *[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)
82 * *[The collaborative organization of knowledge](http://doi.acm.org/10.1145/1378704.1378720)*, by Spinellis and Luoridas
83 * *[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)
84 * *[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
85 * *[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
86 * *[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
87 * *[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
88 * *[Package management security](ftp://ftp.cs.arizona.edu/reports/2008/TR08-02.pdf)* by Cappos, Samuel, Baker, Hartman
89 * *[The Essence of Command Injection Attacks in Web Applications](www.cs.ucdavis.edu/~su/publications/popl06.pdf)*, by Su, Wassermann
90 * *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
91 * *quality and the reliance on individuals in free software project* (3rd workshop on open source software engineering) by Michlmayr and Hill
92 * *[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
93 * *validating sat solvers using an independent resolution-based checker: practical implementations and other applications* by Zhang, Malik
94 * *the power of gifts: organizing social relationships in open source communities* (information systems journal) by Berquist, Ljungberg)
95 * *evidences in the evolution of OS projects through changelog analyses* by Capiluppi, Lago, Morisio
96 * *[clustering and dependencies in free/open source software development: methodology and tools](http://dxm.org/papers/toulouse2/cluster-final.pdf)* by Ghosh
97 * *[putting it all in the trunk: incremental software engineering in the FreeBSD
98 Open Source
99 project](http://www.ruc.dk/~nielsj/research/publications/freebsd.pdf)* by
100 Jorgensen
101 * *[on the security of open source
102 software](http://www.blackwell-synergy.com/doi/pdf/10.1046/j.1365-2575.2002.00118.x)*
103 by Payne
104 * *[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
105 * *[The social structure of free and open source software development](http://opensource.mit.edu/papers/crowstonhowison.pdf)* by Crowston and Howison
106 * *Optimal release time of improved versions of software packages* by Levin and Yadid
107 * *[Quality practices and problems in free software projects](http://opensource.mit.edu/papers/michlmayr_hunt_probert-quality_practices_problems.pdf)* by Michlmayr, Hunt, Probert
108 * *[Rules and Tools for Software Evolution Planning and Management](http://www.springerlink.com/content/l4216085h77324q6/fulltext.pdf)* by Lehman and Ramil
109 * *[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
110 * *[A Portable Compiler-Integrated Approach to Permanent Checking](http://portal.acm.org/citation.cfm?id=1169310)* by Volanschi
111 * *Computer science education in the 21st century*, by Paterson, CACM 49(3):27-31
112 * *Experience report: using functional programming to manage a Linux distribution*, by Beshers, Fox, Shaw, ICFP'07
113 * *Cfengine: a site configuration engine*, Computing Systems 8(3), 1995
114 * *Making system configuration more declarative*, in HotOS X, USENIX, June 2005
115 * *Imposing a memory management discipline on software deployment*, by Dolstra, Visser, de Jonge, in ICSE 2004
116 * *A principled approach to operating system construction in Haskell* by Hallgren, Jones, Leslie, Tolmach, ICFP'05
117 * *[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
118 * [modules, macros and lisp](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/chili.ps.gz)
119 * [mdules, macros and evaluation](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/modmac2.ps.gz)
120 * [Static Analysis for Java Servlets and JSP](http://www.springerlink.com/content/22257382u0u840h6/)
121 * [Static Analysis of Mega-Programs](http://www.springerlink.com/content/tbylt4jtqql3wne6/)
122 * [Applications of Extended Static Checking](http://www.springerlink.com/content/jfa1wvl9jgd1lfge/)
123 * [Precise Analysis of String Expressions](http://www.springerlink.com/content/u0hlt5rf8nr6rnvl/)
125 ### printed
127 * *[Stochastic models for the web graph](http://www.cs.brown.edu/research/webagent/focs-2000.pdf)* by Kumar et al.
128 * *[The Delphi method](http://www.gerenciamento.ufba.br/Downloads/delphi%20(1).pdf)* by Gordon
129 * *[analyzing dependencies in large component-based systems](http://ieeexplore.ieee.org/iel5/8183/24593/01115020.pdf)* (ASE 02) by Vieira, Richardson
130 * *[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
131 * *[Release management within open source projects](http://www.erenkrantz.com/Geeks/Research/Publications/ReleaseManagement.pdf)* by Erenkrantz
132 * *[Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions](http://www.stanford.edu/~engler/mc-osdi.ps)* by Engler et al
133 * *[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
134 * *[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