papers: fix markup (for real)
[homepage.git] / research / publications.mdwn
index 945514b..536f5c0 100644 (file)
@@ -13,6 +13,21 @@ You might also be interested in my author profiles on
 
 # <span title="international, peer-reviewed journals">international, peer-reviewed journal articles</span>
 
+ 1. <a class="bibtex-download" href="cscw-2018-rtce.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1145/3274310" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.cs.unibo.it/~gdangelo/">Gabriele D'Angelo</a>, <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Spacetime Characterization of Real-Time Collaborative Editing**.  <em>
+       To appear in <a href="https://pacmhci.acm.org/">Proceedings of
+       the ACM on Human-Computer Interaction</a>,
+       Volume 2, No. CSCW, Article 41.
+        ACM, November 2018.
+      </em>
+    [[!toggle id=id71 text="Abstract..."]] [[!toggleable id=id71 text="""
+    *Abstract:* Real-Time Collaborative Editing (RTCE) is a popular way of instrumenting cooperative work on documents, in particular on the Web. Little is known in the literature yet about RTCE usage patterns in the real world. In this paper we study how a popular RTCE editor (Etherpad) is used in the wild, digging into the edit histories of a large collection of documents (about 14 000 pads), retrieved from one of the most popular public instances of the platform, hosted by the Wikimedia Foundation. The pad analysis is supported by a novel conceptual model that allows to label edit operations as "collaborative" or not depending on their distance---in edit position (space), edit time, or spacetime (both)---from edits made by other authors. The model is applied to classify all edits from the pad corpus. Classification results are further used to characterize the collaboration behavior of pad authors. Findings show that: 1) about half of the pads have a single author and hence witnessed no collaboration; 2) collaboration on common document parts happens often, but it happens asynchronously with authors taking turns in editing; and 3) simultaneous editing of common document parts happens very rarely. These findings help in revisiting early RTCE design decisions (e.g., the granularity of conflict management in RTCE protocols) and give insights on how to address novel needs (e.g., end-to-end encryption and offline editing).
+    """]]
+ 1. <a class="paper-download" href="cacm-2018-software-heritage.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="cacm-2018-software-heritage.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1145/3183558" title="Document Object Identifier">doi&gt;</a></span> <a href="https://www.w3.org/People/Abramatic">Jean-François Abramatic</a>, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Building the Universal Archive of Source Code**.  <em>
+       In <a href="https://cacm.acm.org/">Communications of the
+       ACM</a>, October 2018,
+       Volume 61, Number 10, pp. 29-31.
+       ISSN 0001-0782, ACM.
+      </em>
  1. <a class="paper-download" href="debsources-ese-2016.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="debsources-ese-2016.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/s10664-016-9461-5" title="Document Object Identifier">doi&gt;</a></span> <a href="https://matthieu.io/">Matthieu Caneill</a>, <a href="http://turingmachine.org/">Daniel M. Germán</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **The Debsources Dataset: Two Decades of Free and Open Source Software**.  <em>
        In <a href="http://link.springer.com/journal/10664">Empirical Software
        Engineering</a>,
@@ -116,6 +131,10 @@ You might also be interested in my author profiles on
        496, Springer
        2017, ISBN 978-3-319-57734-0.
       </em>
+ 1. <a class="paper-download" href="jopp-10-editorial.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="jopp-10-editorial.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> Mathieu O'Neil, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Making Lovework: Editorial Notes for the JoPP issue on Peer Production and Work**.  <em>In <a href="http://peerproduction.net/">Journal of Peer
+      Production</a>,
+      Issue 10.
+      ISSN 2213-5316, 2017.</em>
  1. <a class="paper-download" href="jwe-wt-2014-editorial.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="jwe-wt-2014-editorial.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, <a href="http://www.cs.unibo.it/~rossi/">Davide Rossi</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Editorial**.  <em>In <a href="http://www.rintonpress.com/journals/jwe/">Journal of Web
       Engineering</a>, Volume 14, Number 1-2,
       pp. 1-2.
@@ -148,6 +167,23 @@ You might also be interested in my author profiles on
 
 # <span title="international, peer-reviewed conferences">international, peer-reviewed conference proceedings</span>
 
