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