update some publication references
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 29 Sep 2010 09:41:21 +0000 (11:41 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 29 Sep 2010 09:41:21 +0000 (11:41 +0200)
research/publications.mdwn

index 6ccf462..2a99f98 100644 (file)
@@ -59,26 +59,32 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed conferences">conference proceedings</span>
 
- 1. <a class="paper_download" href="splc2010-fd-deps.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Feature Diagrams as Package Dependencies**.  <em>To appear in proceedings of SPLC 2010 (the <a href="http://msr.uwaterloo.ca/msr2010/">14th International Software
+ 1. <a class="paper_download" href="splc2010-fd-deps.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/http://dx.doi.org/10.1007/978-3-642-15579-6_40" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Feature Diagrams as Package Dependencies**.  <em>In proceedings of SPLC 2010 (the <a href="http://msr.uwaterloo.ca/msr2010/">14th International Software
       Product Line Conference</a>), Jeju Island, South Korea, 13-17 September
-      2010. LNCS 6287, pp. 476-480, Springer-Verlag, 2010.</em>
+      2010. <a href="http://www.springerlink.com/content/978-3-642-15578-9/contents/">LNCS
+      6287</a>, ISBN 978-3-642-15578-9, <a href="http://www.springerlink.com/content/7534146613550207/">pp. 476-480</a>,
+      Springer-Verlag, 2010.</em>
     [[!toggle id=id34 text="Abstract..."]] [[!toggleable id=id34 text="""
     *Abstract:* FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research have led to efficient and complete configuration tools and techniques, based on state of the art solvers, that are being adopted in industry. We show how to encode a significant subset of Free Feature Diagrams as interdependent packages, enabling to reuse package tools and research results into software product lines.
     """]]
- 1. <a class="paper_download" href="msr2010-udd.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <a href="http://www.loria.fr/~lnussbau/">Lucas Nussbaum</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **The Ultimate Debian Database: Consolidating Bazaar Metadata for Quality Assurance and Data Mining**.  <em>To appear in proceedings of MSR 2010 (the <a href="http://msr.uwaterloo.ca/msr2010/">7th IEEE Working Conference on
-      Mining Software Repositories</a>, co-located with <a href="http://www.sbs.co.za/ICSE2010/">ICSE 2010</a>),
-      IEEE. 02-03/05/2010, Cape Town, South Africa.</em>
+ 1. <a class="paper_download" href="msr2010-udd.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/http://dx.doi.org/10.1109/MSR.2010.5463277" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.loria.fr/~lnussbau/">Lucas Nussbaum</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **The Ultimate Debian Database: Consolidating Bazaar Metadata for Quality Assurance and Data Mining**.  <em>In <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5457933">proceedings
+      of MSR 2010</a> (the <a href="http://msr.uwaterloo.ca/msr2010/">7th IEEE
+      Working Conference on Mining Software Repositories</a>, co-located with
+      <a href="http://www.sbs.co.za/ICSE2010/">ICSE 2010</a>), IEEE, ISBN
+      978-1-4244-6802-7, <a href="http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&amp;arnumber=5463277">pp. 52-61</a>.
+      02-03/05/2010, Cape Town, South Africa.</em>
     [[!toggle id=id33 text="Abstract..."]] [[!toggleable id=id33 text="""
     *Abstract:* FLOSS distributions like RedHat and Ubuntu require a lot more complex infrastructures than most other FLOSS projects. In the case of community-driven distributions like Debian, the development of such an infrastructure is often not very organized, leading to new data sources being added in an impromptu manner while hackers set up new services that gain acceptance in the community. Mixing and matching data is then harder than should be, albeit being badly needed for Quality Assurance and data mining. Massive refactoring and integration is not a viable solution either, due to the constraints imposed by the bazaar development model. This paper presents the Ultimate Debian Database (UDD), which is the countermeasure adopted by the Debian project to the above "data hell". UDD gathers data from various data sources into a single, central SQL database, turning Quality Assurance needs that could not be easily implemented before into simple SQL queries. The paper also discusses the customs that have contributed to the data hell, the lessons learnt while designing UDD, and its applications and potentialities for data mining on FLOSS distributions.
     """]]
