Event Correlation with Boxed Pomsets. - Thomas Gazagnaire; Loïc Hélouët (FORTE, 2007)

Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination. - Debmalya Biswas; Thomas Gazagnaire; Blaise Genest (HASE, 2008)

Langages de scénarios : Utiliser des ordres partiels pour modéliser, vérifier et superviser des systèmes parallèles et répartis. (Scenario Languages: Using Partial Orders to Model, Verify and Supervise Distributed and Concurrent Systems). - Thomas Gazagnaire (2008)

OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons. - Thomas Gazagnaire; Vincent Hanquez (ICFP, 2009)

Causal Message Sequence Charts. - Thomas Gazagnaire; Blaise Genest; Loïc Hélouët; P. S. Thiagarajan; Shaofa Yang (Theor. Comput. Sci., 2009)

Turning Down the LAMP: Software Specialisation for the Cloud. - Anil Madhavapeddy; Richard Mortier; Ripduman Sohan; Thomas Gazagnaire; Steven Hand 001; Tim Deegan; Derek McAuley; Jon Crowcroft (HotCloud, 2010)

Using functional programming within an industrial product group: perspectives and perceptions. - David J. Scott; Richard Sharp; Thomas Gazagnaire; Anil Madhavapeddy (ICFP, 2010)

Dynamics for ML using Meta-Programming. - Thomas Gazagnaire; Anil Madhavapeddy (WGT@ETAPS, 2010)

Unikernels: library operating systems for the cloud. - Anil Madhavapeddy; Richard Mortier; Charalampos Rotsos; David J. Scott; Balraj Singh; Thomas Gazagnaire; Steven Smith; Steven Hand 001; Jon Crowcroft (ASPLOS, 2013)

Diagnosis from scenarios. - Loïc Hélouët; Hervé Marchand; Blaise Genest; Thomas Gazagnaire (Discret. Event Dyn. Syst., 2014)

Jitsu: Just-In-Time Summoning of Unikernels. - Anil Madhavapeddy; Thomas Leonard; Magnus Skjegstad; Thomas Gazagnaire; David Sheets; David J. Scott; Richard Mortier; Amir Chaudhry; Balraj Singh; Jon Ludlam; Jon Crowcroft; Ian M. Leslie (NSDI, 2015)

An architecture for interspatial communication. - Anil Madhavapeddy; K. C. Sivaramakrishnan; Gemma Gordon; Thomas Gazagnaire (INFOCOM Workshops, 2018)

Fractal: Automated Application Scaling. - Masoud Koleini; Carlos Oviedo; Derek McAuley; Charalampos Rotsos; Anil Madhavapeddy; Thomas Gazagnaire; Magnus Skejgstad; Richard Mortier (CoRR, 2019)

Programming Unikernels in the Large via Functor Driven Development. - Gabriel Radanne; Thomas Gazagnaire; Anil Madhavapeddy; Jeremy Yallop; Richard Mortier; Hannes Mehnert; Mindy Preston; David J. Scott (CoRR, 2019)

Banyan: Coordination-Free Distributed Transactions over Mergeable Types. - Shashank Shekhar Dubey; K. C. Sivaramakrishnan; Thomas Gazagnaire; Anil Madhavapeddy (APLAS, 2020)

Solving Package Management via Hypergraph Dependency Resolution. - Ryan Gibb; Patrick Ferris; David Allsopp; Michael Winston Dales; Mark Elvers; Thomas Gazagnaire; Sadiq Jaffer; Thomas Leonard; Jon Ludlam; Anil Madhavapeddy (CoRR, 2025)