new paper
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 Jun 2009 16:37:30 +0000 (18:37 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 Jun 2009 16:37:30 +0000 (18:37 +0200)
research/publications.mdwn

index 03a819f..4e4befa 100644 (file)
@@ -66,6 +66,16 @@ in reverse chronological order.
     [[!toggle id=id29 text="Abstract..."]] [[!toggleable id=id29 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> <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>
+       To appear in proceedings
+       of <a href="http://www.iwoce.org">IWOCE 2009</a> International
+       Workshop on Open Component Ecosystem, affiliated
+       with <a href="http://www.esec-fse-2009.ewi.tudelft.nl/">ESEC/FSE 2009</a>.
+       August 24, 2009 - Amsterdam, The Netherlands.
+      </em>
+    [[!toggle id=id28 text="Abstract..."]] [[!toggleable id=id28 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> 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>
        To appear in proceedings
        of <a href="http://www.csc2.ncsu.edu/conferences/esem/">ESEM