last paper
[homepage.git] / wiki / academia / reading_list.mdwn
1 [[!toc ]]
3 ## Recently read papers
5 * *Traits: a mechanism for fine-grained reuse*, by Ducasse et al., ACM Transactions on Programming Languages and Systems, Vol. 28, No. 2, March 2006, Pages 331-388
6 * *[Long live to the Web: a call for continued open standards and neutrality](*, by Tim Berners-Lee
7 * *[Three ethical moments in Debian](*, by Coleman
8 * *[Semantic structure and finite-size saturation in scale-free dependency networks of free software](*, by Nair et al.
9 * *[S.P.L.O.T.: software product lines online tools](*, by Mendonca et al., OOPSLA 2009
10 * *Software Product Lines: Lessons learned when applying configuration techniques*, by Marcos Didonet Del Fabro and Patrick Albert
11 * *[Hacking In-Person: The Ritual Character of Conferences and the Distillation of a Life-World](*, by Biella Coleman
12 * *Scientific Publications: The Role of Public Administrations in The ICT Era*, by Di Cosmo
13 * *[Devolved Management of Distributed Infrastructures With Quattor](* by Childs et al. (USENIX-LISA)
14 * *[Directing change using bcfg2](* by Desai et al. (USENIX-LISA)
15 * *[PoDIM: a language for high-level configuration management](* (USENIX-LISA)
16 * *[Large scale linux configuration with LCFG](* (USENIX-LISA)
17 * *[Puppet - next-generation configuration management](* by Kanies (;LOGIN: USENIX newsletter)
18 * *[A robust link-translating proxy server mirroring the whole web](* by Mao and Herley (SAC 2010)
19 * *Apt-pbo: solving the software dependency problem using pseudo-boolean optimization* by Trezentos et al. (ASE 2010)
20 * *[Using First-Order Logic for Product Line Model Validation](* by Mannion
21 * *[Do sat solvers make good configurators?](* by Janota
22 * *[Grammars as feature diagrams](* by De Jonge and Visser
23 * *[Automated Reasoning on Feature Models](* by Benavides
24 * *[Reasoning about Feature Models in Higher-Order Logic](* by Janota and Kiniry
25 * *[Feature Diagrams: A Survey and a Formal Semantics](* by Schobbens et al.
26 * *[SAT-based analysis of feature models is easy](* by Mendonça et al.
27 * *[Feature Models, Grammars, and Propositional Formulas](* by Don Batory
28 * *[Personal Experience Trace: Orienting Oneself in One's Activities and Experiences](* (on GNOME Zeitgeist etc.), by Prante et al
29 * *Evaluating IPv6 Adoption in the Internet*, by Colitti, Gunderson, et al. (Google Inc.)
30 * *[A few billion lines of code later](* by Bessey et al.
31 * *The happyness of Giving: the Time-Ask Effect* by Lu and Aaker
32 * *[Formalism for safe component ugprades](*,
33   by Xu et al.
34 * [FLOSSMetrics: Free/Libre/Open Source software metrics](*,
35   by Herraiz et al.
36 * *[The FOSSology project](*, by Gobeille
37 * *[Outline of a Mathematical Theory of Computation](*, by Scott
38 * *[Interaction pattern detection in process oriented information systems](*, by Dustdar and Hoffmann
39 * *[Rebuilding Debian using Distributed Computing](*, by Nussbaum
40 * *[Survival analysis in open development projects](* by Ortega and Izquierdo-Cortazar
41 * *[Subversion 1.5: A Case Study in Open Source Release Mismanagement](*, by Wright and Perry
42 * *[The User of Empirical Methods in Open Source Software Research: Facts, Trends and Future Directions](*, by Stol, Babar, Russo, Fitzgerald (FLOSS 2009)
43 * *[Estimating Commit Sizes Efficiently](*, by Hofmann and Riehle (OSS 2009)
44 * *[Merits of Using Repository Metrics in Defect Prediction for Open Source Projects](*, by Caglayan, Bener, Koch (FLOSS 2009)
45 * *[Analysis of Open Source Software Development Iterations by Means of Burst Detection Techniques](*, by Rossi, Russo, and Succi (OSS 2009)
46 * *[Yesterday, My Program Worked. Today, It Does Not, Why](*, by Zeller
47 * *[Off-the-Record Communication, or, Why Not To Use PGP](*, by Borisov, Goldberg, and Brewer
48 * *[Privacy and Artificial Agents, or, Is Google Reading My Email?](*
49 * *[Extending Google Docs to Collaborate on Research papers](*
50 * *[KM3: A DSL for Metamodel Specification](*, by Jouault anz Bézivin
51 * *[Tutorial notes on partial evaluation](*, by Consel and Danvy
52 * *[Towards a Precise Definition of the OMG/MDA Framework](*, by Bézivin and Gerbé
53 * *[On the unification power of models](*, by Jean Bézivin
54 * *[A Sound Type System for Secure Flow Analysis](*, by Volpan, Smith, and Irvine
55 * *[A Simple Applicative Language: Mini-ML](*, by Clément, Despeyroux, and Kahn
56 * *[Principal type-schemes for functional programs](*, by Damas and Milner
57 * *[Projective ML](*, by Rémy
58 * *[Type inference for records in a natural extension of ML](*, by Rémy
59 * *[Typechecking records and variants in a natural extension of ML](*, by Rémy
60 * *[Computational Social Science](*, by Lazer et al.
61 * *Towards more Semantic Web techniques in databases of Open Source development facts*, by Olivier Berger et al.
62 * *[Model-Driven Development (WMDD 2004)](* by Bezivin et al.
63 * *[Model transformations in the development of data-intensive web applications](* by Di Ruscio and Pierantonio (CAiSE 2005)
64 * *[Managing Libre Software Distributions under a Product Line Approach](* by Herraiz et al. (COMPSAC 2008)
65 * *[Object Lens: a "spreadsheet" for cooperative work](*, by Lay et al (ACM TOIS, 1988)
66 * *[Predicting vulnerable software components](*, by Neuhaus et al. (ACM CCS'07)
67 * *[Collective dynamics of "small-world" networks](*, by Watts, Strogatz (Nature (393)(1998) 440-442)
68 * *[Empirical Tests of Zipf's Law Mechanisms in Open Source Linux Distribution](*, by Maillart et al.
69 * *[Trust, secrecy, and accuracy in voting systems](*, by Casati
70 * *[Annotation and Navigation in Semantic Wikis](* by Oren et al.
71 * *[Towards a Wiki Interchange Format (WIF)](* by Volkel, Oren
72 * *[an EBNF grammar for Wiki Creole 1.0](* by Junghans, et al.
73 * *[an XML interchange format for Wiki Creole 1.0](* by Junghans, Riehle, Yalcinalp
74 * *[Introduction to Binary Decision Diagram](* by Henrik Reif Andersen
75 * *[Lightweight incremental application upgrade](* by van der Storm (technical report)
76 * *[modelling and resolving software dependencies](* by Burrows
77 * *[Creating, Reverting & Manipulating Filesystem Changesets on Linux](* (dissertation) by Robert McQueen
78 * *[On SAT Technologies for dependency management and beyond](*, by Le Berre and Parrain. [ASPL'08](
79 * *[Staged Deployment in Mirage, an Integrated Software Upgrade Testing and Distribution System](* by Crameri et al., ACM SIGOPS
80 * *[Finding similar files in a large file system](* by Manber, USENIX 1994
81 * *[Syntactic clustering of the web](* by Broder, Glassman, Manasse, Zweig. WWW 1997
82 * *[On the resemblance and containment of documents](* by Broder
83 * *[Winnowing: Local Algorithms for Document Fingerprinting](* by Schleimer, Wilkerson, Aiken
84 * *[Static detection of security vulnerabilities in scripting languages](*, by Y. Xie and A. Aiken. In Proceedings of the 15th USENIX Security Symposium, July 2006.
85 * *[Designing a Generic Graph Library using ML Functors](* (TFP 2007)
86 * *[Abash: Finding Bugs in Bash Scripts](* by Mazurak and Zdancewic
87 * *[maintainability of the Linux kernel](* (IEEE proceedings - software) by Schach, Jin, Wright, Heller, Offutt
88 * *[NixOS: a purely functional Linux Distribution](* by Dolstra, Löh
89 * *release management in free software projects: practices and problems*, by Michlmayr, Hunt, Probert
90 * *how to have a successful free software project*, by Senyard, Michlmayr
91 * *from the cathedral to the bazaar: an empirical study of the lifecycle of volunteer community projects*, by Capiluppi, Michlmayr
92 * *mining large software compilations over time: another perspective on software evolution*, by Robles, Gonzales-Barahona, Michlmayr, Amor
93 * *[managing the complexity of large free and open source package-based software distributions](*, by Mancinelli, Boender, Di Cosmo, Vouillon, Durak, Leroy, Treinen
94 * *improving the quality of GNU/Linux distributions: a sound approach*, by Mancinelli, Boender, Di Cosmo, Durak
95 * *[inter-package dependency networks in open-source software](* by La Belle, Wallingford
96 * *managing volunteer activity in free software projects*, by Michlmayr
97 * *OPIUM: optimal package install/uninstall manager*, by Tucker, Shuffelton, Jhala, Lerner
99 ## Paper to be read <small>(err, ASAP ...)</small>
101 * *[Lazy Functional Incremental Parsing](*, by Bernardy (draft)
102 * *[Real-world concurrency](*, by Cantrill and Bonwick (CACM)
103 * *[A tool for environment deployment in clusters and light grids](*, by Georgiou, Leduc, Videau, Peyrard, and Richard (SMTPS'06)
104 * *[The collaborative organization of knowledge](*, by Spinellis and Luoridas
105 * *[Evolution of volunteer participation in libre software projects: Evidence from Debian](*, by Robles, Gonzales-Barahona, Michlmayr (OSS 2005)
106 * *[Volunteers in Large Libre Software Projects: A Quantitative Analysis Over Time](*, by Michlmayr, Robles, and Gonzalez-Barahona
107 * *[Managing Delphi Surveys using Nonparametric Statistical Techniques](* by Roy C. Schmidt
108 * *[What's in Unison? A Formal Specification and Reference Implementation of a File Synchronizer](* by Pierce and Vouillon
109 * *[Timing the application of security patches for optimal uptime](* by Beattie et al, LISA/USENIX 2002
110 * *[Package management security](* by Cappos, Samuel, Baker, Hartman
111 * *[The Essence of Command Injection Attacks in Web Applications](*, by Su, Wassermann
112 * *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
113 * *quality and the reliance on individuals in free software project* (3rd workshop on open source software engineering) by Michlmayr and Hill
114 * *[extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution](* by Gelder
115 * *validating sat solvers using an independent resolution-based checker: practical implementations and other applications* by Zhang, Malik
116 * *the power of gifts: organizing social relationships in open source communities* (information systems journal) by Berquist, Ljungberg)
117 * *evidences in the evolution of OS projects through changelog analyses* by Capiluppi, Lago, Morisio
118 * *[clustering and dependencies in free/open source software development: methodology and tools](* by Ghosh
119 * *[putting it all in the trunk: incremental software engineering in the FreeBSD
120 Open Source
121 project](* by
122 Jorgensen
123 * *[on the security of open source
124 software](*
125 by Payne
126 * *[Code quality analysis in open source software development](* by Stamelos, Angelis, Oikonomou, and Bleris
127 * *[The social structure of free and open source software development](* by Crowston and Howison
128 * *Optimal release time of improved versions of software packages* by Levin and Yadid
129 * *[Quality practices and problems in free software projects](* by Michlmayr, Hunt, Probert
130 * *[Rules and Tools for Software Evolution Planning and Management](* by Lehman and Ramil
131 * *[metrics and laws of software evolution - the nineties view](* by Lehman and Ramil
132 * *[A Portable Compiler-Integrated Approach to Permanent Checking](* by Volanschi
133 * *Computer science education in the 21st century*, by Paterson, CACM 49(3):27-31
134 * *Experience report: using functional programming to manage a Linux distribution*, by Beshers, Fox, Shaw, ICFP'07
135 * *Cfengine: a site configuration engine*, Computing Systems 8(3), 1995
136 * *Making system configuration more declarative*, in HotOS X, USENIX, June 2005
137 * *Imposing a memory management discipline on software deployment*, by Dolstra, Visser, de Jonge, in ICSE 2004
138 * *A principled approach to operating system construction in Haskell* by Hallgren, Jones, Leslie, Tolmach, ICFP'05
139 * *[Abstract Interpretation: a Semantics-Based Tool for Program Analysis](* by Jones, Nielson, handbook of logic in computer science
140 * [modules, macros and lisp](
141 * [mdules, macros and evaluation](
142 * [Static Analysis for Java Servlets and JSP](
143 * [Static Analysis of Mega-Programs](
144 * [Applications of Extended Static Checking](
145 * [Precise Analysis of String Expressions](
147 ### printed
149 * *[Stochastic models for the web graph](* by Kumar et al.
150 * *[The Delphi method](* by Gordon
151 * *[analyzing dependencies in large component-based systems](* (ASE 02) by Vieira, Richardson
152 * *[Applying social network analysis techniques to community-driven libre software projects](* by Lopez, Barahona, Herraiz, Robles
153 * *[Release management within open source projects](* by Erenkrantz
154 * *[Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions](* by Engler et al
155 * *[effort, cooperation and coordination in an open source software project: GNOME](* (information systems journal) by Koch, Schneider
156 * *[two case studies of open source software development: Apache and Mozilla](* (ACM TOSE) by Mockus, Fielding, Herbsleb