Follow
Thomas Gazagnaire
Thomas Gazagnaire
Tarides
Verified email at gazagnaire.org - Homepage
Title
Cited by
Cited by
Year
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
6772013
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 (NSDI …, 2015
1682015
Turning Down the {LAMP}: Software Specialisation for the Cloud
A Madhavapeddy, R Mortier, R Sohan, T Gazagnaire, S Hand, T Deegan, ...
2nd USENIX Workshop on Hot Topics in Cloud Computing (HotCloud 10), 2010
412010
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
202010
Causal message sequence charts
T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang
International Conference on Concurrency Theory, 166-180, 2007
202007
Mergeable persistent data structures
B Farinier, T Gazagnaire, A Madhavapeddy
Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 2015
162015
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
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
122008
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
Diagnosis from Scenarios, and Applications
L Hélouët, H Marchand, B Genest, T Gazagnaire
7*
Programming unikernels in the large via functor driven development
G Radanne, T Gazagnaire, A Madhavapeddy, J Yallop, R Mortier, ...
arXiv preprint arXiv:1905.02529, 2019
62019
Event correlation with boxed pomsets
T Gazagnaire, L Hélouët
International Conference on Formal Techniques for Networked and Distributed …, 2007
62007
Study of ocaml programs’ memory behavior
C Bozman, M Mauny, F Le Fessant, T Gazagnaire
OCaml Users and Developers, 2012
52012
Fractal: Automated application scaling
M Koleini, C Oviedo, D McAuley, C Rotsos, A Madhavapeddy, ...
arXiv preprint arXiv:1902.09636, 2019
42019
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
Banyan: Coordination-Free Distributed Transactions over Mergeable Types
SS Dubey, KC Sivaramakrishnan, T Gazagnaire, A Madhavapeddy
Programming Languages and Systems: 18th Asian Symposium, APLAS 2020, Fukuoka …, 2020
32020
Irminsule; a branch-consistent distributed library database
T Gazagnaire, A Chaudhry, J Crowcroft, A Madhavapeddy, R Mortier, ...
OCaml 2014 Workshop, 2014
32014
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
32013
Statically-typed value persistence for ML
T Gazagnaire, A Madhavapeddy
Workshop on Generative Technologies (WGT). ACM, 2010
32010
The system can't perform the operation now. Try again later.
Articles 1–20