add publishing metadata for CISE paper on DIOs/DOIs
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Mar 2020 10:34:05 +0000 (11:34 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Mar 2020 10:34:05 +0000 (11:34 +0100)
research/publications.mdwn
research/publications/cise-2020-doi.bib

index b3a6b76..6c1bec9 100644 (file)
@@ -14,9 +14,12 @@ 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="paper-download" href="cise-2020-doi.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="cise-2020-doi.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1109/MCSE.2019.2963148" title="Document Object Identifier">doi&gt;</a></span> <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>. **Referencing Source Code Artifacts: a Separate Concern in Software Citation**.  <em>
-       To appear in <a href="https://www.computer.org/csdl/magazines/cs">Computing in Science
-       &amp; Engineering</a>.
-       ISSN 1521-9615, IEEE. 2020.
+       In <a href="https://www.computer.org/csdl/magazines/cs">Computing in Science
+       and Engineering</a>, volume 22,
+       issue 2,
+       <a href="https://ieeexplore.ieee.org/document/8946737">pp. 33-43</a>.
+       ISSN 1521-9615, IEEE.
+       March 2020.
       </em>
     [[!toggle id=id78 text="Abstract..."]] [[!toggleable id=id78 text="""
     *Abstract:* Among the entities involved in software citation, software source code requires special attention, due to the role it plays in ensuring scientific reproducibility. To reference source code we need identifiers that are not only unique and persistent, but also support integrity checking intrinsically. Suitable iden- tifiers must guarantee that denoted objects will always stay the same, without relying on external third parties and administrative processes. We analyze the role of identifiers for digital objects (IDOs), whose properties are different from, and complementary to, those of the various digital identifiers of objects (DIOs) that are today popular building blocks of software and data citation toolchains. We argue that both kinds of identifiers are needed and detail the syntax, semantics, and practical implementation of the persistent identifiers (PIDs) adopted by the Software Heritage project to reference billions of software source code artifacts such as source code files, directories, and commits.
@@ -24,7 +27,7 @@ You might also be interested in my author profiles on
  1. <a class="paper-download" href="cscw-2018-rtce.pdf" title="download paper in PDF format">[.pdf]</a> <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>
        In <a href="https://pacmhci.acm.org/">Proceedings of
        the ACM on Human-Computer Interaction</a>,
-       Volume 2, Issue CSCW,
+       volume 2, issue CSCW,
        Article No. <a href="https://dl.acm.org/citation.cfm?id=3274310">41</a>.
        ISSN 2573-0142, ACM,
        November 2018.
@@ -35,18 +38,17 @@ You might also be interested in my author profiles on
  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,
+       volume 61, number 10,
        pp. <a href="https://cacm.acm.org/magazines/2018/10/231366-building-the-universal-archive-of-source-code/fulltext">29-31</a>.
        ISSN 0001-0782, ACM.
       </em>
  1. <a class="paper-download" href="jopp-10-debian-survey.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="jopp-10-debian-survey.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="https://www.canberra.edu.au/about-uc/faculties/arts-design/courses/communications-staff/oneil-mathieu">Mathieu O'Neil</a>, Mahin Raissi, Molly de Blanc, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Preliminary Report on the Influence of Capital in an Ethical-Modular Project: Quantitative data from the 2016 Debian Survey**.  <em>In <a href="http://peerproduction.net/">Journal of Peer
       Production</a>,
-      <a href="http://peerproduction.net/issues/issue-10-peer-production-and-work/">Issue 10</a>.
+      <a href="http://peerproduction.net/issues/issue-10-peer-production-and-work/">issue 10</a>.
       ISSN 2213-5316, 2017.</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>,
-       Volume 22,
+       Engineering</a>, volume 22,
        <a href="https://link.springer.com/article/10.1007%2Fs10664-016-9461-5">pp. 1405-1437</a>,
        June, 2017.
        ISSN 1382-3256, Springer.
@@ -55,14 +57,14 @@ You might also be interested in my author profiles on
     *Abstract:* We present the Debsources Dataset: source code and related metadata spanning two decades of Free and Open Source Software (FOSS) history, seen through the lens of the Debian distribution. The dataset spans more than 3 billion lines of source code as well as metadata about them such as: size metrics (lines of code, disk usage), developer-defined symbols (ctags), file-level checksums (SHA1, SHA256, TLSH), file media types (MIME), release information (which version of which package containing which source code files has been released when), and license information (GPL, BSD, etc). The Debsources Dataset comes as a set of tarballs containing deduplicated unique source code files organized by their SHA1 checksums (the source code), plus a portable PostgreSQL database dump (the metadata). A case study is run to show how the Debsources Dataset can be used to easily and efficiently instrument very long-term analyses of the evolution of Debian from various angles (size, granularity, licensing, etc.), getting a grasp of major FOSS trends of the past two decades. The Debsources Dataset is Open Data, released under the terms of the CC BY-SA 4.0 license, and available for download from Zenodo with DOI reference 10.5281/zenodo.61089.
     """]]
  1. <a class="paper-download" href="ic-2014-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="ic-2014-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.ic.2014.11.002" title="Document Object Identifier">doi&gt;</a></span> <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>. **Aeolus: a Component Model for the Cloud**.  <em>In <a href="http://www.journals.elsevier.com/information-and-computation">Information
-      and Computation</a>, Volume 239, <a href="http://www.sciencedirect.com/science/article/pii/S0890540114001424">pp. 100-121</a>. 2014.
+      and Computation</a>, volume 239, <a href="http://www.sciencedirect.com/science/article/pii/S0890540114001424">pp. 100-121</a>. 2014.
       ISSN 0890-5401, Elsevier.</em>
     [[!toggle id=id56 text="Abstract..."]] [[!toggleable id=id56 text="""
     *Abstract:* We introduce the Aeolus component model, which is specifically designed to capture realistic scenarii arising when configuring and deploying distributed applications in the so-called cloud environments, where interconnected components can be deployed on clusters of heterogeneous virtual machines, which can be in turn created, destroyed, and connected on-the-fly. The full Aeolus model is able to describe several component characteristics such as dependencies, conflicts, non-functional requirements (replication requests and load limits), as well as the fact that component interfaces to the world might vary depending on the internal component state. When the number of components needed to build an application grows, it becomes important to be able to automate activities such as deployment and reconfiguration. This correspond, at the level of the model, to the ability to decide whether a desired target system configuration is reachable, which we call the achievability problem, and producing a path to reach it. In this work we show that the achievability problem is undecidable for the full Aeolus model, a strong limiting result for automated configuration in the cloud. We also show that the problem becomes decidable, but Ackermann-hard, as soon as one drops non-functional requirements. Finally, we provide a polynomial time algorithm for the further restriction of the model where support for inter-component conflicts is also removed.
     """]]
  1. <a class="paper-download" href="scp2013-futures.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="scp2013-futures.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.scico.2013.06.007" title="Document Object Identifier">doi&gt;</a></span> <a href="http://mancoosi.org/~abate/about-me">Pietro Abate</a>, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Learning from the Future of Component Repositories**.  <em>In <a href="http://www.elsevier.com/locate/scico/">Science
       of Computer Programming</a>,
-      Volume 90, Part B,
+      volume 90, part B,
       <a href="http://www.sciencedirect.com/science/article/pii/S0167642313001561">pp. 93-115</a>.
       ISSN 0167-6423, Elsevier,
       2014.</em>
@@ -71,7 +73,7 @@ You might also be interested in my author profiles on
     """]]
  1. <a class="paper-download" href="infsof2012-mpm.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="infsof2012-mpm.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.infsof.2012.09.002" title="Document Object Identifier">doi&gt;</a></span> <a href="http://mancoosi.org/~abate/about-me">Pietro Abate</a>, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **A Modular Package Manager Architecture**.  <em>In <a href="http://www.journals.elsevier.com/information-and-software-technology/">Information
       and Software Technology</a>,
-      Volume 55, Issue 2,
+      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>
@@ -80,7 +82,7 @@ You might also be interested in my author profiles on
     """]]
  1. <a class="paper-download" href="jss2012-concern.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="jss2012-concern.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.jss.2012.02.018" title="Document Object Identifier">doi&gt;</a></span> <a href="http://mancoosi.org/~abate/about-me">Pietro Abate</a>, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.univ-paris-diderot.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Dependency Solving: a Separate Concern in Component Evolution Management**.  <em>In <a href="http://www.journals.elsevier.com/journal-of-systems-and-software/">Journal
       of Systems and Software</a>,
