My DBLP page lists some of my publications.
Refereed publications
Dynamics for ML using Meta-Programming
Electronic Notes in Theoretical Computer Science (ENTCS)
2011
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
Diagnosis from Scenarios, and Applications to Security
Draft
2011
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