papers: fix mention of ACM SIGSOFT award master
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Sep 2019 12:31:41 +0000 (14:31 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Sep 2019 12:31:41 +0000 (14:31 +0200)
research/publications.mdwn

index 3f9591e..0c18245 100644 (file)
@@ -320,9 +320,8 @@ You might also be interested in my author profiles on
       Engineering</a>, Bertinoro, Italy, June 26-28, 2012.
       ISBN 978-1-4503-1345-2,
       <a href="http://dl.acm.org/citation.cfm?doid=2304736.2304747">pp. 51-60</a>,
-      ACM 2012.
-      <em>Award:</em> <a href="http://europe.acm.org/best-paper.html">Best
-      Paper Award</a>.</em>
+      ACM 2012. <em>Award:</em> <a href="http://www.sigsoft.org/">ACM SIGSOFT</a> Distinguished Paper
+      Award.</em>
     [[!toggle id=id41 text="Abstract..."]] [[!toggleable id=id41 text="""
     *Abstract:* An important aspect of the quality assurance of large component repositories is the logical coherence of component metadata. We argue that it is possible to identify certain classes of such problems by checking relevant properties of the possible future repositories into which the current repository may evolve. In order to make a complete analysis of all possible futures effective however, one needs a way to construct a finite set of representatives of this infinite set of potential futures. We define a class of properties for which this can be done. We illustrate the practical usefulness of the approach with two quality assurance applications: (i) establishing the amount of "forced upgrades" induced by introducing new versions of existing components in a repository, and (ii) identifying outdated components that need to be upgraded in order to ever be installable in the future. For both applications we provide experience reports obtained on the Debian distribution.
     """]]
@@ -332,7 +331,7 @@ You might also be interested in my author profiles on
       978-1-4503-0723-9,
       <a href="http://dl.acm.org/citation.cfm?doid=2000229.2000255">pp. 179-188</a>,
       ACM 2011. <em>Award:</em> <a href="http://www.sigsoft.org/">ACM SIGSOFT</a> Distinguished Paper
-      Award</em>
+      Award.</em>
     [[!toggle id=id36 text="Abstract..."]] [[!toggleable id=id36 text="""
     *Abstract:* Software distributions in the FOSS world rely on so-called package managers for the installation and removal of packages on target machines. State-of-the-art package managers are monolithic in architecture, and each of them is hard-wired to an ad-hoc dependency solver implementing a customized heuristics. In this paper we propose a modular architecture allowing for pluggable 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, accept more expressive input languages, and can be easily adaptable to new platforms. We present a working prototype, called MPM, which has been implemented following the design advocated in this paper.
     """]]