-      Volume 85, Issue 10,
+      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>
@@ -88,15 +90,15 @@ You might also be interested in my author profiles on
     *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>.
+      Interaction</a>, volume 2012,
+      article ID 893575, <a href="http://www.hindawi.com/journals/ahci/2012/893575/">pp. 1-19</a>.
       ISSN 1687-5893, 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.
     """]]
  1. <a class="paper-download" href="scp2010-evolution.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="scp2010-evolution.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.scico.2010.11.001" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.di.univaq.it/diruscio/">Davide Di Ruscio</a>, <a href="http://www.di.univaq.it/pellicci/">Patrizio Pelliccione</a>, <a href="http://www.di.univaq.it/alfonso/">Alfonso Pierantonio</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Supporting Software Evolution in Component-Based FOSS Systems**.  <em>In <a href="http://www.elsevier.com/locate/scico/">Science
-      of Computer Programming</a>, Volume 76, Issue
-      12,
+      of Computer Programming</a>, volume 76,
+      issue 12,
       <a href="http://www.sciencedirect.com/science/article/pii/S0167642310002005">pp. 1144-1160</a>.
       ISSN 0167-6423,
       Elsevier, 2011.</em>
@@ -105,20 +107,22 @@ You might also be interested in my author profiles on
     """]]
  1. <a class="paper-download" href="nrhm-overlapping-conversions.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="nrhm-overlapping-conversions.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1080/13614560802316145" title="Document Object Identifier">doi&gt;</a></span> <a href="http://vitali.web.cs.unibo.it/Main/PaoloMarinelli">Paolo Marinelli</a>, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Towards the unification of formats for overlapping markup**.  <em>
         In <a href="http://www.tandf.co.uk/journals/titles/13614568.asp">New Review
