papers: add CUDF paper at OCaml meeting 2014
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 25 Jan 2015 17:05:12 +0000 (18:05 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 25 Jan 2015 17:05:12 +0000 (18:05 +0100)
research/publications.mdwn
research/publications/cudf-ocaml-2014.bib [new file with mode: 0644]
research/publications/cudf-ocaml-2014.pdf [new file with mode: 0644]

index 5b8dc70..bcbbf81 100644 (file)
@@ -328,6 +328,12 @@ You might also be interested in my author profiles on
 
 # <span title="international, peer-reviewed workshops">international, peer-reviewed workshop proceedings</span>
 
+ 1. <a class="paper-download" href="cudf-ocaml-2014.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="cudf-ocaml-2014.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, Louis Gesbert, Fabrice Le Fessant, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Using Preferences to Tame your Package Manager**.  <em>In proceedings of <a href="https://ocaml.org/meetings/ocaml/2014/">OCaml 2014</a>: The OCaml
+      Users and Developers Workshop, September 5, 2014, Gothenburg,
+      Sweden. Co-located with <a href="http://icfpconference.org/icfp2014/">ICFP 2014</a>. 2014.</em>
+    [[!toggle id=id57 text="Abstract..."]] [[!toggleable id=id57 text="""
+    *Abstract:* Determining whether some components can be installed on a system is a complex problem: not only it is NP-complete in the worst case, but there can also be exponentially many solutions to it. Ordinary package managers use ad-hoc heuristics to solve this installation problem and choose a particular solution, making extremely difficult to change or sidestep these heuristics when the result is not the one we expect. When software repositories become complex enough, one gets vastly superior results by delegating dependency handling to a specialised solver, and use optimisation functions (or preferences) to control the class of solutions that are found. The opam package manager relies on the CUDF pivot format, which allows OCaml users that have a CUDF-compliant solver on their machine to reap the benefits of preferences-based dependency resolution. Thanks to the solver farm provided by Irill, these benefits are now extended to the OCaml community at large. In this talk we will present the preferences language and explain how to use it.
+    """]]
  1. <a class="paper-download" href="msr2012-conflicts.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="msr2012-conflicts.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1109/MSR.2012.6224274" title="Document Object Identifier">doi&gt;</a></span> <a href="http://staff.aist.go.jp/c.artho/">Cyrille Valentin Artho</a>, Kuniyasu Suzaki, <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>. **Why do software packages conflict?**.  <em>In proceedings of <a href="http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6220358">MSR
       2012</a>: <a href="http://2012.msrconf.org/">9th IEEE Working Conference
       on Mining Software Repositories</a>, co-located with <a href="http://www.icse2012.org/">ICSE 2012</a>,
diff --git a/research/publications/cudf-ocaml-2014.bib b/research/publications/cudf-ocaml-2014.bib
new file mode 100644 (file)
index 0000000..9872d8a
--- /dev/null
@@ -0,0 +1,7 @@
+@inproceedings{cudf-ocaml-2014,
+  author = {Pietro Abate and Di Cosmo, Roberto and Louis Gesbert and Fabrice Le Fessant and Stefano Zacchiroli},
+  title = {Using Preferences to Tame your Package Manager},
+  abstract = {Determining whether some components can be installed on a system is a complex problem: not only it is NP-complete in the worst case, but there can also be exponentially many solutions to it. Ordinary package managers use ad-hoc heuristics to solve this installation problem and choose a particular solution, making extremely difficult to change or sidestep these heuristics when the result is not the one we expect. When software repositories become complex enough, one gets vastly superior results by delegating dependency handling to a specialised solver, and use optimisation functions (or preferences) to control the class of solutions that are found. The opam package manager relies on the CUDF pivot format, which allows OCaml users that have a CUDF-compliant solver on their machine to reap the benefits of preferences-based dependency resolution. Thanks to the solver farm provided by Irill, these benefits are now extended to the OCaml community at large. In this talk we will present the preferences language and explain how to use it.},
+  year = {2014},
+  booktitle = {OCaml 2014: The OCaml Users and Developers Workshop},
+}
diff --git a/research/publications/cudf-ocaml-2014.pdf b/research/publications/cudf-ocaml-2014.pdf
new file mode 100644 (file)
index 0000000..dcecde5
Binary files /dev/null and b/research/publications/cudf-ocaml-2014.pdf differ