+ 1. <a class="paper-download" href="ipres-2018-doi.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="ipres-2018-doi.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="https://moranegg.github.io/">Morane Gruenpeter</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Identifiers for Digital Objects: the Case of Software Source Code Preservation**.  <em>
+       To appear in Proceedings of <a href="https://ipres2018.org/">iPRES 2018</a>: 15th International
+       Conference on Digital Preservation, Boston, MA, USA,
+       September 2018, 9 pages.
+      </em>
+    [[!toggle id=id70 text="Abstract..."]] [[!toggleable id=id70 text="""
+    *Abstract:* In the very broad scope addressed by digital preservation initiatives, a special place belongs to the scientific and technical artifacts that we need to properly archive to enable scientific reproducibility. For these artifacts we need identifiers that are not only unique and persistent, but also support integrity in an intrinsic way. They must provide strong guarantees that the object denoted by a given identifier will always be the same, without relying on third parties and external administrative processes. In this article, we report on our quest for this identifiers for digital objects (IDOs), whose properties are different from, and complementary to, those of the various digital identifiers of objects (DIOs) that are in widespread use today. We argue that both kinds of identifiers are needed and present the framework for intrinsic persistent identifiers that we have adopted in Software Heritage for preserving billions of software artifacts.
+    """]]
+ 1. <a class="paper-download" href="ipres-2017-software-heritage.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="ipres-2017-software-heritage.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Software Heritage: Why and How to Preserve Software Source Code**.  <em>
+       In Proceedings of <a href="https://ipres2017.jp/">iPRES
+       2017</a>: 14th International Conference on Digital
+       Preservation, Kyoto, Japan, September 2017, 10
+       pages.
+      </em>
+    [[!toggle id=id65 text="Abstract..."]] [[!toggleable id=id65 text="""
+    *Abstract:* Software is now a key component present in all aspects of our society. Its preservation has attracted growing attention over the past years within the digital preservation community. We claim that source code—the only representation of software that contains human readable knowledge—is a precious digital object that needs special handling: it must be a first class citizen in the preservation landscape and we need to take action immediately, given the in- creasingly more frequent incidents that result in permanent losses of source code collections. In this paper we present Software Heritage, an ambitious initiative to collect, preserve, and share the entire corpus of publicly accessible software source code. We discuss the archival goals of the project, its use cases and role as a participant in the broader digital preservation ecosystem, and detail its key design decisions. We also report on the project road map and the current status of the Software Heritage archive that, as of early 2017, has collected more than 3 billion unique source code files and 700 million commits coming from more than 50 million software development projects.
+    """]]
  1. <a class="paper-download" href="aeolus-icsoc-2015.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="aeolus-icsoc-2015.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/978-3-662-48616-0_28" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, Antoine Eiche, <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>, <a href="http://www.pps.univ-paris-diderot.fr/~qba/">Jakub Zwolakowski</a>. **Automatic Deployment of Services in the Cloud with Aeolus Blender**.  <em>In proceedings of <a href="http://icsoc.in/">ICSOC 2015</a>: 13th International Conference on
         Service Oriented Computing, November 16-19, 2015, Goa, India.
         ISBN 978-3-662-48615-3, <a href="http://link.springer.com/chapter/10.1007%2F978-3-662-48616-0_28">pp. 397-411</a>,
