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.


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


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


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