Papers

2016
SibylFS: Formal Specification and Oracle-Based Testing for POSIX and Real-World File Systems
Tom Ridge , @David Sheets , Thomas Tuerk , Andrea Giugliano , @Anil Madhavapeddy , Peter Sewell
in the 25th Symposium on Operating Systems Principles (SOSP15)
Who's got your mail? Mr. Mime!
Romain Calascibetta
in The OCaml Users and Developers Workshop (OCaml16)
OCaml Inside: a drop-in replacement for libtls
in The OCaml Users and Developers Workshop (OCaml16)
Conex: Establishing trust into data repositories
in The OCaml Users and Developers Workshop (OCaml16)
Migrating MultiMLton to the Cloud
KC Sivaramakrishnan , Lukasz Ziarek , Suresh Jagannathan
in the ACM SIGPLAN Workshop on ML (ML16)
Flexible Paxos: Quorum Intersection Revisited
Heidi Howard , Dahlia Malkhi , Alexander Spiegelman
in Distributed, Parallel, and Cluster Computing (arXiv)
Declarative foreign function binding through generic programming
in the 13th International Symposium on Functional and Logic Programming (FLOPS16)
Not-quite-so-broken TLS 1.3 mechanised conformance checking
in TLS 1.3 Ready or Not Workshop Programme (TRON16)
Staging Generic Programming
in the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (PEPM16)
2015
Modular Macros
in The OCaml Users and Developers Workshop (OCaml15)
Not-quite-so-broken TLS: lessons in re-engineering a security protocol specification and implementation
in 24th USENIX Security Symposium (UseSec15)
Jitsu: Just-In-Time Summoning of Unikernels
in the Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI15)
Mergeable Persistent Data Structures
Benjamin Farinier , @Thomas Gazagnaire , @Anil Madhavapeddy
in the 26th Journées Francophones of Logic Languages (JFLA15)
Personal Data: Thinking Inside the Box
Hamed Haddadi , Heidi Howard , @Amir Chaudhry , @Jon Crowcroft , @Anil Madhavapeddy , @Richard Mortier
in Aarhus: Critical Alternatives 2015 (Aarhus15)
Raft Refloated - Do We Have Consensus?
Heidi Howard , Malte Schwarzkopf , @Anil Madhavapeddy , @Jon Crowcroft
in the ACM SIGOPS Operating Systems Review - Special Issue on Repeatability and Sharing of Experimental Artifacts archive: Volume 49 Issue 1 (SIGOPS15)
2014
Transport Layer Security purely in OCaml
in the OCaml Users and Developers Workshop (OCaml14)
Multicore OCaml
Stephen Dolan , @Leo White , @Anil Madhavapeddy
in the OCaml Users and Developers Workshop (OCaml14)
Irminsule; a branch-consistent distributed library database
in the OCaml Users and Developers Workshop (OCaml14)
Introduction to 0install
in the OCaml Users and Developers Workshop (OCaml14)
Type-Level Module Aliases: Independent and Equal
Jacques Garrigue , @Leo White
in the ML Family Workshop (ML14)
Metaprogramming with ML Modules in the MirageOS
in the ML Family Workshop (ML14)
ARC: Analysis of Raft Consensus
Heidi Howard
in the University of Cambridge Computer Laboratory Technical Report, Number 857 (CLTR14)
Lightweight Higher-Kinded Polymorphism
in the 12th International Symposium for the Journal of Functional and Logic Programming, Vol 8475 of the series Lecture Notes in Computer Science (FLOPS14)
Unikernels: The Rise of the Virtual Library Operating System
@Anil Madhavapeddy , David J. Scott
in the Commuications of the ACM, Vol. 57, No. 1 (CACM14)
2013
Lost In the Edge: Finding Your Way With Signposts
Charalampos Rotsos , Heidi Howard , @David Sheets , @Richard Mortier , @Anil Madhavapeddy , @Amir Chaudhry , @Jon Crowcroft
in the 3rd USENIX Workshop on Free and Open Communications on the Internet (FOCI13)
Unikernels: Library Operating Systems for the Cloud
@Anil Madhavapeddy , @Richard Mortier , Charalampos Rotsos , @David Scott , @Balraj Singh , @Thomas Gazagnaire , Steven Smith , Steven Hand , @Jon Crowcroft
in the 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS13)