Thomas Gazagnaire

19 papers A* 1A 2B 2C 1Misc 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Package Managers à la Carte: A Formal Model of Dependency Resolution.
CoRR
Ryan Gibb, Patrick Ferris, David Allsopp, Thomas Gazagnaire, Anil Madhavapeddy
2025 J jnl
Functional Networking for Millions of Docker Desktops (Experience Report).
Proc. ACM Program. Lang.
Anil Madhavapeddy, David J. Scott, Patrick Ferris, Ryan Gibb, Thomas Gazagnaire
2025 J jnl
Solving Package Management via Hypergraph Dependency Resolution.
CoRR
Ryan Gibb, Patrick Ferris, David Allsopp, Michael Winston Dales, Mark Elvers, Thomas Gazagnaire, Sadiq Jaffer, Thomas Leonard, Jon Ludlam, Anil Madhavapeddy
2020 B conf
Banyan: Coordination-Free Distributed Transactions over Mergeable Types.
APLAS
Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy
2019 J jnl
Fractal: Automated Application Scaling.
CoRR
Masoud Koleini, Carlos Oviedo, Derek McAuley, Charalampos Rotsos, Anil Madhavapeddy, Thomas Gazagnaire, Magnus Skejgstad, Richard Mortier
2019 J jnl
Programming Unikernels in the Large via Functor Driven Development.
CoRR
Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David J. Scott
2018 — conf
An architecture for interspatial communication.
INFOCOM Workshops
Anil Madhavapeddy, K. C. Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire
2015 Misc conf
Jitsu: Just-In-Time Summoning of Unikernels.
NSDI
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
2014 J jnl
Diagnosis from scenarios.
Discret. Event Dyn. Syst.
Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire
2013 A* conf
Unikernels: library operating systems for the cloud.
ASPLOS
Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David J. Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, Jon Crowcroft
2010 — conf
Dynamics for ML using Meta-Programming.
WGT
Thomas Gazagnaire, Anil Madhavapeddy
2010 — conf
Turning Down the LAMP: Software Specialisation for the Cloud.
HotCloud
Anil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley, Jon Crowcroft
2010 A conf
Using functional programming within an industrial product group: perspectives and perceptions.
ICFP
David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy
2009 J jnl
Causal Message Sequence Charts.
Theor. Comput. Sci.
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
2009 A conf
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons.
ICFP
Thomas Gazagnaire, Vincent Hanquez
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 — conf
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination.
HASE
Debmalya Biswas, Thomas Gazagnaire, Blaise Genest
2007 B conf
Causal Message Sequence Charts.
CONCUR
Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang
2007 C conf
Event Correlation with Boxed Pomsets.
FORTE
Thomas Gazagnaire, Loïc Hélouët