wiki readling list: get rid of read paper
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Mar 2012 16:26:31 +0000 (18:26 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 26 Mar 2012 16:26:31 +0000 (18:26 +0200)
it is doomed to be permanently out of date anyhow...

wiki/academia.mdwn
wiki/academia/reading_list.mdwn

index bbdbe92..a8e0021 100644 (file)
@@ -1,5 +1,5 @@
 Some stuff related to my [[research]] activities.
 
-* [[reading_list]] of papers I've read or that I should *really* find the time to read
+* [[reading_list]] of papers I should *really* find the time to read
 * [[computer_forensics]] (mini scientific bibliography *in divenire* about [[!wikipedia computer forensics]])
 * [[testing_migration]]
index 5f2e377..0d33135 100644 (file)
@@ -1,102 +1,3 @@
-[[!toc ]]
-
-## 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](http://www.scientificamerican.com/article.cfm?id=long-live-the-web)*, by Tim Berners-Lee
-* *[Three ethical moments in Debian](http://papers.ssrn.com/sol3/papers.cfm?abstract_id=805287)*, by Coleman
-* *[Semantic structure and finite-size saturation in scale-free dependency networks of free software](http://arxiv.org/abs/0901.4904)*, by Nair et al.
-* *[S.P.L.O.T.: software product lines online tools](http://portal.acm.org/citation.cfm?id=1640002)*, 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](http://steinhardt.nyu.edu/scmsAdmin/uploads/005/553/83.1.coleman.pdf)*, by Biella Coleman
-* *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)
@@ -144,15 +45,3 @@ by Payne
 * [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
-* *[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
-