fix dup @id error
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 29 Dec 2009 14:58:59 +0000 (15:58 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 29 Dec 2009 14:58:59 +0000 (15:58 +0100)
research/publications.mdwn

index db7647b..8bd0f75 100644 (file)
@@ -58,13 +58,13 @@ in reverse chronological order.
 
  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>
-    [[!toggle id=id31 text="Abstract..."]] [[!toggleable id=id31 text="""
+    [[!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>
-    [[!toggle id=id30 text="Abstract..."]] [[!toggleable id=id30 text="""
+    [[!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.
     """]]
  1. <a class="paper_download" href="mooml-iwoce-2009.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://doi.acm.org/10.1145/1595800.1595806" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.pps.jussieu.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Expressing Advanced User preferences in Component Installation**.  <em>
@@ -75,7 +75,7 @@ in reverse chronological order.
        <a href="http://portal.acm.org/citation.cfm?id=1595800.1595806">pp. 31-40</a>,
        ACM 2009.
       </em>
-    [[!toggle id=id29 text="Abstract..."]] [[!toggleable id=id29 text="""
+    [[!toggle id=id30 text="Abstract..."]] [[!toggleable id=id30 text="""
     *Abstract:* State of the art component-based software collections, such as FOSS distributions, are made of up to dozens of thousands components, with complex inter-dependencies and conflicts. Given a particular installation of such a system, each request to alter the set of installed components has potentially (too) many satisfying answers. We present an architecture that allows to express advanced user preferences about package selection in FOSS distributions. The architecture is composed by a distribution-independent format for describing available and installed packages called CUDF (Common Upgradeability Description Format), and a foundational language called MooML to specify optimization criteria. We present the syntax and semantics of CUDF and MooML, and discuss the partial evaluation mechanism of MooML which allows to gain efficiency in package dependency solvers.
     """]]
  1. <a class="paper_download" href="modernization-iwoce-2009.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://doi.acm.org/10.1145/1595800.1595803" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.di.univaq.it/diruscio/">Davide Di Ruscio</a>, <a href="http://www.di.univaq.it/pellicci/index_personal.php">Patrizio Pelliccione</a>, <a href="http://www.di.univaq.it/di/home.php?username=alfonso">Alfonso Pierantonio</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Towards maintainer script modernization in FOSS distributions**.  <em>
@@ -86,7 +86,7 @@ in reverse chronological order.
        <a href="http://portal.acm.org/citation.cfm?id=1595800.1595803">pp. 11-20</a>,
        ACM 2009.
       </em>
-    [[!toggle id=id28 text="Abstract..."]] [[!toggleable id=id28 text="""
+    [[!toggle id=id29 text="Abstract..."]] [[!toggleable id=id29 text="""
     *Abstract:* Free and Open Source Software (FOSS) distributions are complex software systems, made of thousands packages that evolve rapidly, independently, and without centralized coordination. During packages upgrades, corner case failures can be encountered and are hard to deal with, especially when they are due to misbehaving maintainer scripts: executable code snippets used to finalize package configuration. In this paper we report a software modernization experience, the process of representing existing legacy systems in terms of models, applied to FOSS distributions. We present a process to define meta-models that enable dealing with upgrade failures and help rolling back from them, taking into account maintainer scripts. The process has been applied to widely used FOSS distributions and we report about such experiences.
     """]]
  1. <a class="paper_download" href="strongdeps-esem-2009.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1109/ESEM.2009.5316017" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, Jaap Boender, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Strong Dependencies between Software Components**.  <em>
@@ -95,7 +95,7 @@ in reverse chronological order.
        Measurement), ISBN 978-1-4244-4842-5, <a href="http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=5316017">pp. 89-99</a>. October
        15-16, 2009 - Lake Buena Vista, Florida, USA.
       </em>
-    [[!toggle id=id27 text="Abstract..."]] [[!toggleable id=id27 text="""
+    [[!toggle id=id28 text="Abstract..."]] [[!toggleable id=id28 text="""
     *Abstract:* Component-based systems often describe context requirements in terms of explicit inter-component dependencies. Studying large instances of such systems—such as free and open source software (FOSS) distributions—in terms of declared dependencies between packages is appealing. It is however also misleading when the language to express dependencies is as expressive as boolean formulae, which is often the case. In such settings, a more appropriate notion of component dependency exists: strong dependency. This paper introduces such notion as a first step towards modeling semantic, rather then syntactic, inter-component relationships. Furthermore, a notion of component sensitivity is derived from strong dependencies, with applications to quality assurance and to the evaluation of upgrade risks. An empirical study of strong dependencies and sensitivity is presented, in the context of one of the largest, freely available, component-based system.
     """]]
  1. <a class="paper_download" href="enase2009-upgrade.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <a href="http://www.di.univaq.it/cicchetti">Antonio Cicchetti</a>, <a href="http://www.di.univaq.it/diruscio/">Davide Di Ruscio</a>, <a href="http://www.di.univaq.it/pellicci/index_personal.php">Patrizio Pelliccione</a>, <a href="http://www.di.univaq.it/di/home.php?username=alfonso">Alfonso Pierantonio</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Towards a Model Driven Approach to Upgrade Complex Software Systems**.  <em>In proceedings