Research

PhD Thesis

  1. Compiling Trees: Combining Data Layouts and the Polyhedral Model [pdf] [slides] [bib]

Internation Conferences Articles

  1. GPCE: Compiling Pattern Matching to In-Place Modifications [pdf] [slides] [bib]

French Conferences Articles

  1. COMPAS: On Optimizing Scalar Rebalancing Trees [pdf] [bib]

Extended Abstracts

  1. CGO SRC: A New Memory Layout for Self-Rebalancing Trees. [pdf] [slides] [bib]
  1. IMPACT: Semantic Array Dataflow Analysis. [pdf] [slides] [bib]

Research Reports

  1. Parallelizing Structural Transformations on Tarbres [pdf] [bib]
  1. On Optimizing Scalar Rebalancing Trees (Version longue de l'article COMPAS) [pdf] [bib]
  1. Semantic Array Dataflow Analysis [pdf] [bib]
  1. Semantic Polyhedral Model for Arrays and Lists [pdf] [bib]

Posters

  1. Complex data structures scheduling [pdf]

Internship reports

  1. Semantic Polyhedral Model for Arrays and Lists [pdf] [slides] [bib]
  1. Towards automating proofs in the context of commutative semi-rings [pdf] [slides] [bib]
  1. Backend JavaScript pour OCaml [pdf] [slides] [bib]