- 1. <a class="paper_download" href="jfla10-dh-ocaml.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <a href="http://www.pps.jussieu.fr/~dogguy/">Mehdi Dogguy</a>, <a href="http://stephane.glondu.net/">Stéphane Glondu</a>, <a href="http://sylvain.le-gall.net/">Sylvain Le Gall</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Enforcing Type-Safe Linking using Inter-Package Relationships**.  <em>To appear in proceedings of JFLA 2010 (the <a href="http://jfla.inria.fr/2010/">21st Journée Francophones des Langages
-      Applicatifs</a>). 30/01-02/02/2010 - La Ciotat, France.</em>
+ 1. <a class="paper_download" href="jfla10-dh-ocaml.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <a href="http://www.pps.jussieu.fr/~dogguy/">Mehdi Dogguy</a>, <a href="http://stephane.glondu.net/">Stéphane Glondu</a>, <a href="http://sylvain.le-gall.net/">Sylvain Le Gall</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Enforcing Type-Safe Linking using Inter-Package Relationships**.  <em>In proceedings of JFLA 2010 (the <a href="http://jfla.inria.fr/2010/">21st Journée Francophones des Langages
+      Applicatifs</a>), pp. 29-54. 30/01-02/02/2010 - La Ciotat, France.</em>
     [[!toggle id=id32 text="Abstract..."]] [[!toggleable id=id32 text="""
     *Abstract:* Strongly-typed languages rely on link-time checks to ensure that type safety is not violated at the borders of compilation units. Such checks entail very fine-grained dependencies among compilation units, which are at odds with the implicit assumption of backward compatibility that is relied upon by common library packaging techniques adopted by FOSS (Free and Open Source Software) package-based distributions. As a consequence, package managers are often unable to prevent users to install a set of libraries which cannot be linked together. We discuss how to guarantee link-time compatibility using inter-package relationships; in doing so, we take into account real-life maintainability problems such as support for automatic package rebuild and manageability of ABI (Application Binary Interface) strings by humans. We present the dh_ocaml implementation of the proposed solution, which is currently in use in the Debian distribution to safely deploy more than 300 OCaml-related packages.
     """]]
- 1. <a class="paper_download" href="sac10-coclo.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <a href="http://www.cs.unibo.it/~gdangelo/">Gabriele D'Angelo</a>, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Content Cloaking: Preserving Privacy with Google Docs and other Web Applications**.  <em>To appear in proceedings of ACM SAC 2010 (the <a href="http://www.acm.org/conferences/sac/sac2010/">25th Annual ACM
-      Symposium on Applied Computing</a>). 22-26/03/2010 - Sierre,
-      Switzerland.</em>
+ 1. <a class="paper_download" href="sac10-coclo.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://doi.acm.org/10.1145/1774088.1774259" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.cs.unibo.it/~gdangelo/">Gabriele D'Angelo</a>, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Content Cloaking: Preserving Privacy with Google Docs and other Web Applications**.  <em>In <a href="http://portal.acm.org/toc.cfm?id=1774088&amp;type=proceeding&amp;coll=GUIDE&amp;dl=GUIDE&amp;CFID=106564825&amp;CFTOKEN=63108649">proceedings
+      of ACM SAC 2010</a> (the <a href="http://www.acm.org/conferences/sac/sac2010/">25th Annual ACM
+      Symposium on Applied Computing</a>), ISBN 978-1-60558-639-7, <a href="http://portal.acm.org/citation.cfm?doid=1774088.1774259">pp. 826-830</a>.
+      22-26/03/2010 - Sierre, Switzerland.</em>
     [[!toggle id=id31 text="Abstract..."]] [[!toggleable id=id31 text="""
     *Abstract:* Web office suites such as Google Docs offer unparalleled collaboration experiences in terms of low software requirements, ease of use, data ubiquity, and availability. When the data holder (Google, Microsoft, etc.) is not perceived as trusted though, those benefits are considered at stake with important privacy requirements. Content cloaking is a lightweight, cryptographic, client-side solution to protect content from data holders while using web office suites and other "Web 2.0", AJAX-based, collaborative applications.
     """]]