papers: publish info about accepted MSR 2015 papers
[homepage.git] / research / publications.mdwn
index fe9b0cf..43b4bee 100644 (file)
@@ -2,16 +2,38 @@
 
 [[!img img/emblem-documents.png link="no" class="flow" alt="documents"]]
 Here is a list of my **academic papers**, classified by type of publication and
 
 [[!img img/emblem-documents.png link="no" class="flow" alt="documents"]]
 Here is a list of my **academic papers**, classified by type of publication and
-in reverse chronological order.
-[[!toc ]]
+in reverse chronological order:
+
+[[!toc]]
+
+You might also be interested in my author profiles on
+[**DBLP**](http://dblp.uni-trier.de/pers/hd/z/Zacchiroli:Stefano.html) and
+[**Google Scholar**](http://scholar.google.com/citations?user=mLC0j_UAAAAJ).
+
 
 # <span title="international, peer-reviewed journals">international, peer-reviewed journal articles</span>
 
 
 # <span title="international, peer-reviewed journals">international, peer-reviewed journal articles</span>
 
+ 1. <a class="paper-download" href="ic-2014-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="ic-2014-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.ic.2014.11.002" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Aeolus: a Component Model for the Cloud**.  <em>In <a href="http://www.journals.elsevier.com/information-and-computation">Information
+      and Computation</a>, Volume 239, <a href="http://www.sciencedirect.com/science/article/pii/S0890540114001424">pp. 100-121</a>. 2014.
+      ISSN 0890-5401, Elsevier.</em>
+    [[!toggle id=id56 text="Abstract..."]] [[!toggleable id=id56 text="""
+    *Abstract:* We introduce the Aeolus component model, which is specifically designed to capture realistic scenarii arising when configuring and deploying distributed applications in the so-called cloud environments, where interconnected components can be deployed on clusters of heterogeneous virtual machines, which can be in turn created, destroyed, and connected on-the-fly. The full Aeolus model is able to describe several component characteristics such as dependencies, conflicts, non-functional requirements (replication requests and load limits), as well as the fact that component interfaces to the world might vary depending on the internal component state. When the number of components needed to build an application grows, it becomes important to be able to automate activities such as deployment and reconfiguration. This correspond, at the level of the model, to the ability to decide whether a desired target system configuration is reachable, which we call the achievability problem, and producing a path to reach it. In this work we show that the achievability problem is undecidable for the full Aeolus model, a strong limiting result for automated configuration in the cloud. We also show that the problem becomes decidable, but Ackermann-hard, as soon as one drops non-functional requirements. Finally, we provide a polynomial time algorithm for the further restriction of the model where support for inter-component conflicts is also removed.
+    """]]
+ 1. <a class="paper-download" href="scp2013-futures.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="scp2013-futures.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.scico.2013.06.007" 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>. **Learning from the Future of Component Repositories**.  <em>In <a href="http://www.elsevier.com/locate/scico/">Science
+      of Computer Programming</a>,
+      Volume 90, Part B,
+      <a href="http://www.sciencedirect.com/science/article/pii/S0167642313001561">pp. 93-115</a>.
+      ISSN 0167-6423, Elsevier,
+      2014.</em>
+    [[!toggle id=id50 text="Abstract..."]] [[!toggleable id=id50 text="""
+    *Abstract:* An important aspect of the quality assurance of large component repositories is to ensure the logical coherence of component metadata, and to this end one needs to identify incoherences as early as possible. Some relevant classes of problems can be formulated in term of properties of the future repositories into which the current repository may evolve. However, checking such properties on all possible future repositories requires a way to construct a finite representation of the infinite set of all potential futures. A class of properties for which this can be done is presented in this work. 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 are currently not installable and need to be upgraded in order to become installable again. For both applications we provide experience reports obtained on the Debian free software distribution.
+    """]]
  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>In <a href="http://www.journals.elsevier.com/information-and-software-technology/">Information
       and Software Technology</a>,
       Volume 55, Issue 2,
       <a href="http://www.sciencedirect.com/science/article/pii/S0950584912001851">pp. 459-474</a>.
  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>In <a href="http://www.journals.elsevier.com/information-and-software-technology/">Information
       and Software Technology</a>,
       Volume 55, Issue 2,
       <a href="http://www.sciencedirect.com/science/article/pii/S0950584912001851">pp. 459-474</a>.
-      ISSN 0950-5849, Elsevier, February 2013.</em>
+      ISSN 0950-5849, Elsevier,
+      February 2013.</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.
     """]]
     [[!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.
     """]]
