Thomas Gazagnaire
Thomas Gazagnaire
Tarides
Adresse e-mail validée de gazagnaire.org - Page d'accueil
TitreCitée parAnnée
Unikernels: Library operating systems for the cloud
A Madhavapeddy, R Mortier, C Rotsos, D Scott, B Singh, T Gazagnaire, ...
Acm Sigplan Notices 48 (4), 461-472, 2013
2862013
Jitsu: Just-In-Time Summoning of Unikernels.
A Madhavapeddy, T Leonard, M Skjegstad, T Gazagnaire, D Sheets, ...
NSDI, 559-573, 2015
772015
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
332010
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
International Conference on Concurrency Theory, 166-180, 2007
182007
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
162009
Diagnosis from scenarios [system diagnosis]
L Hélouët, T Gazagnaire, B Genest
Discrete Event Systems, 2006 8th International Workshop on, 307-312, 2006
152006
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
142010
Small logs for transactional services: Distinction is much more accurate than (positive) discrimination
D Biswas, T Gazagnaire, B Genest
High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11th IEEE, 97-106, 2008
102008
Event correlation with boxed pomsets
T Gazagnaire, L Hélouët
International Conference on Formal Techniques for Networked and Distributed …, 2007
92007
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
Theoretical Computer Science 410 (41), 4094-4110, 2009
72009
Mergeable persistent data structures
B Farinier, T Gazagnaire, A Madhavapeddy
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 2015
62015
Study of ocaml programs’ memory behavior
C Bozman, M Mauny, F Le Fessant, T Gazagnaire
OCaml Users and Developers, 2012
62012
Diagnosis from Scenarios, and Applications
L Hélouët, H Marchand, B Genest, T Gazagnaire
6*
Profiling the Memory Usage of OCaml Applications without Changing its Behavior
C Bozman, M Mauny, F Le Fessant, T Gazagnaire
OCaml Users and Developers Workshop (OCaml), 2013
42013
Statically-typed value persistence for ML
T Gazagnaire, A Madhavapeddy
Workshop on Generative Technologies (WGT). ACM, 2010
42010
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
32009
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
Université Rennes 1, 2008
32008
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
32007
Irminsule; a branch-consistent distributed library database
T Gazagnaire, A Chaudhry, J Crowcroft, A Madhavapeddy, R Mortier, ...
OCaml 2014 Workshop, 2014
22014
Dynamics for ML using Meta-Programming
T Gazagnaire, A Madhavapeddy
Electronic Notes in Theoretical Computer Science 264 (5), 3-21, 2011
12011
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20