Papers

From the OCaml Labs wiki
Jump to: navigation, search

Along with day-to-day OCaml maintenance, the core team of OCaml Labs is based in the Cambridge Computer Laboratory, where academic research is their focus.

2016[edit]

Declarative foreign function binding through generic programming Jeremy Yallop, David Sheets and Anil Madhavapeddy. To be published in the proceedings of Thirteenth International Symposium on Functional and Logic Programming, Mar 2016


Not-quite-so-broken TLS 1.3: Mechanised Conformance Checking David Kaloper Merskinjak and Hannes Mehnert. To be published in the TRON 2016 Workshop Technical Programme. Feb 2016


Staging Generic Programming Jeremy Yallop. To be published in Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, Jan 2016. WINNER OF BEST PAPER AWARD

2015[edit]

SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge, David Sheets, Thomas Tuerk, Andrea Giugliano, Anil Madhavapeddy and Peter Sewell. 25th ACM SOSP, Oct 2015


Declarative Programming over Eventually Consistent Data Stores KC Sivaramakrishnan, Gowtham Kaki and Suresh Jagannathan. 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation, Jun 2015


Jitsu: Just-In-Time Summoning of Unikernels Anil Madhavapeddy, Thomas Leonard, Magnus Skjegstad, Thomas Gazagnaire, David Sheets, Dave Scott, Richard Mortier, Amir Chaudhry, Balraj Singh, Jon Ludlam, Jon Crowcroft and Ian Leslie. 12th USENIX Symposium on Networked System Design and Implementation, May 2015


Personal Data: Thinking Inside the Box Hamed Haddadi, Heidi Howard, Amir Chaudhry, Jon Crowcroft, Anil Madhavapeddy, Richard Mortier. arXiv:1501.04737, Jan 2015


Raft Refloated: Do We Have Consensus? Heidi Howard, Malte Schwarzkopf, Anil Madhavapeddy and Jon Crowcroft. ACM SIGOPS Operating System Review special issue on Repeatability and Sharing of Experimental Artifacts, Jan 2015


Mergeable Persistent Data Structures Benjamin Farinier, Thomas Gazagnaire and Anil Madhavapeddy. Les vingt-sixieme Journales Francophones des Langages Applicatifs, Jan 2015

2014[edit]

Kadupul: Livin' on the Edge with Virtual Currencies and Time-Locked Puzzles Magnus Skjegstad, Anil Madhavapeddy and Jon Crowcroft. arXiv:1412.4638, Dec 2014


Moana: a case for redefining the internet service abstraction Yan Shvartzshnaider and Maximilian Ott. Middleware for Next Generation Internet Computing, Dec 2014


Regional Clouds: Technical Considerations Jatinder Singh, Jean B