Mathieu Boespflug

Not registered as user yet

Name: Mathieu Boespflug

Bio: Mathieu is the CEO of Tweag I/O, an independent industrial lab helping startups and research groups within the enterprise boldly ship high-risk, high-reward digital products. He was involved in European initiatives for exascale storage, worked on build systems, programming language interop and compilers. In a previous life, Mathieu was a researcher in formal methods and programming language design. He has a PhD from École Polytechnique.

Country: France

Affiliation: Tweag I/O

Personal website: https://www.linkedin.com/in/mboes

Research interests: Haskell

Contributions

SPLASH 2020 Author of Miniaturize All States! within the REBASE-track
HIW 2017 Author of Tracking GHC Performance within the HIW 2017-track
POPL 2018 Author of Linear Haskell: practical linearity in a higher-order polymorphic language within the Research Papers-track
Author of Linear Haskell: practical linearity in a higher-order polymorphic language within the Artifact Evaluation-track