Table des matières

• • December 21, 2022 • Background of a PhD dissertation

  A Tale of Compilers and Languages

• • March 1, 2021 • From OCaml code to the Tax office

  Move fast and break nothing

• • December 20, 2019 • Reverse engineering the tax code and analysis by automated theorem proving"

  A mathematical formulation of the tax code?

• • April 16, 2019 • Case study: bloom filter

  Rox* stories #2

• • April 16, 2019 • Case study: buggy text input form

  Rox* stories #1

• • April 16, 2019 • Applying deductive verification to Rust

  Rust: beyond the typechecker

• • August 9, 2017 • Object-oriented programming

  Objectifying data

• • August 2, 2017 • Memory management: Automatic or manual

  Mnemonic nibbles

• • July 26, 2017 • A deep dive into the heart of the processor and its language

  Assembling instructions

• • July 19, 2017 • Differences between static and dynamic languages

  A misleading dynamism

• • July 12, 2017 • Introduction to the world of programming languages

  Towards a new linguistics