-        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>.
+        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
-        1361-4568</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="""
     *Abstract:* Overlapping markup refers to the issue of how to represent data structures more expressive than trees, for example direct acyclic graphs, using markup (meta-)languages which have been designed with trees in mind, for example XML. In this paper we observe that the state of the art in overlapping markup is far from being the widespread and consistent stack of standards and technologies readily available for XML and develop a roadmap for closing the gap. In particular we present in the paper the design and implementation of what we believe to be the first needed step, namely: a syntactic conversion framework among the plethora of overlapping markup serialization formats. The algorithms needed to perform the various conversions are presented in pseudo-code, they are meant to be used as blueprints for researchers and practitioners which need to write batch translation programs from one format to the other.
     """]]
  1. <a class="paper-download" href="mcs-disambiguation-errors.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="mcs-disambiguation-errors.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/s11786-008-0058-2" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Spurious Disambiguation Errors and How to Get Rid of Them**.  <em>
         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>,
+        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>.
       </em>
@@ -127,8 +131,9 @@ You might also be interested in my author profiles on
     """]]
  1. <a class="paper-download" href="matita.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="matita.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/s10817-007-9070-5" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a>, <a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a>, <a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **User Interaction with the Matita Proof Assistant**.  <em>
         In <a href="http://www-unix.mcs.anl.gov/JAR/">Journal of
-        Automated Reasoning</a>, <a href="http://springerlink.metapress.com/content/h81468706x24/">Volume
-        39, Number 2</a>. Springer
+        Automated Reasoning</a>,
+       <a href="http://springerlink.metapress.com/content/h81468706x24/">volume 39,
+       number 2</a>. Springer
         Netherlands, <a href="http://www.springerlink.com/content/0168-7433">ISSN
         0168-7433</a>, <a href="http://springerlink.metapress.com/content/y4wt440q28136q47">pp.
         109-139</a>, 2007.
@@ -148,20 +153,20 @@ You might also be interested in my author profiles on
       </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> <a href="https://www.canberra.edu.au/about-uc/faculties/arts-design/courses/communications-staff/oneil-mathieu">Mathieu O'Neil</a>, <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>,
-      <a href="http://peerproduction.net/issues/issue-10-peer-production-and-work/">Issue 10</a>.
+      <a href="http://peerproduction.net/issues/issue-10-peer-production-and-work/">issue 10</a>.
       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.
+      Engineering</a>, volume 14,
+      number 1-2, pp. 1-2.
       ISSN 1540-9589, Rinton Press,
       March 2015.</em>
  1. <a class="paper-download" href="scp-wt-2012-editorial.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="scp-wt-2012-editorial.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.scico.2014.03.001" title="Document Object Identifier">doi&gt;</a></span> <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>. **Web Technologies: Selected and extended papers from WT ACM SAC 2012**.  <em>In <a href="http://www.journals.elsevier.com/science-of-computer-programming/">Science
-      of Computer Programming</a>, Volume 94,
-      Part 1,
+      of Computer Programming</a>, volume 94,
+      part 1,
       <a href="http://www.sciencedirect.com/science/article/pii/S0167642314001051">pp. 1-2</a>.
       ISSN 0167-6423, Elsevier, 2014.</em>
  1. <a class="paper-download" href="spe-wt-2011-editorial.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="spe-wt-2011-editorial.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1002/spe.2169" title="Document Object Identifier">doi&gt;</a></span> <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://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X">Software:
-      Practice and Experience</a>, Volume 43, Issue
+      Practice and Experience</a>, volume 43, issue
       12,
       <a href="http://onlinelibrary.wiley.com/doi/10.1002/spe.2169/abstract">pp. 1393-1394</a>.
       ISSN 1097-024X, Wiley, 2013.</em>
@@ -184,7 +189,7 @@ 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="saner-2020-swh-graph.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="saner-2020-swh-graph.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://boldi.di.unimi.it/">Paolo Boldi</a>, <a href="https://koin.fr/">Antoine Pietri</a>, <a href="http://vigna.di.unimi.it/">Sebastiano Vigna</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Ultra-Large-Scale Repository Analysis via Graph Compression**.  <em>
-       To appear in proceedings of <a href="https://saner2020.csd.uwo.ca/">SANER 2020</a>: The 27th IEEE
+       In proceedings of <a href="https://saner2020.csd.uwo.ca/">SANER 2020</a>: The 27th IEEE
        International Conference on Software Analysis, Evolution and
        Reengineering, February 18-21, 2020, London, Ontario,
        Canada. IEEE 2020.
@@ -193,7 +198,7 @@ You might also be interested in my author profiles on
     *Abstract:* We consider the problem of mining the development history—as captured by modern version control systems—of ultra-large-scale software archives (e.g., tens of millions software repositories corresponding). We show that graph compression techniques can be applied to the problem, dramatically reducing the hardware resources needed to mine similarly-sized corpus. As a concrete use case we compress the full Software Heritage archive, consisting of 5 billion unique source code files and 1 billion unique commits, harvested from more than 80 million software projects—encompassing a full mirror of GitHub. The resulting compressed graph fits in less than 100 GB of RAM, corresponding to a hardware cost of less than 300 U.S. dollars. We show that the compressed in-memory representation of the full corpus can be accessed with excellent performances, with edge lookup times close to memory random access. As a sample exploitation experiment we show that the compressed graph can be used to conduct clone detection at this scale, benefiting from main memory access speed.
     """]]
  1. <a class="paper-download" href="saner-2020-deps.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="saner-2020-deps.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://mancoosi.org/~abate/about-me">Pietro Abate</a>, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.gousios.gr/">Georgios Gousios</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Dependency Solving Is Still Hard, but We Are Getting Better at It**.  <em>
