add JFLA 2010 paper about dh-ocaml
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 Nov 2009 17:20:17 +0000 (18:20 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 Nov 2009 17:20:17 +0000 (18:20 +0100)
research/publications.mdwn
research/publications/jfla10-dh-ocaml.pdf [new file with mode: 0644]

index 353d029..b40c982 100644 (file)
@@ -56,8 +56,14 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed conferences">conference proceedings</span>
 
+ 1. <a class="paper_download" href="jfla10-dh-ocaml.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <a href="http://www.pps.jussieu.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>To appear in proceedings of JFLA 2010 (the <a href="http://jfla.inria.fr/2010/">21st Journée Francophones des Langages
+      Applicatifs</a>). 30/01-02/02/2010 - La Ciotat, France.</em>
+    [[!toggle id=id31 text="Abstract..."]] [[!toggleable id=id31 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.
+    """]]
  1. <a class="paper_download" href="sac10-coclo.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> <a href="http://www.cs.unibo.it/~gdangelo/">Gabriele D'Angelo</a>, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Content Cloaking: Preserving Privacy with Google Docs and other Web Applications**.  <em>To appear in proceedings of ACM SAC 2010 (the <a href="http://www.acm.org/conferences/sac/sac2010/">25th Annual ACM
-      Symposium on Applied Computing</a>).</em>
+      Symposium on Applied Computing</a>). 22-26/03/2010 - Sierre,
+      Switzerland.</em>
     [[!toggle id=id30 text="Abstract..."]] [[!toggleable id=id30 text="""
     *Abstract:* Web office suites such as Google Docs offer unparalleled collaboration experiences in terms of low software requirements, ease of use, data ubiquity, and availability. When the data holder (Google, Microsoft, etc.) is not perceived as trusted though, those benefits are considered at stake with important privacy requirements. Content cloaking is a lightweight, cryptographic, client-side solution to protect content from data holders while using web office suites and other "Web 2.0", AJAX-based, collaborative applications.
     """]]
diff --git a/research/publications/jfla10-dh-ocaml.pdf b/research/publications/jfla10-dh-ocaml.pdf
new file mode 100644 (file)
index 0000000..213ef15
Binary files /dev/null and b/research/publications/jfla10-dh-ocaml.pdf differ