last paper
[homepage.git] / wiki / academia / reading_list.mdwn
index 5219494..1273b87 100644 (file)
@@ -1,9 +1,63 @@
-## To be read ASAP
+[[!toc ]]
 
-[[on_macros,_lisp,_...]]
+## Recently read papers
+
+* *[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
+
+## To be read ASAP
 
+* *[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
@@ -32,9 +86,19 @@ 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/)
+
+[[on_macros,_lisp,_...]]
 
 ### 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
@@ -43,27 +107,3 @@ by Payne
 * *[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
-
-* *[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