papers: add publication info for CBSE 2012 paper
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 22 Oct 2012 08:43:40 +0000 (10:43 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 22 Oct 2012 08:43:40 +0000 (10:43 +0200)
research/publications.mdwn
research/publications/cbse2012-futures.bib

index 10ae6f2..85ec8a4 100644 (file)
@@ -93,10 +93,13 @@ 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.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:
+ 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> <span class="doi_logo"><a href="http://doi.acm.org/10.1145/2304736.2304747" 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 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.
+      ISBN 978-1-4503-1345-2,
+      <a href="http://dl.acm.org/citation.cfm?doid=2304736.2304747">pp. 51-60</a>,
+      ACM 2012.
       <em>Award:</em> <a href="http://europe.acm.org/best-paper.html">Best
       Paper Award</a>.</em>
     [[!toggle id=id41 text="Abstract..."]] [[!toggleable id=id41 text="""
index 1f17096..a06c919 100644 (file)
@@ -2,6 +2,10 @@
   author = {Pietro Abate and Di Cosmo, Roberto and Ralf Treinen and Stefano Zacchiroli},
   title = {Learning from the Future of Component Repositories},
   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.},
+  publisher = {ACM},
   year = {2012},
+  isbn = {978-1-4503-1345-2},
+  doi = {10.1145/2304736.2304747},
+  pages = {51-60},
   booktitle = {CBSE 2012: 15th International ACM SIGSOFT Symposium on Component Based Software Engineering},
 }