Concepedia

Thibaut Balabonski

TB

7

Publications

211

Citations

7

H-Index

2012

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire de Recherche en Informatique

Université Paris Cité

Université Paris-Sud

Délégation Paris 7

Thibaut Balabonski is an author at Centre National de la Recherche Scientifique specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningVerificationCluster ComputingFormal VerificationParallel ProgrammingCompilersData Privacy

Publications per year

2012–2018

7

Publications

7

Common Compiler Optimisations are Invalid in the C11 Memory Model and what we can do about it

Viktor Vafeiadis, Thibaut Balabonski, Soham Chakraborty et al. · 2014 · 109 citations

Mathematical Programming, C11 Memory Model, Engineering +24

Foundations of strong call by need

Thibaut Balabonski, Pablo Barenbaum, Eduardo Bonelli et al. · Proceedings of the ACM on Programming Languages · 2017 · 26 citations · Full text

Engineering, Weak Normalisation, Automated Reasoning +14

The Design and Formalization of Mezzo, a Permission-Based Programming Language

Thibaut Balabonski, François Pottier, Jonathan Protzenko · ACM Transactions on Programming Languages and Systems · 2016 · 23 citations · Full text

Rich Type System, Engineering, System Programming +22

Synchronous Gathering without Multiplicity Detection: a Certified Algorithm

Thibaut Balabonski, Amélie Delga, Lionel Rieg et al. · Theory of Computing Systems · 2018 · 19 citations · Full text

Cluster Computing, Engineering, Sensor Signal Processing +8

A unified approach to fully lazy sharing

Thibaut Balabonski · 2012 · 13 citations

Cluster Computing, Lazy Lambda-lifting, Engineering +18

Rows per page

1–5 of 7