Sotabase

Career

· CTO, Parsimoni2024–
· CEO, Tarides2024–
· Researcher and Developer, OCamlPro

Publications (33)

Unikernels: library operating systems for the cloud
International Conference on Architectural Support for Programming Languages and Operating Systems · 2013
561
cited
Turning Down the LAMP: Software Specialisation for the Cloud
USENIX Workshop on Hot Topics in Cloud Computing · 2010
41
cited
Causal Message Sequence Charts
Theoretical Computer Science · 2007
23
cited
Using functional programming within an industrial product group: perspectives and perceptions
ACM SIGPLAN International Conference on Functional Programming · 2010
18
cited
OXenstored: an efficient hierarchical and transactional database using functional programming with reference cell comparisons
ACM SIGPLAN International Conference on Functional Programming · 2009
16
cited
Mergeable persistent data structures
2015
13
cited
Small Logs for Transactional Services: Distinction is Much More Accurate than (Positive) Discrimination
2008 11th IEEE High Assurance Systems Engineering Symposium · 2008
13
cited
Diagnosis from scenarios
Discrete event dynamic systems · 2014
9
cited
Programming Unikernels in the Large via Functor Driven Development
arXiv.org · 2019
9
cited
Event Correlation with Boxed Pomsets
Formal Techniques for (Networked and) Distributed Systems · 2007
8
cited
Irminsule ; a branch-consistent distributed library database
2014
7
cited
Study of OCaml programs’ memory behavior
2012
5
cited
Fractal: Automated Application Scaling
arXiv.org · 2019
4
cited
Statically-typed value persistence for ML
2010
4
cited
An architecture for interspatial communication
Conference on Computer Communications Workshops · 2018
3
cited
Diagnosis from scenarios [system diagnosis]
International Workshop on Discrete Event Systems · 2006
3
cited
Logi -Based Diagnosis for Distributed Systems (cid:3)
2008
2
cited
Online Abstraction of Distributed Executions
2005
2
cited
Profiling the Memory Usage of OCaml Applications without Changing its Behavior
2013
2
cited
Banyan: Coordination-Free Distributed Transactions over Mergeable Types
Asian Symposium on Programming Languages and Systems · 2020
1
cited
Sotabase
Thomas Gazagnaire | Researcher Profile | Sotabase | Sotabase