add debconf8 paper and mancoosi d5.1
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 29 Oct 2008 14:01:54 +0000 (15:01 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 29 Oct 2008 14:01:54 +0000 (15:01 +0100)
research/publications.mdwn
research/publications/debconf8-mancoosi.pdf

index 01d940e..f8ae62f 100644 (file)
@@ -5,7 +5,7 @@ Here is a list of my **academic papers**, classified by type of publication and
 in reverse chronological order.
 [[toc ]]
 
-# journal articles
+# <span title="international, peer-reviewed journals">journal articles</span>
 
  1. <a class="paper_download" href="nrhm-overlapping-conversions.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Paolo Marinelli, Fabio Vitali, Stefano Zacchiroli.
       **Towards the unification of formats for overlapping markup**
@@ -53,7 +53,7 @@ in reverse chronological order.
     *Abstract:* A foreseeable incarnation of Web 3.0 could inherit machine understandability from the Semantic Web, and collaborative editing from Web 2.0 applications. We review the research and development trends which are getting today Web nearer to such an incarnation. We present semantic wikis, microformats, and the so-called "lowercase semantic web": they are the main approaches at closing the technological gap between content authors and Semantic Web technologies. We discuss a too often neglected aspect of the associated technologies, namely how much they adhere to the wiki philosophy of open editing: is there an intrinsic incompatibility between semantic rich content and unconstrained editing? We argue that the answer to this question can be "no", provided that a few yet relevant shortcomings of current Web technologies will be fixed soon.
     """]]
 
-# conference proceedings
+# <span title="international, peer-reviewed conferences">conference proceedings</span>
 
  1. <a class="paper_download" href="sac09-manners.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Angelo Di Iorio, Davide Rossi, Fabio Vitali, Stefano Zacchiroli.
       **Where are your Manners? Sharing Best Community Practices in the Web 2.0**
@@ -234,8 +234,19 @@ in reverse chronological order.
     *Abstract:* We present a planning broker and several Web-Services for automatic deduction. Each Web-Service implements one of the tactics usually available in interactive proof-assistants. When the broker is submitted a proof status (an incomplete proof tree and a focus on an open goal) it dispatches the proof to the Web-Services, collects the successful results, and send them back to the client as hints as soon as they are available. In our experience this architecture turns out to be helpful both for experienced users (who can take benefit of distributing heavy computations) and beginners (who can learn from it).
     """]]
 
-# technical reports
+# <span title="official research reports of research institutions">technical reports</span>
 
+ 1. <a class="paper_download" href="mancoosi-d5.1.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Ralf Treinen, Stefano Zacchiroli.
+      **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>,
+       work package 5. November 2008.
+      </em>
+    [[toggle id=id24 text="Abstract..."]] [[toggleable id=id24 text="""
+    *Abstract:* This document contains several related specifications, taken together they describe the document formats related to the solver competition which will be organized by Mancoosi. In particular, this document describes: DUDF (Distribution Upgradeability Description Format), the document format to be used to submit upgrade problem instances from user machines to a (distribution-specific) database of upgrade problems; CUDF (Common Upgradeability Description Format), the document format used to encode upgrade problems, abstracting over distribution-specific details. Solvers taking part in the competition will be fed with input in CUDF format.
+    """]]
  1. <a class="paper_download" href="flea.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Luca Padovani, Stefano Zacchiroli.
       **Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators**
       . <em>
@@ -275,3 +286,18 @@ in reverse chronological order.
        Master thesis (Italian only), March 2003, <a href="http://www.cs.unibo.it">Department of Computer Science</a>, <a href="http://www.unibo.it">University of Bologna</a> (advisor: <a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a>; refereed
        by: <a href="http://www.cs.unibo.it/~busi">Nadia Busi</a>).
       </em>
+
+# miscellanea
+
+ 1. <a class="paper_download" href="debconf8-mancoosi.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Ralf Treinen, Stefano Zacchiroli.
+      **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>
+    [[toggle id=id21.1 text="Abstract..."]] [[toggleable id=id21.1 text="""
+    *Abstract:* Mancoosi (Managing the Complexity of the Open Source Infrastructure) is an ongoing research project funded by the European Union for addressing some of the challenges related to the "upgrade problem" of interdependent software components of which Debian packages are prototypical examples. Mancoosi is the natural continuation of the EDOS project which has already contributed tools for distribution-wide quality assurance in Debian and other GNU/Linux distributions. The consortium behind the project consists of several European public and private research institutions as well as some commercial GNU/Linux distributions from Europe and South America. Debian is represented by a small group of Debian Developers who are working in the ranks of the involved universities to drive and integrate back achievements into Debian. This paper presents relevant results from EDOS in dependency management and gives an overview of the Mancoosi project and its objectives, with a particular focus on the prospective benefits for Debian.
+    """]]
+
index f9d09e2..33845ce 100644 (file)
Binary files a/research/publications/debconf8-mancoosi.pdf and b/research/publications/debconf8-mancoosi.pdf differ