Thomas Gazagnaire
Thomas Gazagnaire
Tarides
Verified email at gazagnaire.org - Homepage
TitleCited byYear
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
3842013
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
992015
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
362010
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
172009
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
International Conference on Concurrency Theory, 166-180, 2007
172007
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
162010
Diagnosis from scenarios [system diagnosis]
L Hélouët, T Gazagnaire, B Genest
2006 8th International Workshop on Discrete Event Systems, 307-312, 2006
152006
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
112008
Mergeable persistent data structures
B Farinier, T Gazagnaire, A Madhavapeddy
92015
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
Theoretical computer science 410 (41), 4094-4110, 2009
82009
Study of ocaml programs’ memory behavior
C Bozman, M Mauny, F Le Fessant, T Gazagnaire
OCaml Users and Developers, 2012
72012
Diagnosis from Scenarios, and Applications
L Hélouët, H Marchand, B Genest, T Gazagnaire
7*
Event correlation with boxed pomsets
T Gazagnaire, L Hélouët
International Conference on Formal Techniques for Networked and Distributed …, 2007
62007
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
52007
Profiling the Memory Usage of OCaml Applications without Changing its Behavior
C Bozman, M Mauny, F Le Fessant, T Gazagnaire
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
42009
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
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
The system can't perform the operation now. Try again later.
Articles 1–20