Thomas Gazagnaire

According to our database1, Thomas Gazagnaire authored at least 15 papers between 2007 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Programming Unikernels in the Large via Functor Driven Development.
CoRR, 2019

Fractal: Automated Application Scaling.
CoRR, 2019

2018
An architecture for interspatial communication.
Proceedings of the IEEE INFOCOM 2018, 2018

2015
Jitsu: Just-In-Time Summoning of Unikernels.
Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, 2015

2014
Diagnosis from scenarios.
Discrete Event Dynamic Systems, 2014

2013
Unikernels: library operating systems for the cloud.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2013

2011
Dynamics for ML using Meta-Programming.
Electr. Notes Theor. Comput. Sci., 2011

2010
Using functional programming within an industrial product group: perspectives and perceptions.
Proceedings of the Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, 2010

Turning Down the LAMP: Software Specialisation for the Cloud.
Proceedings of the 2nd USENIX Workshop on Hot Topics in Cloud Computing, 2010

2009
Causal Message Sequence Charts.
Theor. Comput. Sci., 2009

OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons.
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).
PhD thesis, 2008

Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007
Event Correlation with Boxed Pomsets.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

Causal Message Sequence Charts.
Proceedings of the CONCUR 2007 - Concurrency Theory, 18th International Conference, 2007


  Loading...