papers: add DOI for SEFM 2012 paper
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 28 Sep 2012 15:19:41 +0000 (17:19 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 28 Sep 2012 15:19:41 +0000 (17:19 +0200)
research/publications.mdwn
research/publications/sefm2012-aeolus.bib

index 004ade0..10ae6f2 100644 (file)
@@ -7,12 +7,12 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed journals">international, peer-reviewed journal articles</span>
 
- 1. <a class="paper-download" href="infsof2012-mpm.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="infsof2012-mpm.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.infsof.2012.09.002" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.jussieu.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **A Modular Package Manager Architecture**.  <em>To appear in <a href="http://www.journals.elsevier.com/information-and-software-technology/">Information
+ 1. <a class="paper-download" href="infsof2012-mpm.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="infsof2012-mpm.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.infsof.2012.09.002" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **A Modular Package Manager Architecture**.  <em>To appear in <a href="http://www.journals.elsevier.com/information-and-software-technology/">Information
       and Software Technology</a>, Elsevier.</em>
     [[!toggle id=id42 text="Abstract..."]] [[!toggleable id=id42 text="""
     *Abstract:* The success of modern software distributions in the Free and Open Source world can be explained, among other factors, by the availability of a large collection of software packages and the possibility to easily install and remove those components using state of the art package managers. However, package managers are often built using a monolithic architecture and hard-wired and ad-hoc dependency solvers implementing some customized heuristics. In this paper we propose a modular architecture relying on precise interface formalisms that allows the system administrator to choose from a variety of dependency solvers and backends. We argue that this is the path that leads to the next generation of package managers that will deliver better results, offer more expressive preference languages, and be easily adaptable to new platforms. We have built a working prototype—called MPM—following the design advocated in this paper, and we show how it largely outperforms a variety of state of the art package managers.
     """]]
- 1. <a class="paper-download" href="jss2012-concern.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="jss2012-concern.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.jss.2012.02.018" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.jussieu.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Dependency Solving: a Separate Concern in Component Evolution Management**.  <em>In <a href="http://www.journals.elsevier.com/journal-of-systems-and-software/">Journal
+ 1. <a class="paper-download" href="jss2012-concern.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="jss2012-concern.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.jss.2012.02.018" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Dependency Solving: a Separate Concern in Component Evolution Management**.  <em>In <a href="http://www.journals.elsevier.com/journal-of-systems-and-software/">Journal
       of Systems and Software</a>,
       Volume 85, Issue 10,
       <a href="http://www.sciencedirect.com/science/article/pii/S0164121212000477">pp. 2228-2240</a>.
@@ -85,7 +85,7 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed conferences">international, peer-reviewed conference proceedings</span>
 
- 1. <a class="paper-download" href="sefm2012-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="sefm2012-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Towards a Formal Component Model for the Cloud**.  <em>In proceedings of SEFM 2012: <a href="http://sefm2012.city.academic.gr/">10th International Conference on
+ 1. <a class="paper-download" href="sefm2012-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="sefm2012-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/978-3-642-33826-7_11" 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>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Towards a Formal Component Model for the Cloud**.  <em>In proceedings of SEFM 2012: <a href="http://sefm2012.city.academic.gr/">10th International Conference on
       Software Engineering and Formal Methods</a>, Thessaloniki,
       Greece, 1-5 October, 2012. LNCS 7504,
       pp. 156-171, Springer-Verlag,
@@ -93,7 +93,7 @@ in reverse chronological order.
     [[!toggle id=id43 text="Abstract..."]] [[!toggleable id=id43 text="""
     *Abstract:* We consider the problem of deploying and (re)configuring resources in a "cloud" setting, where interconnected software components and services can be deployed on clusters of heterogeneous (virtual) machines that can be created and connected on-the-fly. We introduce the Aeolus component model to capture similar scenarii from realistic cloud deployments, and instrument automated planning of day-to-day activities such as software upgrade planning, service deployment, elastic scaling, etc. We formalize the model and characterize the feasibility and complexity of configuration achievability in Aeolus.
     """]]
- 1. <a class="paper-download" href="cbse2012-futures.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="cbse2012-futures.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.jussieu.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Learning from the Future of Component Repositories**.  <em>To appear in proceedings of CBSE 2012:
+ 1. <a class="paper-download" href="cbse2012-futures.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="cbse2012-futures.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Learning from the Future of Component Repositories**.  <em>To appear in proceedings of CBSE 2012:
       <a href="http://cbse-conferences.org/2012/">15th International ACM
       SIGSOFT Symposium on Component Based Software
       Engineering</a>, Bertinoro, Italy, June 26-28, 2012.
@@ -102,7 +102,7 @@ in reverse chronological order.
     [[!toggle id=id41 text="Abstract..."]] [[!toggleable id=id41 text="""
     *Abstract:* An important aspect of the quality assurance of large component repositories is the logical coherence of component metadata. We argue that it is possible to identify certain classes of such problems by checking relevant properties of the possible future repositories into which the current repository may evolve. In order to make a complete analysis of all possible futures effective however, one needs a way to construct a finite set of representatives of this infinite set of potential futures. We define a class of properties for which this can be done. We illustrate the practical usefulness of the approach with two quality assurance applications: (i) establishing the amount of "forced upgrades" induced by introducing new versions of existing components in a repository, and (ii) identifying outdated components that need to be upgraded in order to ever be installable in the future. For both applications we provide experience reports obtained on the Debian distribution.
     """]]
- 1. <a class="paper-download" href="cbse2011-mpm.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="cbse2011-mpm.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://doi.acm.org/10.1145/2000229.2000255" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.jussieu.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **MPM: a modular package manager**.  <em>In proceedings of CBSE 2011: <a href="http://cbse-conferences.org/2011/">14th International ACM SIGSOFT
+ 1. <a class="paper-download" href="cbse2011-mpm.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="cbse2011-mpm.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://doi.acm.org/10.1145/2000229.2000255" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **MPM: a modular package manager**.  <em>In proceedings of CBSE 2011: <a href="http://cbse-conferences.org/2011/">14th International ACM SIGSOFT
       Symposium on Component Based Software Engineering</a>,
       Boulder, Colorado, USA, 21-23 June, 2011. ISBN
       978-1-4503-0723-9,
@@ -251,7 +251,7 @@ in reverse chronological order.
     [[!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="mooml-iwoce-2009.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="mooml-iwoce-2009.bib" title="download bibliographic entry in BibTeX format">[.bib]</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>
+ 1. <a class="paper-download" href="mooml-iwoce-2009.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="mooml-iwoce-2009.bib" title="download bibliographic entry in BibTeX format">[.bib]</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.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Expressing Advanced User preferences in Component Installation**.  <em>
        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
@@ -341,7 +341,7 @@ in reverse chronological order.
 
 # <span title="national, peer-reviewed journals">national, peer-reviewed journal articles</span>
 
- 1. <a class="paper-download" href="studia11-dh-ocaml.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="studia11-dh-ocaml.bib" title="download bibliographic entry in BibTeX format">[.bib]</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 <a href="http://studia.complexica.net/">Studia
+ 1. <a class="paper-download" href="studia11-dh-ocaml.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="studia11-dh-ocaml.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.pps.univ-paris-diderot.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 <a href="http://studia.complexica.net/">Studia
       Informatica Universalis</a>, Volume 9, Issue
       1, pp. 129-157. Hermann
       2011.</em>
@@ -351,7 +351,7 @@ in reverse chronological order.
 
 # <span title="national, peer-reviewed conferences and workshops">national, peer-reviewed conference and workshop procedings</span>
 
- 1. <a class="paper-download" href="jfla10-dh-ocaml.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="jfla10-dh-ocaml.bib" title="download bibliographic entry in BibTeX format">[.bib]</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: <a href="http://jfla.inria.fr/2010/">21st Journée Francophones des Langages
+ 1. <a class="paper-download" href="jfla10-dh-ocaml.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="jfla10-dh-ocaml.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.pps.univ-paris-diderot.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: <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="""
@@ -377,7 +377,7 @@ in reverse chronological order.
     [[!toggle id=id25 text="Abstract..."]] [[!toggleable id=id25 text="""
     *Abstract:* Today's software systems are very complex modular entities, made up of many interacting components that must be deployed and coexist in the same context. Modern operating systems provide the basic infrastructure for deploying and handling all the components that are used as the basic blocks for building more complex systems even though a generic and comprehensive support is far from being provided. In fact, in Free and Open Source Software (FOSS) systems, components evolve independently from each other and because of the huge amount of available components and their different project origins, it is not easy to manage the life cycle of a distribution. Users are in fact allowed to choose and install a wide variety of alternatives whose consistency cannot be checked a priori to their full extent. It is possible to easily make the system unusable by installing or removing some packages that "break" the consistency of what is installed in the system itself. This document proposes a model-driven approach to simulate system upgrades in advance and to detect predictable upgrade failures, possibly by notifying the user before the system is affected. The approach relies on an abstract representation of the systems and packages which are given in terms of models that are expressive enough to isolate inconsistent configurations (e.g., situations in which installed components rely on the presence of disappeared sub-components) that are currently not expressible as inter-package relationships.
     """]]
- 1. <a class="paper-download" href="mancoosi-d5.1.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="mancoosi-d5.1.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.pps.jussieu.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Description of the CUDF Format**.  <em>
+ 1. <a class="paper-download" href="mancoosi-d5.1.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="mancoosi-d5.1.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Description of the CUDF Format**.  <em>
        <a href="http://www.mancoosi.org">Mancoosi project</a>
        deliverable,
        <a href="http://www.mancoosi.org/deliverables/d5.1.pdf">D5.1</a>,
@@ -420,7 +420,7 @@ in reverse chronological order.
 
 # miscellanea
 
- 1. <a class="paper-download" href="debconf8-mancoosi.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="debconf8-mancoosi.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.pps.jussieu.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Solving package dependencies: from EDOS to Mancoosi**.  <em>In proceedings of <a href="http://debconf8.debconf.org/">DebConf8</a>: 9th annual conference
+ 1. <a class="paper-download" href="debconf8-mancoosi.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="debconf8-mancoosi.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Solving package dependencies: from EDOS to Mancoosi**.  <em>In proceedings of <a href="http://debconf8.debconf.org/">DebConf8</a>: 9th annual conference
       of the <a href="http://www.debian.org">Debian</a> project
       developers. August 10-16, 2008, Mar del Plata,
       Argentina.</em>
index 41c788f..176658c 100644 (file)
@@ -4,6 +4,7 @@
   abstract = {We consider the problem of deploying and (re)configuring resources in a "cloud" setting, where interconnected software components and services can be deployed on clusters of heterogeneous (virtual) machines that can be created and connected on-the-fly. We introduce the Aeolus component model to capture similar scenarii from realistic cloud deployments, and instrument automated planning of day-to-day activities such as software upgrade planning, service deployment, elastic scaling, etc. We formalize the model and characterize the feasibility and complexity of configuration achievability in Aeolus.},
   publisher = {Springer-Verlag},
   year = {2012},
+  doi = {10.1007/978-3-642-33826-7_11},
   pages = {156-171},
   series = {LNCS},
   volume = {7504},