-       To appear in proceedings of <a href="https://saner2020.csd.uwo.ca/">SANER 2020</a>: The 27th IEEE
+       In proceedings of <a href="https://saner2020.csd.uwo.ca/">SANER 2020</a>: The 27th IEEE
        International Conference on Software Analysis, Evolution and
        Reengineering, February 18-21, 2020, London, Ontario,
        Canada. IEEE 2020.
@@ -403,7 +408,7 @@ You might also be interested in my author profiles on
       2009</a>: 4th international conference on Evaluation of Novel Aspects to
       Software Engineering; held in conjunction with <a href="http://www.iceis.org/">ICEIS 2009</a>. 6-10 May 2009, Milan, Italy.
       <a href="http://www.springerlink.com/content/978-3-642-14818-7/contents/">CCIS
-      Volume 69</a>, ISBN 978-3-642-14818-7,
+      volume 69</a>, ISBN 978-3-642-14818-7,
       <a href="http://www.springerlink.com/content/g73241150p518215/">pp.
       262-276</a>, Springer-Verlag,
       2010.</em>
@@ -562,9 +567,10 @@ You might also be interested in my author profiles on
         In Proceedings of <a href="http://www.ags.uni-sb.de/~omega/workshops/UITP06/">UITP 2006</a>:
         User Interfaces for Theorem Provers. Seattle, WA -- August
         21, 2006. <a href="http://www.elsevier.com/locate/issn/15710661">ENTCS