@@ -19,14 +41,15 @@ in reverse chronological order.
       of Systems and Software</a>,
       Volume 85, Issue 10,
       <a href="http://www.sciencedirect.com/science/article/pii/S0164121212000477">pp. 2228-2240</a>.
       of Systems and Software</a>,
       Volume 85, Issue 10,
       <a href="http://www.sciencedirect.com/science/article/pii/S0164121212000477">pp. 2228-2240</a>.
-      ISSN 0164-1212, Elsevier, October 2012.</em>
+      ISSN 0164-1212, Elsevier,
+      October 2012.</em>
     [[!toggle id=id40 text="Abstract..."]] [[!toggleable id=id40 text="""
     *Abstract:* Maintenance of component-based software platforms often has to face rapid evolution of software components. Component dependencies, conflicts, and package managers with dependency solving capabilities are the key ingredients of prevalent software maintenance technologies that have been proposed to keep software installations synchronized with evolving component repositories. We review state-of-the-art package managers and their ability to keep up with evolution at the current growth rate of popular component-based platforms, and conclude that their dependency solving abilities are not up to the task. We show that the complexity of the underlying upgrade planning problem is NP-complete even for seemingly simple component models, and argue that the principal source of complexity lies in multiple available versions of components. We then discuss the need of expressive languages for user preferences, which makes the problem even more challenging. We propose to establish dependency solving as a separate concern from other upgrade aspects, and present CUDF as a formalism to describe upgrade scenarios. By analyzing the result of an international dependency solving competition, we provide evidence that the proposed approach is viable.
     """]]
  1. <a class="paper-download" href="ahci2012-wiki.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="ahci2012-wiki.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1155/2012/893575" title="Document Object Identifier">doi&gt;</a></span> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, Francesco Draicchio, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Constrained Wiki: The WikiWay to Validating Content**.  <em>In <a href="http://www.hindawi.com/journals/ahci/">Advances in Human-Computer
       Interaction</a>, Volume 2012, Article ID
     [[!toggle id=id40 text="Abstract..."]] [[!toggleable id=id40 text="""
     *Abstract:* Maintenance of component-based software platforms often has to face rapid evolution of software components. Component dependencies, conflicts, and package managers with dependency solving capabilities are the key ingredients of prevalent software maintenance technologies that have been proposed to keep software installations synchronized with evolving component repositories. We review state-of-the-art package managers and their ability to keep up with evolution at the current growth rate of popular component-based platforms, and conclude that their dependency solving abilities are not up to the task. We show that the complexity of the underlying upgrade planning problem is NP-complete even for seemingly simple component models, and argue that the principal source of complexity lies in multiple available versions of components. We then discuss the need of expressive languages for user preferences, which makes the problem even more challenging. We propose to establish dependency solving as a separate concern from other upgrade aspects, and present CUDF as a formalism to describe upgrade scenarios. By analyzing the result of an international dependency solving competition, we provide evidence that the proposed approach is viable.
     """]]
  1. <a class="paper-download" href="ahci2012-wiki.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="ahci2012-wiki.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1155/2012/893575" title="Document Object Identifier">doi&gt;</a></span> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, Francesco Draicchio, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Constrained Wiki: The WikiWay to Validating Content**.  <em>In <a href="http://www.hindawi.com/journals/ahci/">Advances in Human-Computer
       Interaction</a>, Volume 2012, Article ID
