papers: publish TRs for icalp 2013 and zephyrus
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Jun 2013 10:09:06 +0000 (12:09 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Jun 2013 10:09:06 +0000 (12:09 +0200)
research/publications.mdwn
research/publications/icalp2013-tr.bib [new file with mode: 0644]
research/publications/icalp2013-tr.pdf [new file with mode: 0644]
research/publications/zephyrus-tr.bib [new file with mode: 0644]
research/publications/zephyrus-tr.pdf [new file with mode: 0644]

index 4efd1e0..2480600 100644 (file)
@@ -399,6 +399,22 @@ in reverse chronological order.
 
 # <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>, Michaël Lienhardt, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, Jakub Zwolakowski. **Optimal Provisioning in the Cloud**.  <em>
+       <a href="http://www.aeolus-project.org/"><institution>Aeolus
+       project</institution></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/"><institution>Aeolus
+       project</institution></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
diff --git a/research/publications/icalp2013-tr.bib b/research/publications/icalp2013-tr.bib
new file mode 100644 (file)
index 0000000..4003f2f
--- /dev/null
@@ -0,0 +1,8 @@
+@techreport{icalp2013-tr,
+  author = {Di Cosmo, Roberto and Mauro, Jacopo and Stefano Zacchiroli and Zavattaro, Gianluigi},
+  title = {Component reconfiguration in the presence of conflicts},
+  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.},
+  month = {Avril},
+  year = {2013},
+  institution = {Aeolus project},
+}
diff --git a/research/publications/icalp2013-tr.pdf b/research/publications/icalp2013-tr.pdf
new file mode 100644 (file)
index 0000000..e78233f
Binary files /dev/null and b/research/publications/icalp2013-tr.pdf differ
diff --git a/research/publications/zephyrus-tr.bib b/research/publications/zephyrus-tr.bib
new file mode 100644 (file)
index 0000000..680803e
--- /dev/null
@@ -0,0 +1,8 @@
+@techreport{zephyrus-tr,
+  author = {Di Cosmo, Roberto and Michaël Lienhardt and Ralf Treinen and Stefano Zacchiroli and Jakub Zwolakowski},
+  title = {Optimal Provisioning in the Cloud},
+  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.},
+  month = {Juin},
+  year = {2013},
+  institution = {Aeolus project},
+}
diff --git a/research/publications/zephyrus-tr.pdf b/research/publications/zephyrus-tr.pdf
new file mode 100644 (file)
index 0000000..386e256
Binary files /dev/null and b/research/publications/zephyrus-tr.pdf differ