Thomas Gazagnaire

According to our database, Thomas Gazagnaire authored at least 15 papers between 2007 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Banyan: Coordination-Free Distributed Transactions over Mergeable Types.

Shashank Shekhar Dubey, K. C. Sivaramakrishnan, Thomas Gazagnaire, Anil Madhavapeddy

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

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

Fractal: Automated Application Scaling.

Masoud Koleini, Carlos Oviedo, Derek McAuley, Charalampos Rotsos, Anil Madhavapeddy, Thomas Gazagnaire, Magnus Skejgstad, Richard Mortier

CoRR, 2019

2018

An architecture for interspatial communication.

Anil Madhavapeddy, K. C. Sivaramakrishnan, Gemma Gordon, Thomas Gazagnaire

Proceedings of the IEEE INFOCOM 2018, 2018

2015

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

Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014

Diagnosis from scenarios.

Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire

Discret. Event Dyn. Syst., 2014

2013

Unikernels: library operating systems for the cloud.

Anil Madhavapeddy, Richard Mortier, Charalampos Rotsos, David J. Scott, Balraj Singh, Thomas Gazagnaire, Steven Smith, Steven Hand, Jon Crowcroft

Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2010

Dynamics for ML using Meta-Programming.

Thomas Gazagnaire, Anil Madhavapeddy

Proceedings of the Second Workshop on Generative Technologies, 2010

Using functional programming within an industrial product group: perspectives and perceptions.

David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy

Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Turning Down the LAMP: Software Specialisation for the Cloud.

Anil Madhavapeddy, Richard Mortier, Ripduman Sohan, Thomas Gazagnaire, Steven Hand, Tim Deegan, Derek McAuley, Jon Crowcroft

Proceedings of the 2nd USENIX Workshop on Hot Topics in Cloud Computing, 2010

2009

Causal Message Sequence Charts.

Thomas Gazagnaire, Blaise Genest, Loïc Hélouët, P. S. Thiagarajan, Shaofa Yang

Theor. Comput. Sci., 2009

OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons.

Thomas Gazagnaire, Vincent Hanquez

Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

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

PhD thesis, 2008

Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination.

Debmalya Biswas, Thomas Gazagnaire, Blaise Genest

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

Event Correlation with Boxed Pomsets.

Thomas Gazagnaire, Loïc Hélouët

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007