(no commit message)
[homepage.git] / wiki / academia / reading_list.mdwn
index b516a2e..8b92129 100644 (file)
@@ -2,6 +2,28 @@
 
 ## 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