(no commit message)
[homepage.git] / wiki / academia / reading_list.mdwn
index 46d13ad..8b92129 100644 (file)
-## To be read ASAP
+[[!toc ]]
 
-[[on_macros,_lisp,_...]]
+## Recently read papers
 
+* *Scientific Publications: The Role of Public Administrations in The ICT Era*, by Di Cosmo
+* *[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)
+* *[Directing change using bcfg2](http://www.usenix.org/events/lisa06/tech/full_papers/desai/desai_html/)* by Desai et al. (USENIX-LISA)
+* *[PoDIM: a language for high-level configuration management](https://www.usenix.net/events/lisa07/tech/full_papers/delaet/delaet.pdf)* (USENIX-LISA)
+* *[Large scale linux configuration with LCFG](http://www.dcs.ed.ac.uk/home/ascobie/reports/ALS2000.pdf)* (USENIX-LISA)
+* *[Puppet - next-generation configuration management](http://www.usenix.org/publications/login/2006-02/pdfs/kanies.pdf)* by Kanies (;LOGIN: USENIX newsletter)
+* *[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)
+* *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](http://www.springerlink.com/content/j493w6a3uwxbf5l2/)* by Mannion
+* *[Do sat solvers make good configurators?](https://sort.ucd.ie/documents/published/Janota08.pdf)* by Janota
+* *[Grammars as feature diagrams](http://reference.kfupm.edu.sa/content/g/r/grammars_as_feature_diagrams_96223.pdf)* by De Jonge and Visser
+* *[Automated Reasoning on Feature Models](http://www.springerlink.com/index/qh6yvx3y6pxet8ex.pdf)* by Benavides
+* *[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
+* *[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.
+* *[SAT-based analysis of feature models is easy](http://doi.acm.org/10.1145/1753235.1753267)* by Mendonça et al.
+* *[Feature Models, Grammars, and Propositional Formulas](http://www.springerlink.com/content/9t1veyhqe6myj08r/)* by Don Batory
+* *[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
+* *Evaluating IPv6 Adoption in the Internet*, by Colitti, Gunderson, et al. (Google Inc.)
+* *[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.
+* *The happyness of Giving: the Time-Ask Effect* by Lu and Aaker
+* *[Formalism for safe component ugprades](http://www.computer.org/portal/web/csdl/doi/10.1109/CSIE.2009.761)*,
+  by Xu et al.
+* [FLOSSMetrics: Free/Libre/Open Source software metrics](http://herraiz.org/papers/english/flossmetrics_csmr.pdf)*,
+  by Herraiz et al.
+* *[The FOSSology project](http://portal.acm.org/citation.cfm?doid=1370750.1370763)*, by Gobeille
+* *[Outline of a Mathematical Theory of Computation](http://www.ryanflannery.org/math/docs/Scott-MathTheoryOfComputation.pdf)*, by Scott
+* *[Interaction pattern detection in process oriented information systems](http://www.infosys.tuwien.ac.at/Staff/sd/papers/InteractionPatternDetectionInProcessOrientedInformationSystems.pdf)*, by Dustdar and Hoffmann
+* *[Rebuilding Debian using Distributed Computing](http://doi.acm.org/10.1145/1552315.1552318)*, by Nussbaum
+* *[Survival analysis in open development projects](http://dx.doi.org/10.1109/FLOSS.2009.5071353)* by Ortega and Izquierdo-Cortazar
+* *[Subversion 1.5: A Case Study in Open Source Release Mismanagement](http://dx.doi.org/10.1109/FLOSS.2009.5071354)*, by Wright and Perry
+* *[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)
+* *[Estimating Commit Sizes Efficiently](http://www.springerlink.com/index/0k26k71h1g575819.pdf)*, by Hofmann and Riehle (OSS 2009)
+* *[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)
+* *[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)
+* *[Yesterday, My Program Worked. Today, It Does Not, Why](http://doi.acm.org/10.1145/318774.318946)*, by Zeller
+* *[Off-the-Record Communication, or, Why Not To Use PGP](http://www.cypherpunks.ca/otr/otr-wpes.pdf)*, by Borisov, Goldberg, and Brewer
+* *[Privacy and Artificial Agents, or, Is Google Reading My Email?](http://www.sci.brooklyn.cuny.edu/~schopra/choprawhite497.pdf)*
+* *[Extending Google Docs to Collaborate on Research papers](http://www.sci.usq.edu.au/staff/dekeyser/googledocs.pdf)*
+* *[KM3: A DSL for Metamodel Specification](http://www.springerlink.com/content/61p3347k8544207p/)*, by Jouault anz Bézivin
+* *[Tutorial notes on partial evaluation](http://portal.acm.org/citation.cfm?id=158707)*, by Consel and Danvy
+* *[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é
+* *[On the unification power of models](http://www.springerlink.com/content/xn50242535640k10/)*, by Jean Bézivin
+* *[A Sound Type System for Secure Flow Analysis](http://portal.acm.org/citation.cfm?id=353629.353648)*, by Volpan, Smith, and Irvine
+* *[A Simple Applicative Language: Mini-ML](http://portal.acm.org/citation.cfm?id=319847)*, by Clément, Despeyroux, and Kahn
+* *[Principal type-schemes for functional programs](http://portal.acm.org/citation.cfm?id=582176)*, by Damas and Milner
+* *[Projective ML](http://portal.acm.org/citation.cfm?id=141507)*, by Rémy
+* *[Type inference for records in a natural extension of ML](http://repository.upenn.edu/cis_reports/641/)*, by Rémy
+* *[Typechecking records and variants in a natural extension of ML](http://portal.acm.org/citation.cfm?id=75284)*, by Rémy
+* *[Computational Social Science](http://www.sciencemag.org/cgi/content/full/323/5915/721)*, 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)](http://springerlink.metapress.com/content/x0wfwadp82h1fkmv/fulltext.pdf)* by Bezivin et al.
+* *[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)
+* *[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)
+* *[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)
+* *[Predicting vulnerable software components](http://www.st.cs.uni-saarland.de/publications/files/neuhaus-ccs-2007.pdf)*, by Neuhaus et al. (ACM CCS'07)
+* *[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)
+* *[Empirical Tests of Zipf's Law Mechanisms in Open Source Linux Distribution](http://arxiv.org/pdf/0807.0014v1)*, by Maillart et al.
+* *[Trust, secrecy, and accuracy in voting systems](http://hal.archives-ouvertes.fr/docs/00/22/19/85/PDF/0711TrustSecrecyReliabilityVotingSystems.pdf)*, by Casati
+* *[Annotation and Navigation in Semantic Wikis](http://www.eyaloren.org/pubs/semwiki2006.pdf)* by Oren et al.
+* *[Towards a Wiki Interchange Format (WIF)](http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-206/paper20.pdf)* by Volkel, Oren
+* *[an EBNF grammar for Wiki Creole 1.0](http://portal.acm.org/citation.cfm?id=1324964)* by Junghans, et al.
+* *[an XML interchange format for Wiki Creole 1.0](http://portal.acm.org/citation.cfm?id=1324965)* by Junghans, Riehle, Yalcinalp
+* *[Introduction to Binary Decision Diagram](http://www.itu.dk/people/hra/bdd-eap.pdf)* by Henrik Reif Andersen
+* *[Lightweight incremental application upgrade](http://old-www.cwi.nl/themes/sen1/twiki/pub/Deliver/Publications/SEN-R0604.pdf)* by van der Storm (technical report)
+* *[modelling and resolving software dependencies](http://people.debian.org/~dburrows/model.pdf)* by Burrows
+* *[Creating, Reverting & Manipulating Filesystem Changesets on Linux](http://robot101.net/files/diss.ps.gz)* (dissertation) by Robert McQueen
+* *[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/)
+* *[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
+* *[Finding similar files in a large file system](http://www.usenix.org/publications//library/proceedings/sf94/full_papers/manber.finding)* by Manber, USENIX 1994
+* *[Syntactic clustering of the web](http://www.std.org/~msm/common/clustering.html)* by Broder, Glassman, Manasse, Zweig. WWW 1997
+* *[On the resemblance and containment of documents](http://www.cs.princeton.edu/courses/archive/spr05/cos598E/bib/broder97resemblance.pdf)* by Broder
+* *[Winnowing: Local Algorithms for Document Fingerprinting](http://theory.stanford.edu/~aiken/publications/papers/sigmod03.pdf)* by Schleimer, Wilkerson, Aiken
+* *[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.
+* *[Designing a Generic Graph Library using ML Functors](http://www.lri.fr/~filliatr/ftp/publis/ocamlgraph.ps)* (TFP 2007)
+* *[Abash: Finding Bugs in Bash Scripts](http://www.cis.upenn.edu/~stevez/papers/MZ07.pdf)* by Mazurak and Zdancewic
+* *[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
+* *[NixOS: a purely functional Linux Distribution](http://people.cs.uu.nl/andres/NixOS.html)* 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](http://doi.ieeecomputersociety.org/10.1109/ASE.2006.49)*, 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](http://arxiv.org/pdf/cs.SE/0411096)* 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 <small>(err, ASAP ...)</small>
+
+* *[Lazy Functional Incremental Parsing](http://www.cse.chalmers.se/~bernardy/FunctionalIncrementalParsing.pdf)*, by Bernardy (draft)
+* *[Real-world concurrency](http://doi.acm.org/10.1145/1454456.1454462)*, by Cantrill and Bonwick (CACM)
+* *[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)
+* *[The collaborative organization of knowledge](http://doi.acm.org/10.1145/1378704.1378720)*, by Spinellis and Luoridas
+* *[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)
+* *[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
+* *[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
+* *[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
+* *[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
 * *[Package management security](ftp://ftp.cs.arizona.edu/reports/2008/TR08-02.pdf)* by Cappos, Samuel, Baker, Hartman
 * *[The Essence of Command Injection Attacks in Web Applications](www.cs.ucdavis.edu/~su/publications/popl06.pdf)*, by Su, Wassermann
-* *collective dynamics of "small-world" networks*, by Watts, Strogatz [Nature (393)(1998) 440-442]
 * *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](ftp://ftp.cse.ucsc.edu/pub/avg/CBJ/sat-pre-post.ps.gz)* by Gelder
@@ -33,39 +130,21 @@ by Payne
 * *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](ftp://ftp.diku.dk/diku/semantics/papers/D-58.ps.Z)* by Jones, Nielson, handbook of logic in computer science
+* [modules, macros and lisp](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/chili.ps.gz)
+* [mdules, macros and evaluation](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/modmac2.ps.gz)
+* [Static Analysis for Java Servlets and JSP](http://www.springerlink.com/content/22257382u0u840h6/)
+* [Static Analysis of Mega-Programs](http://www.springerlink.com/content/tbylt4jtqql3wne6/)
+* [Applications of Extended Static Checking](http://www.springerlink.com/content/jfa1wvl9jgd1lfge/)
+* [Precise Analysis of String Expressions](http://www.springerlink.com/content/u0hlt5rf8nr6rnvl/)
 
 ### printed
 
+* *[Stochastic models for the web graph](http://www.cs.brown.edu/research/webagent/focs-2000.pdf)* by Kumar et al.
+* *[The Delphi method](http://www.gerenciamento.ufba.br/Downloads/delphi%20(1).pdf)* by Gordon
 * *[analyzing dependencies in large component-based systems](http://ieeexplore.ieee.org/iel5/8183/24593/01115020.pdf)* (ASE 02) by Vieira, Richardson
 * *[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
 * *[Release management within open source projects](http://www.erenkrantz.com/Geeks/Research/Publications/ReleaseManagement.pdf)* by Erenkrantz
 * *[Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions](http://www.stanford.edu/~engler/mc-osdi.ps)* by Engler et al
-* *[An Abstract Interpretation-Based Framework for Software Watermarking](http://www.di.ens.fr/~cousot/COUSOTpapers/POPL04.shtml)* by Cousot and Cousot
 * *[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
 * *[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
 
-## Other stuff to look at
-
-* *smart package manager* by Niemeyer <http://labix.org/smart>
-
-## Recently read papers
-
-* *[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
-* *[Finding similar files in a large file system](http://www.usenix.org/publications//library/proceedings/sf94/full_papers/manber.finding)* by Manber, USENIX 1994
-* *[Syntactic clustering of the web](http://www.std.org/~msm/common/clustering.html)* by Broder, Glassman, Manasse, Zweig. WWW 1997
-* *[On the resemblance and containment of documents](http://www.cs.princeton.edu/courses/archive/spr05/cos598E/bib/broder97resemblance.pdf)* by Broder
-* *[Winnowing: Local Algorithms for Document Fingerprinting](http://theory.stanford.edu/~aiken/publications/papers/sigmod03.pdf) by Schleimer, Wilkerson, Aiken
-* *[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.
-* *[Designing a Generic Graph Library using ML Functors](http://www.lri.fr/~filliatr/ftp/publis/ocamlgraph.ps)* (TFP 2007)
-* *[Abash: Finding Bugs in Bash Scripts](http://www.cis.upenn.edu/~stevez/papers/MZ07.pdf)* by Mazurak and Zdancewic
-* *[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
-* *[NixOS: a purely functional Linux Distribution](http://people.cs.uu.nl/andres/NixOS.html)* 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](http://arxiv.org/pdf/cs.SE/0411096)* by La Belle, Wallingford
-* *managing volunteer activity in free software projects*, by Michlmayr
-* *OPIUM: optimal package install/uninstall manager*, by Tucker, Shuffelton, Jhala, Lerner