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 | 677 | 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 (NSDI …, 2015 | 168 | 2015 |
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 | 41 | 2010 |
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 | 20 | 2010 |
Causal message sequence charts T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang International Conference on Concurrency Theory, 166-180, 2007 | 20 | 2007 |
Mergeable persistent data structures B Farinier, T Gazagnaire, A Madhavapeddy Vingt-sixièmes Journées Francophones des Langages Applicatifs (JFLA 2015), 2015 | 16 | 2015 |
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 | 16 | 2009 |
Diagnosis from scenarios [system diagnosis] L Hélouët, T Gazagnaire, B Genest 2006 8th International Workshop on Discrete Event Systems, 307-312, 2006 | 15 | 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 | 12 | 2008 |
Causal message sequence charts T Gazagnaire, B Genest, L Hélouët, PS Thiagarajan, S Yang Theoretical computer science 410 (41), 4094-4110, 2009 | 8 | 2009 |
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 | 6 | 2019 |
Event correlation with boxed pomsets T Gazagnaire, L Hélouët International Conference on Formal Techniques for Networked and Distributed …, 2007 | 6 | 2007 |
Study of ocaml programs’ memory behavior C Bozman, M Mauny, F Le Fessant, T Gazagnaire OCaml Users and Developers, 2012 | 5 | 2012 |
Fractal: Automated application scaling M Koleini, C Oviedo, D McAuley, C Rotsos, A Madhavapeddy, ... arXiv preprint arXiv:1902.09636, 2019 | 4 | 2019 |
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 | 4 | 2009 |
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 | 3 | 2020 |
Irminsule; a branch-consistent distributed library database T Gazagnaire, A Chaudhry, J Crowcroft, A Madhavapeddy, R Mortier, ... OCaml 2014 Workshop, 2014 | 3 | 2014 |
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 | 3 | 2013 |
Statically-typed value persistence for ML T Gazagnaire, A Madhavapeddy Workshop on Generative Technologies (WGT). ACM, 2010 | 3 | 2010 |