publications list: regenerate, no functional change
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 May 2013 16:45:23 +0000 (18:45 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 10 May 2013 16:45:23 +0000 (18:45 +0200)
research/publications.mdwn

index 4a15ff5..c6c2280 100644 (file)
@@ -11,7 +11,8 @@ in reverse chronological order.
       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.
     """]]
@@ -19,14 +20,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>.
-      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
-      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.
     """]]
@@ -44,7 +46,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>.
-       <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="""
@@ -54,8 +57,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>,
-       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.