-      893575, <a href="http://www.hindawi.com/journals/ahci/2012/893575/">pp. 1-19</a>. Hindawi,
-      2012</em>
+      893575, <a href="http://www.hindawi.com/journals/ahci/2012/893575/">pp. 1-19</a>.
+      Hindawi, 2012</em>
     [[!toggle id=id39 text="Abstract..."]] [[!toggleable id=id39 text="""
     *Abstract:* The "WikiWay" is the open editing philosophy of wikis meant to foster open collaboration and continuous improvement of their content. Just like other online communities, wikis often introduce and enforce conventions, constraints, and rules for their content, but do so in a considerably softer way, expecting authors to deliver content that satisfies the conventions and the constraints, or, failing that, having volunteers of the community, the WikiGnomes, fix others' content accordingly. Constrained wikis is our generic framework for wikis to implement validators of community-specific constraints and conventions that preserve the WikiWay and their open collaboration features. To this end, specific requirements need to be observed by validators and a specific software architecture can be used for their implementation, that is, as independent functions (implemented as internal modules or external services) used in a nonintrusive way. Two separate proof-of-concept validators have been implemented for MediaWiki and MoinMoin, respectively, providing an annotated view functions, that is, presenting content authors with violation warnings, rather than preventing them from saving a noncompliant text.
     """]]
     [[!toggle id=id39 text="Abstract..."]] [[!toggleable id=id39 text="""
     *Abstract:* The "WikiWay" is the open editing philosophy of wikis meant to foster open collaboration and continuous improvement of their content. Just like other online communities, wikis often introduce and enforce conventions, constraints, and rules for their content, but do so in a considerably softer way, expecting authors to deliver content that satisfies the conventions and the constraints, or, failing that, having volunteers of the community, the WikiGnomes, fix others' content accordingly. Constrained wikis is our generic framework for wikis to implement validators of community-specific constraints and conventions that preserve the WikiWay and their open collaboration features. To this end, specific requirements need to be observed by validators and a specific software architecture can be used for their implementation, that is, as independent functions (implemented as internal modules or external services) used in a nonintrusive way. Two separate proof-of-concept validators have been implemented for MediaWiki and MoinMoin, respectively, providing an annotated view functions, that is, presenting content authors with violation warnings, rather than preventing them from saving a noncompliant text.
     """]]
@@ -44,7 +67,8 @@ in reverse chronological order.
        of Hypermedia and Multimedia</a>, <a href="http://www.informaworld.com/smpp/title~content=t713599880~db=all~tab=issueslist~branches=14#v14">Volume
        14</a>, <a href="http://www.informaworld.com/smpp/title~content=g903097087~db=all">Issue
        1</a>, January 2008, <a href="http://www.informaworld.com/smpp/content~db=all?content=10.1080/13614560802316145">pp. 57-94</a>.
        of Hypermedia and Multimedia</a>, <a href="http://www.informaworld.com/smpp/title~content=t713599880~db=all~tab=issueslist~branches=14#v14">Volume
        14</a>, <a href="http://www.informaworld.com/smpp/title~content=g903097087~db=all">Issue
        1</a>, January 2008, <a href="http://www.informaworld.com/smpp/content~db=all?content=10.1080/13614560802316145">pp. 57-94</a>.
