publications: make available preprint of CBSE 2012 paper
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 18 Apr 2012 21:09:13 +0000 (23:09 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 18 Apr 2012 21:09:13 +0000 (23:09 +0200)
research/publications.mdwn
research/publications/cbse2012-futures.bib [new file with mode: 0644]
research/publications/cbse2012-futures.pdf [new file with mode: 0644]

index 213e303..7ccb21b 100644 (file)
@@ -68,6 +68,13 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed conferences">international, peer-reviewed conference proceedings</span>
 
+ 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:
+      <a href="http://cbse-conferences.org/2012/">15th International ACM
+      SIGSOFT Symposium on Component Based Software
+      Engineering</a>, Bertinoro, Italy, June 26-28, 2012.</em>
+    [[!toggle id=id40 text="Abstract..."]] [[!toggleable id=id40 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
       Symposium on Component Based Software Engineering</a>,
       Boulder, Colorado, USA, 21-23 June, 2011. ISBN
diff --git a/research/publications/cbse2012-futures.bib b/research/publications/cbse2012-futures.bib
new file mode 100644 (file)
index 0000000..1f17096
--- /dev/null
@@ -0,0 +1,7 @@
+@inproceedings{cbse2012-futures,
+  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.},
+  year = {2012},
+  booktitle = {CBSE 2012: 15th International ACM SIGSOFT Symposium on Component Based Software Engineering},
+}
diff --git a/research/publications/cbse2012-futures.pdf b/research/publications/cbse2012-futures.pdf
new file mode 100644 (file)
index 0000000..577a19c
Binary files /dev/null and b/research/publications/cbse2012-futures.pdf differ