@@ -552,10 +588,18 @@ You might also be interested in my author profiles on
     [[!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="mancoosi-tr3.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="mancoosi-tr3.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Common Upgradeability Description Format (CUDF) 2.0**.  <em>
+       <a href="http://www.mancoosi.org">Mancoosi project</a>
+       <a href="https://www.mancoosi.org/reports/">technical
+       report 3</a>, 24 November 2009.
+      </em>
+    [[!toggle id=id66 text="Abstract..."]] [[!toggleable id=id66 text="""
+    *Abstract:* The solver competition which will be organized by Mancoosi relies on the standardized format for describing package upgrade scenarios. This document describes the Common Upgradeability Description Format (CUDF), the document format used to encode upgrade scenarios, abstracting over distribution-specific details. Solvers taking part in the competition will be fed with input in CUDF format. The format is not specific to Mancoosi and is meant to be generally useful to describe upgrade scenarios when abstraction over distribution-specific details is desired.
+    """]]
  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> <a href="http://mancoosi.org/~abate/about-me">Pietro Abate</a>, 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
-        0002</a>, 22 May 2009.
+        <a href="http://www.mancoosi.org/reports/">technical
+       report 2</a>, 22 May 2009.
       </em>
     [[!toggle id=id27 text="Abstract..."]] [[!toggleable id=id27 text="""
     *Abstract:* Component-based systems often describe context requirements in terms of explicit inter-component dependencies. Studying large instances of such systems, such as free and open source software (FOSS) distributions, in terms of declared dependencies between packages is appealing. It is however also misleading when the language to express dependencies is as expressive as boolean formulae, which is often the case. In such settings, a more appropriate notion of component dependency exists: strong dependency. This paper introduces such notion as a first step towards modeling semantic, rather then syntactic, inter-component relationships. Furthermore, a notion of component sensitivity is derived from strong dependencies, with applications to quality assurance and to the evaluation of upgrade risks. An empirical study of strong dependencies and sensitivity is presented, in the context of one of the largest, freely available, component-based system.
@@ -580,14 +624,16 @@ You might also be interested in my author profiles on
     """]]
  1. <a class="paper-download" href="flea.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="flea.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Stream Processing of XML Documents Made Easy with LALR(1) Parser Generators**.  <em>
         <a href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-23">Technical
-          report UBLCS-2007-23</a>, September 2007, <a href="http://www.cs.unibo.it">Department of Computer Science</a>, <a href="http://www.unibo.it">University of Bologna</a>.
+        report UBLCS-2007-23</a>, September 2007,
+       <a href="http://www.cs.unibo.it">Department of Computer Science</a>, <a href="http://www.unibo.it">University of Bologna</a>.
       </em>
     [[!toggle id=id17 text="Abstract..."]] [[!toggleable id=id17 text="""
     *Abstract:* Because of their fully annotated structure, XML documents are normally believed to require a straightforward parsing phase. However, the standard APIs for accessing their content (the Document Object Model and the Simple API for XML) provide a programming interface that is very low-level and is thus inadequate for the recognition of any structure that is not isomorphic to its XML encoding. Even when the document undergoes validation, its unmarshalling into application-specific data using these APIs requires poorly maintainable, tedious-to-write, and possibly inefficient code. We describe a technique for the simultaneous parsing, validation, and unmarshalling of XML documents that combines a stream-oriented XML parser with a LALR(1) parser in order to guarantee efficient stream processing, expressive validation capabilities, and the possibility to associate user-provided actions with specific patterns occurring in the source documents.
     """]]
  1. <a class="paper-download" href="wiki-templating-tr.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="wiki-templating-tr.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Templating Wiki Content for Fun and Profit**.  <em>
         <a href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-21">Technical
-          report UBLCS-2007-21</a>, August 2007, <a href="http://www.cs.unibo.it">Department of Computer Science</a>, <a href="http://www.unibo.it">University of Bologna</a>.
+        report UBLCS-2007-21</a>, August 2007,
+       <a href="http://www.cs.unibo.it">Department of Computer Science</a>, <a href="http://www.unibo.it">University of Bologna</a>.
       </em>
     [[!toggle id=id16 text="Abstract..."]] [[!toggleable id=id16 text="""
     *Abstract:* Content templating enables reuse of content structures between wiki pages. Such a feature is implemented in several mainstream wiki engines. Systematic study of its conceptual models and comparison of the available implementations are unfortunately missing in the wiki literature. In this paper we aim to fill this gap first analyzing template-related user needs, and then reviewing existing approaches at content templating. Our investigation shows that two models emerge, functional and creational templating, and that both have weakness failing to properly fit in "The Wiki Way". As a solution, we propose the adoption of creational templates enriched with light constraints, showing that such a solution has a low implementative footprint in state-of-the-art wiki engines, and that it has a synergy with semantic wikis.
@@ -595,6 +641,13 @@ You might also be interested in my author profiles on
 
 # dissertations
 
+ 1. <a class="paper-download" href="hdr-thesis.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="hdr-thesis.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Large-scale Modeling, Analysis, and Preservation of Free and Open Source Software**.  <em>
+        HDR (Habilitation à diriger des recherches) dissertation, defended
+        publicly on 27 November 2017, at Université Paris Diderot, France,
+        before a jury composed of: Ahmed Bouajjani, Carlo Ghezzi, Jesus M.
+        Gonzalez-Barahona, Roberto Di Cosmo, Jean-Bernard Stefani, Diomidis
+        Spinellis, Andreas Zeller.
+      </em>
  1. <a class="paper-download" href="phd-thesis.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="phd-thesis.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **User Interaction Widgets for Interactive Theorem Proving**.  <em>
         Ph.D. dissertation, <a href="http://www.cs.unibo.it/pub/TR/UBLCS/ABSTRACTS/2007.bib?ncstrl.cabernet//BOLOGNA-UBLCS-2007-10">Technical
           report UBLCS-2007-10</a>, March 2007, <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