-       <a href="http://www.tandf.co.uk/">Taylor and Francis</a>, <a href="http://www.informaworld.com/smpp/title~content=t713599880~link=cover">ISSN
+       <a href="http://www.tandf.co.uk/">Taylor and Francis</a>,
+       <a href="http://www.informaworld.com/smpp/title~content=t713599880~link=cover">ISSN
        1361-4568</a>.
       </em>
     [[!toggle id=id20 text="Abstract..."]] [[!toggleable id=id20 text="""
        1361-4568</a>.
       </em>
     [[!toggle id=id20 text="Abstract..."]] [[!toggleable id=id20 text="""
@@ -54,8 +78,8 @@ in reverse chronological order.
        In <a href="http://www.springerlink.com/content/1661-8270">Mathematics in
        Computer Science</a>, Volume 2, Number
        2, <a href="http://www.springerlink.com/content/1p816h3610g8k854/">pp. 355-378</a>,
        In <a href="http://www.springerlink.com/content/1661-8270">Mathematics in
        Computer Science</a>, Volume 2, Number
        2, <a href="http://www.springerlink.com/content/1p816h3610g8k854/">pp. 355-378</a>,
-       December 2008. Springer Birkhäuser, <a href="http://www.springerlink.com/content/1661-8270">ISSN
-       1661-8270</a>.
+       December 2008. Springer Birkhäuser,
+       <a href="http://www.springerlink.com/content/1661-8270">ISSN 1661-8270</a>.
       </em>
     [[!toggle id=id19 text="Abstract..."]] [[!toggleable id=id19 text="""
     *Abstract:* The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae however, far too many typing errors are generated; among them we want to present only errors related to the formula interpretation meant by the user, hiding errors related to other interpretations. We study disambiguation errors and how to classify them into the spurious and genuine error classes. To this end we give a general presentation of the classes of disambiguation algorithms and efficient disambiguation algorithms. We also quantitatively assess the quality of the presented error classification criteria benchmarking them in the setting of a formal development of constructive algebra.
       </em>
     [[!toggle id=id19 text="Abstract..."]] [[!toggleable id=id19 text="""
     *Abstract:* The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical notation. When it comes to incorrect formulae however, far too many typing errors are generated; among them we want to present only errors related to the formula interpretation meant by the user, hiding errors related to other interpretations. We study disambiguation errors and how to classify them into the spurious and genuine error classes. To this end we give a general presentation of the classes of disambiguation algorithms and efficient disambiguation algorithms. We also quantitatively assess the quality of the presented error classification criteria benchmarking them in the setting of a formal development of constructive algebra.
@@ -72,6 +96,24 @@ in reverse chronological order.
     *Abstract:* Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, mostly characterized by the organization of the library as a searchable knowledge base, the emphasis on a high-quality notational rendering, and the complex interplay between syntax, presentation, and semantics.
     """]]
 
     *Abstract:* Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, mostly characterized by the organization of the library as a searchable knowledge base, the emphasis on a high-quality notational rendering, and the complex interplay between syntax, presentation, and semantics.
     """]]
 
+# editorials
+
+ 1. <a class="paper-download" href="jwe-wt-2014-editorial.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="jwe-wt-2014-editorial.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, <a href="http://www.cs.unibo.it/~rossi/">Davide Rossi</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Editorial**.  <em>In <a href="http://www.rintonpress.com/journals/jwe/">Journal of Web
+      Engineering</a>, Volume 14, Number 1-2,
+      pp. 1-2.
+      ISSN 1540-9589, Rinton Press, 2014.</em>
+ 1. <a class="paper-download" href="scp-wt-2012-editorial.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="scp-wt-2012-editorial.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.scico.2014.03.001" title="Document Object Identifier">doi&gt;</a></span> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, <a href="http://www.cs.unibo.it/~rossi/">Davide Rossi</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Web Technologies: Selected &amp; extended papers from WT ACM SAC 2012**.  <em>In <a href="http://www.journals.elsevier.com/science-of-computer-programming/">Science
+      of Computer Programming</a>, Volume 94,
+      Part 1,
+      <a href="http://www.sciencedirect.com/science/article/pii/S0167642314001051">pp. 1-2</a>.
+      ISSN 0167-6423, Elsevier, 2014.</em>
+ 1. <a class="paper-download" href="spe-wt-2011-editorial.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="spe-wt-2011-editorial.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1002/spe.2169" title="Document Object Identifier">doi&gt;</a></span> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, <a href="http://www.cs.unibo.it/~rossi/">Davide Rossi</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Editorial**.  <em>In <a href="http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X">Software:
+      Practice and Experience</a>, Volume 43, Issue
+      12,
+      <a href="http://onlinelibrary.wiley.com/doi/10.1002/spe.2169/abstract">pp. 1393-1394</a>.
+      ISSN 1097-024X, Wiley, 2013.</em>
+
+
 # book chapters
 
  1. <a class="paper-download" href="web30-semantics-templating.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="web30-semantics-templating.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Web Semantics via Wiki Templating**.  <em>
 # book chapters
 
  1. <a class="paper-download" href="web30-semantics-templating.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="web30-semantics-templating.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Web Semantics via Wiki Templating**.  <em>
@@ -88,9 +130,50 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed conferences">international, peer-reviewed conference proceedings</span>
 
 
 # <span title="international, peer-reviewed conferences">international, peer-reviewed conference proceedings</span>
 
- 1. <a class="bibtex-download" href="icalp2013-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Component Reconfiguration in the Presence of Conflicts**.  <em>In proceedings of ICALP 2013: <a href="http://www.icalp2013.lu.lv/">40th International Colloquium on
-      Automata, Languages and Programming</a>, Riga, Latvia,
-      8-12 July, 2013.</em>
+ 1. <a class="paper-download" href="zephyrus-ase-2014.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="zephyrus-ase-2014.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1145/2642937.2642980" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://gzoumix.wikidot.com/">Michael Lienhardt</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.pps.univ-paris-diderot.fr/~qba/">Jakub Zwolakowski</a>, Antoine Eiche, Alexis Agahi. **Automated Synthesis and Deployment of Cloud Applications**.  <em>
+       In proceedings of <a href="http://ase2014.org/">ASE
+       2014</a>: 29th IEEE/ACM International Conference on Automated Software
+       Engineering, September 15-19, 2014, Vasteras, Sweden. ISBN
+       978-1-4503-3013-8, <a href="http://dl.acm.org/citation.cfm?doid=2642937.2642980">pp. 211-222</a>,
+       ACM 2014.
+      </em>
+    [[!toggle id=id54 text="Abstract..."]] [[!toggleable id=id54 text="""
+    *Abstract:* Complex networked applications are assembled by connecting software components distributed across multiple machines. Building and deploying such systems is a challenging problem which requires a significant amount of expertise: the system architect must ensure that all component dependencies are satisfied, avoid conflicting components, and add the right amount of component replicas to account for quality of service and fault-tolerance. In a cloud environment, one also needs to minimize the virtual resources provisioned upfront, to reduce the cost of operation. Once the full architecture is designed, it is necessary to correctly orchestrate the deployment phase, to ensure all components are started and connected in the right order. We present a toolchain that automates the assembly and deployment of such complex distributed applications. Given as input a high-level specification of the desired system, the set of available components together with their requirements, and the maximal amount of virtual resources to be committed, it synthesizes the full architecture of the system, placing components in an optimal manner using the minimal number of available machines, and automatically deploys the complete system in a cloud environment.
+    """]]
+ 1. <a class="paper-download" href="debsources-esem-2014.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="debsources-esem-2014.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1145/2652524.2652528" title="Document Object Identifier">doi&gt;</a></span> <a href="https://matthieu.io/">Matthieu Caneill</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Debsources: Live and Historical Views on Macro-Level Software Evolution**.  <em>
+       In proceedings of <a href="http://softeng.polito.it/ESEIW2014/ESEM/">ESEM 2014</a>: 8th
+       International Symposium on Empirical Software Engineering and
+       Measurement, September 18-19, 2014, Torino, Italy. ISBN <a href="http://dl.acm.org/citation.cfm?doid=2652524.2652528">
+       978-1-4503-2774-9</a>, ACM 2014.
+      </em>
+    [[!toggle id=id53 text="Abstract..."]] [[!toggleable id=id53 text="""
+    *Abstract:* Context. Software evolution has been an active field of research in recent years, but studies on macro-level software evolution---i.e., on the evolution of large software collections over many years---are scarce, despite the increasing popularity of intermediate vendors as a way to deliver software to final users. Goal. We want to ease the study of both day-by-day and long-term Free and Open Source Software (FOSS) evolution trends at the macro-level, focusing on the Debian distribution as a proxy of relevant FOSS projects. Method. We have built Debsources, a software platform to gather, search, and publish on the Web all the source code of Debian and measures about it. We have set up a public Debsources instance at http://sources.debian.net, integrated it into the Debian infrastructure to receive live updates of new package releases, and written plugins to compute popular source code metrics. We have injected all current and historical Debian releases into it. Results. The obtained dataset and Web portal provide both long term-views over the past 20 years of FOSS evolution and live insights on what is happening at sub-day granularity. By writing simple plugins (~100 lines of Python each) and adding them to our Debsources instance we have been able to easily replicate and extend past empirical analyses on metrics as diverse as lines of code, number of packages, and rate of change---and make them perennial. We have obtained slightly different results than our reference study, but confirmed the general trends and updated them in light of 7 extra years of evolution history. Conclusions. Debsources is a flexible platform to monitor large FOSS collections over long periods of time. Its main instance and dataset are valuable resources for scholars interested in macro-level software evolution.
+    """]]
+ 1. <a class="paper-download" href="esocc2013-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="esocc2013-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-40651-5_1" title="Document Object Identifier">doi&gt;</a></span> Michel Catan, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, Antoine Eiche, Tudor A. Lascu, <a href="http://gzoumix.wikidot.com/">Michael Lienhardt</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>, <a href="http://www.pps.univ-paris-diderot.fr/~qba/">Jakub Zwolakowski</a>. **Aeolus: Mastering the Complexity of Cloud Application Deployment**.  <em>In proceedings of ESOCC 2013: Service-Oriented and Cloud
+      Computing, 2nd European Conference, Málaga, Spain,
+      September 11-13, 2013.
+      LNCS <a href="http://www.springer.com/computer/swe/book/978-3-642-40650-8">8135</a>,
+      pp. <a href="http://link.springer.com/chapter/10.1007%2F978-3-642-40615-7_8">1-3</a>,
+      Springer-Verlag, 2013.</em>
+    [[!toggle id=id51 text="Abstract..."]] [[!toggleable id=id51 text="""
+    *Abstract:* Cloud computing offers the possibility to build sophisticated software systems on virtualized infrastructures at a fraction of the cost necessary just few years ago, but deploying/maintaining/reconfiguring such software systems is a serious challenge. The main objective of the Aeolus project, an initiative funded by ANR (the French "Agence Nationale de la Recherche"), is to tackle the scientific problems that need to be solved in order to ease the problem of efficient and cost-effective deployment and administration of the complex distributed architectures which are at the heart of cloud applications.
+    """]]
+ 1. <a class="paper-download" href="fmco2012-foss-components.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="fmco2012-foss-components.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-40615-7_8" title="Document Object Identifier">doi&gt;</a></span> <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>. **Formal Aspects of Free and Open Source Software Components**.  <em>In proceedings of FMCO 2012: <a href="http://www.cs.unibo.it/hats-fmoc/">HATS International School on
+      Formal Models for Components and Objects</a>, Bertinoro,
+      Italy, 24-28 September 2012. LNCS
+      <a href="http://www.springer.com/computer/swe/book/978-3-642-40614-0">7866</a>,
+      pp. <a href="http://link.springer.com/chapter/10.1007%2F978-3-642-40615-7_8">216-239</a>,
+      Springer-Verlag, 2013.</em>
+    [[!toggle id=id49 text="Abstract..."]] [[!toggleable id=id49 text="""
+    *Abstract:* Free and Open Source Software (FOSS) distributions are popular solutions to deploy and maintain software on server, desktop, and mobile computing equipment. The typical deployment method in the FOSS setting relies on software distributions as vendors, packages as independently deployable components, and package managers as upgrade tools. We review research results from the past decade that apply formal methods to the study of inter-component relationships in the FOSS context. We discuss how those results are being used to attack both issues faced by users, such as dealing with upgrade failures on target machines, and issues important to distributions such as quality assurance processes for repositories containing tens of thousands, rapidly evolving software packages.
+    """]]
+ 1. <a class="paper-download" href="icalp2013-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="icalp2013-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-39212-2_19" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Component Reconfiguration in the Presence of Conflicts**.  <em>In proceedings of ICALP 2013: <a href="http://www.icalp2013.lu.lv/">40th International Colloquium on
+      Automata, Languages and Programming</a>, Riga, Latvia, 8-12
+      July, 2013.  LNCS
+      <a href="http://link.springer.com/book/10.1007/978-3-642-39212-2/">7966</a>,
+      pp. <a href="http://link.springer.com/chapter/10.1007%2F978-3-642-39212-2_19">187-198</a>,
+      Springer-Verlag,
+      2013.</em>
     [[!toggle id=id45 text="Abstract..."]] [[!toggleable id=id45 text="""
     *Abstract:* Components are traditionally modeled as black-boxes equipped with interfaces that indicate provided/required ports and, often, also conflicts with other components that cannot coexist with them. In modern tools for automatic system management, components become grey-boxes that show relevant internal states and the possible actions that can be acted on the components to change such state during the deployment and reconfiguration phases. However, state-of-the-art tools in this field do not support a systematic management of conflicts. In this paper we investigate the impact of conflicts by precisely characterizing the increment of complexity on the reconfiguration problem.
     """]]
     [[!toggle id=id45 text="Abstract..."]] [[!toggleable id=id45 text="""
     *Abstract:* Components are traditionally modeled as black-boxes equipped with interfaces that indicate provided/required ports and, often, also conflicts with other components that cannot coexist with them. In modern tools for automatic system management, components become grey-boxes that show relevant internal states and the possible actions that can be acted on the components to change such state during the deployment and reconfiguration phases. However, state-of-the-art tools in this field do not support a systematic management of conflicts. In this paper we investigate the impact of conflicts by precisely characterizing the increment of complexity on the reconfiguration problem.
     """]]
@@ -246,6 +329,26 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed workshops">international, peer-reviewed workshop proceedings</span>
 
 
 # <span title="international, peer-reviewed workshops">international, peer-reviewed workshop proceedings</span>
 
+ 1. <a class="paper-download" href="debsources-msr-2015.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="debsources-msr-2015.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **The Debsources Dataset: Two Decades of Debian Source Code Metadata**.  <em>To appear in proceedings of <a href="http://2015.msrconf.org/">MSR 2015</a>: The 12th Working Conference
+      on Mining Software Repositories, May 16-17, 2015, Florence,
+      Italy. Co-located with
+      <a href="http://2015.icse-conferences.org/">ICSE 2015</a>. 2015.</em>
+    [[!toggle id=id59 text="Abstract..."]] [[!toggleable id=id59 text="""
+    *Abstract:* We present the Debsources Dataset: distribution metadata and source code metrics spanning two decades of Free and Open Source Software (FOSS) history, seen through the lens of the Debian distribution. Debsources is a software platform used to gather, search, and publish on the Web the full source code of the Debian operating system, as well as measures about it. A notable public instance of Debsources is available at http://sources.debian.net; it includes both current and historical releases of Debian. Plugins to compute popular source code metrics (lines of code, defined symbols, disk usage) and other derived data (e.g., checksums) have been written, integrated, and run on all the source code available on sources.debian.net. The Debsources Dataset is a PostgreSQL database dump of sources.debian.net metadata, as of February 10th, 2015. The dataset contains both Debian-specific metadata—e.g., which software packages are available in which release, which source code file belong to which package, release dates, etc.—and source code information gathered by running Debsources plugins. The Debsources Dataset offer a very long-term historical view of the macro-level evolution and constitution of FOSS through the lens of popular, representative FOSS projects of their times.
+    """]]
+ 1. <a class="paper-download" href="distcheck-msr-2015.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="distcheck-msr-2015.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, Louis Gesbert, Fabrice Le Fessant, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Mining Component Repositories for Installability Issues**.  <em>To appear in proceedings of <a href="http://2015.msrconf.org/">MSR 2015</a>: The 12th Working Conference
+      on Mining Software Repositories, May 16-17, 2015, Florence,
+      Italy. Co-located with
+      <a href="http://2015.icse-conferences.org/">ICSE 2015</a>. 2015.</em>
+    [[!toggle id=id58 text="Abstract..."]] [[!toggleable id=id58 text="""
+    *Abstract:* Component repositories play an increasingly relevant role in software life-cycle management, from software distribution to end-user, to deployment and upgrade management. Software components shipped via such repositories are equipped with rich metadata that describe their relationship (e.g., dependencies and conflicts) with other components. In this practice paper we show how to use a tool, distcheck, that uses component metadata to identify all the components in a repository that cannot be installed (e.g., due to unsatisfiable dependencies), provides detailed information to help developers understanding the cause of the problem, and fix it in the repository. We report about detailed analyses of several repositories: the Debian distribution, the OPAM package collection, and Drupal modules. In each case, distcheck is able to efficiently identify not installable components and provide valuable explanations of the issues. Our experience provides solid ground for generalizing the use of distcheck to other component repositories.
+    """]]
+ 1. <a class="paper-download" href="cudf-ocaml-2014.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="cudf-ocaml-2014.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, Louis Gesbert, Fabrice Le Fessant, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Using Preferences to Tame your Package Manager**.  <em>In proceedings of <a href="https://ocaml.org/meetings/ocaml/2014/">OCaml 2014</a>: The OCaml
+      Users and Developers Workshop, September 5, 2014, Gothenburg,
+      Sweden. Co-located with <a href="http://icfpconference.org/icfp2014/">ICFP 2014</a>. 2014.</em>
+    [[!toggle id=id57 text="Abstract..."]] [[!toggleable id=id57 text="""
+    *Abstract:* Determining whether some components can be installed on a system is a complex problem: not only it is NP-complete in the worst case, but there can also be exponentially many solutions to it. Ordinary package managers use ad-hoc heuristics to solve this installation problem and choose a particular solution, making extremely difficult to change or sidestep these heuristics when the result is not the one we expect. When software repositories become complex enough, one gets vastly superior results by delegating dependency handling to a specialised solver, and use optimisation functions (or preferences) to control the class of solutions that are found. The opam package manager relies on the CUDF pivot format, which allows OCaml users that have a CUDF-compliant solver on their machine to reap the benefits of preferences-based dependency resolution. Thanks to the solver farm provided by Irill, these benefits are now extended to the OCaml community at large. In this talk we will present the preferences language and explain how to use it.
+    """]]
  1. <a class="paper-download" href="msr2012-conflicts.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="msr2012-conflicts.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1109/MSR.2012.6224274" title="Document Object Identifier">doi&gt;</a></span> <a href="http://staff.aist.go.jp/c.artho/">Cyrille Valentin Artho</a>, Kuniyasu Suzaki, <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>. **Why do software packages conflict?**.  <em>In proceedings of <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6220358">MSR
       2012</a>: <a href="http://2012.msrconf.org/">9th IEEE Working Conference
       on Mining Software Repositories</a>, co-located with <a href="http://www.icse2012.org/">ICSE 2012</a>,
  1. <a class="paper-download" href="msr2012-conflicts.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="msr2012-conflicts.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1109/MSR.2012.6224274" title="Document Object Identifier">doi&gt;</a></span> <a href="http://staff.aist.go.jp/c.artho/">Cyrille Valentin Artho</a>, Kuniyasu Suzaki, <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>. **Why do software packages conflict?**.  <em>In proceedings of <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6220358">MSR
       2012</a>: <a href="http://2012.msrconf.org/">9th IEEE Working Conference
       on Mining Software Repositories</a>, co-located with <a href="http://www.icse2012.org/">ICSE 2012</a>,
@@ -380,10 +483,26 @@ in reverse chronological order.
 
 # <span title="official research reports of research institutions">technical reports</span>
 
 
 # <span title="official research reports of research institutions">technical reports</span>
 
+ 1. <a class="paper-download" href="zephyrus-tr.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="zephyrus-tr.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://gzoumix.wikidot.com/">Michael Lienhardt</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.pps.univ-paris-diderot.fr/~qba/">Jakub Zwolakowski</a>. **Optimal Provisioning in the Cloud**.  <em>
+       <a href="http://www.aeolus-project.org/">Aeolus
+       project</a> <a href="http://hal.archives-ouvertes.fr/hal-00831455">technical
+       report</a>, 7 Juin 2013.
+      </em>
+    [[!toggle id=id48 text="Abstract..."]] [[!toggleable id=id48 text="""
+    *Abstract:* Complex distributed systems are classically assembled by deploying several existing software components to multiple servers. Building such systems is a challenging problem that requires a significant amount of problem solving as one must i) ensure that all inter-component dependencies are satisfied; ii) ensure that no conflicting components are deployed on the same machine; and iii) take into account replication and distribution to account for quality of service, or possible failure of some services. We propose a tool, Zephyrus, that automates to a great extent assembling complex distributed systems. Given i) a high level specification of the desired system architecture, ii) the set of available components and their requirements) and iii) the current state of the system, Zephyrus is able to generate a formal representation of the desired system, to place the components in an optimal manner on the available machines, and to interconnect them as needed.
+    """]]
+ 1. <a class="paper-download" href="icalp2013-tr.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="icalp2013-tr.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.cs.unibo.it/~jmauro/">Jacopo Mauro</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Component reconfiguration in the presence of conflicts**.  <em>
+       <a href="http://www.aeolus-project.org/">Aeolus
+       project</a> <a href="http://hal.archives-ouvertes.fr/hal-00816468">technical
+       report</a>, 22 Avril 2013.
+      </em>
+    [[!toggle id=id47 text="Abstract..."]] [[!toggleable id=id47 text="""
+    *Abstract:* Components are traditionally modeled as black-boxes equipped with interfaces that indicate provided/required ports and, often, also conflicts with other components that cannot coexist with them. In modern tools for automatic system management, components become grey-boxes that show relevant internal states and the possible actions that can be acted on the components to change such state during the deployment and reconfiguration phases. However, state-of-the-art tools in this field do not support a systematic management of conflicts. In this paper we investigate the impact of conflicts by precisely characterizing the increment of complexity on the reconfiguration problem.
+    """]]
  1. <a class="paper-download" href="strongdeps-tr.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="strongdeps-tr.bib" title="download bibliographic entry in BibTeX format">[.bib]</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>
        <a href="http://www.mancoosi.org">Mancoosi project</a>
        <a href="http://www.mancoosi.org/reports/">technical report
  1. <a class="paper-download" href="strongdeps-tr.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="strongdeps-tr.bib" title="download bibliographic entry in BibTeX format">[.bib]</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>
        <a href="http://www.mancoosi.org">Mancoosi project</a>
        <a href="http://www.mancoosi.org/reports/">technical report
-       0002</a>, 22/05/2009.
+       0002</a>, 22 May 2009.
       </em>
     [[!toggle id=id27 text="Abstract..."]] [[!toggleable id=id27 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.
       </em>
     [[!toggle id=id27 text="Abstract..."]] [[!toggleable id=id27 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.
@@ -438,6 +557,7 @@ in reverse chronological order.
        by: <a href="http://www.cs.unibo.it/~busi">Nadia Busi</a>).
       </em>
 
        by: <a href="http://www.cs.unibo.it/~busi">Nadia Busi</a>).
       </em>
 
+
 # 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.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
 # 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.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