(no commit message)
[homepage.git] / wiki / academia / reading_list.mdwn
index 525d279..8b92129 100644 (file)
@@ -2,6 +2,48 @@
 
 ## 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
 * *managing volunteer activity in free software projects*, by Michlmayr
 * *OPIUM: optimal package install/uninstall manager*, by Tucker, Shuffelton, Jhala, Lerner
 
-## To be read ASAP
+## 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
@@ -89,8 +137,6 @@ by Payne
 * [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.
@@ -99,7 +145,6 @@ by Payne
 * *[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