-        (Elsevier, ISSN 1571-0661)</a>, <a href="http://www.sciencedirect.com/science/journal/15710661">Volume
-        174, Issue 2,
-        pp. 125-142. May 2007</a>.
+        (Elsevier, ISSN 1571-0661)</a>,
+       <a href="http://www.sciencedirect.com/science/journal/15710661">volume 174,
+       issue 2, pp. 125-142.
+       May 2007</a>.
       </em>
     [[!toggle id=id8 text="Abstract..."]] [[!toggleable id=id8 text="""
     *Abstract:* Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this paper we discuss how these ingredients do not interact well with user interfaces based on the same interaction paradigm of Proof General (the de facto standard in this field), identifying in the coarse-grainedness of tactical evaluation the key problem. We propose Tinycals as an alternative to a subset of LCF tacticals, showing that the user does not experience the same problem if tacticals are evaluated in a more fine-grained manner. We present the formal operational semantics of tinycals as well as their implementation in the Matita proof assistant.
@@ -602,8 +608,8 @@ You might also be interested in my author profiles on
 # <span title="national, peer-reviewed journals">national, peer-reviewed journal articles</span>
 
  1. <a class="paper-download" href="studia11-dh-ocaml.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="studia11-dh-ocaml.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.pps.univ-paris-diderot.fr/~dogguy/">Mehdi Dogguy</a>, <a href="http://stephane.glondu.net/">Stéphane Glondu</a>, <a href="http://sylvain.le-gall.net/">Sylvain Le Gall</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Enforcing Type-Safe Linking using Inter-Package Relationships**.  <em>In <a href="http://studia.complexica.net/">Studia
-      Informatica Universalis</a>, Volume 9, Issue
-      1, pp. 129-157.
+      Informatica Universalis</a>, volume 9,
+      issue 1, pp. 129-157.
       ISSN 1625-7545, Hermann 2011.</em>
     [[!toggle id=id37 text="Abstract..."]] [[!toggleable id=id37 text="""
     *Abstract:* Strongly-typed languages rely on link-time checks to ensure that type safety is not violated at the borders of compilation units. Such checks entail very fine-grained dependencies among compilation units, which are at odds with the implicit assumption of backward compatibility that is relied upon by common library packaging techniques adopted by FOSS (Free and Open Source Software) package-based distributions. As a consequence, package managers are often unable to prevent users to install a set of libraries which cannot be linked together. We discuss how to guarantee link-time compatibility using inter-package relationships; in doing so, we take into account real-life maintainability problems such as support for automatic package rebuild and manageability of ABI (Application Binary Interface) strings by humans. We present the dh_ocaml implementation of the proposed solution, which is currently in use in the Debian distribution to safely deploy more than 300 OCaml-related packages.
index 0fa4200..1194ee3 100644 (file)
@@ -3,8 +3,12 @@
   title = {Referencing Source Code Artifacts: a Separate Concern in Software Citation},
   abstract = {Among the entities involved in software citation, software source code requires special attention, due to the role it plays in ensuring scientific reproducibility. To reference source code we need identifiers that are not only unique and persistent, but also support integrity checking intrinsically. Suitable iden- tifiers must guarantee that denoted objects will always stay the same, without relying on external third parties and administrative processes. We analyze the role of identifiers for digital objects (IDOs), whose properties are different from, and complementary to, those of the various digital identifiers of objects (DIOs) that are today popular building blocks of software and data citation toolchains. We argue that both kinds of identifiers are needed and detail the syntax, semantics, and practical implementation of the persistent identifiers (PIDs) adopted by the Software Heritage project to reference billions of software source code artifacts such as source code files, directories, and commits.},
   publisher = {IEEE},
+  month = {March},
   year = {2020},
   issn = {1521-9615},
   doi = {10.1109/MCSE.2019.2963148},
-  journal = {Computing in Science &amp; Engineering},
+  pages = {33-43},
+  volume = {22},
+  number = {2},
+  journal = {Computing in Science and Engineering},
 }