Thomas Gazagnaire
Thomas Gazagnaire
Verified email at - Homepage
Cited by
Cited by
Unikernels: Library operating systems for the cloud
A Madhavapeddy, R Mortier, C Rotsos, D Scott, B Singh, T Gazagnaire, ...
ACM SIGARCH Computer Architecture News 41 (1), 461-472, 2013
Jitsu: Just-in-time summoning of unikernels
A Madhavapeddy, T Leonard, M Skjegstad, T Gazagnaire, D Sheets, ...
12th {USENIX} Symposium on Networked Systems Design and Implementation …, 2015
Turning Down the LAMP: Software Specialisation for the Cloud.
A Madhavapeddy, R Mortier, R Sohan, T Gazagnaire, S Hand, T Deegan, ...
HotCloud 10, 11-11, 2010
Oxenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons
T Gazagnaire, V Hanquez
ACM Sigplan Notices 44 (9), 203-214, 2009
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
International Conference on Concurrency Theory, 166-180, 2007
Using functional programming within an industrial product group: perspectives and perceptions
D Scott, R Sharp, T Gazagnaire, A Madhavapeddy
ACM Sigplan Notices 45 (9), 87-92, 2010
Diagnosis from scenarios [system diagnosis]
L Hélouët, T Gazagnaire, B Genest
2006 8th International Workshop on Discrete Event Systems, 307-312, 2006
Small logs for transactional services: Distinction is much more accurate than (positive) discrimination
D Biswas, T Gazagnaire, B Genest
2008 11th IEEE High Assurance Systems Engineering Symposium, 97-106, 2008
Mergeable persistent data structures
B Farinier, T Gazagnaire, A Madhavapeddy
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
Theoretical computer science 410 (41), 4094-4110, 2009
Diagnosis from Scenarios, and Applications
L Hélouët, H Marchand, B Genest, T Gazagnaire
Study of ocaml programs’ memory behavior
C Bozman, M Mauny, F Le Fessant, T Gazagnaire
OCaml Users and Developers, 2012
Event correlation with boxed pomsets
T Gazagnaire, L Hélouët
International Conference on Formal Techniques for Networked and Distributed …, 2007
Event Correlation with Boxed Pomsets.–FORTE, édité par John Derrick, Jüri Vain, vol. 4574 de Lecture Notes in Computer Science
T Gazagnaire, L Hélouët
Springer, 2007
Profiling the Memory Usage of OCaml Applications without Changing its Behavior
C Bozman, M Mauny, F Le Fessant, T Gazagnaire
Statically-typed value persistence for ML
T Gazagnaire, A Madhavapeddy
Workshop on Generative Technologies (WGT). ACM, 2010
Logic-based diagnosis for distributed systems
S Yang, L Hélouët, T Gazagnaire
Perspectives in Concurrency Theory: A Festschrift for PS Thiagarajan. CRC Press, 2009
Langages de scénarios: Utiliser des ordres partiels pour modéliser, vérifier et superviser des systèmes parallèles et répartis.
T Gazagnaire
Abstrairea la volée les événements d’un systeme réparti
T Gazagnaire, C Jard
NOTERE, 7eme Conférence Internationale sur les Nouvelles Technologies de la …, 2007
Fractal: Automated Application Scaling
M Koleini, C Oviedo, D McAuley, C Rotsos, A Madhavapeddy, ...
arXiv preprint arXiv:1902.09636, 2019
The system can't perform the operation now. Try again later.
Articles 1–20