Publications

My DBLP page lists some of my publications.


Refereed publications

The State of the OCaml Platform.
OCaml Workshop 2015
2015
Persistent Networking with Irmin and MirageOS
OCaml Workskop 2015
2015
Jitsu: Just-In-Time Summoning of Unikernels
12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15).
2015
Mergeable Persistent Data Structures
Les vingt-sixième Journées Francophones des Langages Applicatifs.
2015
Diagnosis from Scenarios.
Journal of Discrete Event Dynamic Systems. Volume 24, Issue 4 , pp 353-415.
2014
Metaprogramming with ML modules in the MirageOS.
ML Family Workshop.
2014
The OCaml Platform v1.0.
The OCaml User and Developper Workshop.
2014
Irmin: a branch-consistent distributed library database.
The OCaml User and Developper Workshop.
2014
Unikernels: Library Operating Systems for the Cloud.
The 18th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2013).
2013
The OCaml Platform v0.1.
The OCaml User and Developper Workshop.
2013
Ocamlot: OCaml Online Testing.
The OCaml User and Developper Workshop.
2013
Profiling the Memory Usage of OCaml Applications without Changing their Behavior.
The OCaml User and Developper Workshop.
2013
OPAM, a package manager for OCaml.
The OCaml User and Developper Workshop.
2012
Study of OCaml programs' memory behavior.
The OCaml User and Developper Workshop.
2012
Gestion de projet avec ocp-build.
Les vingt troisièmes Journées Francophones des Langages Applicatifs.
2012
Dynamics for ML using Meta-Programming.
Electronic Notes in Theoretical Computer Science (ENTCS).
2011
Mirage: ML kernels in the Cloud.
ML Family Workshop.
2010
Using Functional Programming within an Industrial Product Group: Perspectives and Perceptions.
The 15th ACM SIGPLAN International Conference on Functional Programming.
2010
Turning down the LAMP: Software Specialisation for the Cloud.
The 2nd USENIX Workshop on Hot Topics in Cloud Computing.
2010
Statically-typed value persistence for ML.
The 1st Workshop on Generative Technologies.
2010
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons.
The 14th ACM SIGPLAN International Conference on Functional Programming.
2009
Causal Message Sequence Charts.
Theoretical Computer Science, Volume 410, Number 41.
2009
Logic-based Diagnosis for Distributed Systems.
'Perspectives in Concurrency -- Feststichrift for P.S. Thiagarajan'. World Scientific.
2008
Small Logs for Transactional Services: Distinction is much more accurate than (Positive) Discrimination.
The 11th IEEE High Assurance Systems Engineering Symposium.
2008
Causal Message Sequence Charts.
The 18th International Conference on Concurrency Theory.
2007
Reconstructing Causal Ordering with boxed pomsets.
The 27th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems.
2007
Abstraire à la Volée les Evénements d'un Système Réparti
La 7 ème Conférence Internationale sur les NOuvelles TEchnologies de la REpartition.
2007
Diagnosis from Scenarios.
The 8th International Workshop on Discrete Event Systems.
2006

Tech reports

Projection of Rational Pomset Expression.
Draft.
2008
Langages de Scénarios: Utiliser des Ordres Partiels pour Modéliser, Vérifier et Superviser des Systèmes Parallèles et Répartis.
Ph.D. Thesis, University of Rennes 1.
2008
Causal Message Sequence Charts.
Research Report RR-6301.
2007
Online Abstraction of Distributed Executions.
Research Report RR-5736.
2005