研究業績

博士論文

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

国際学会発表

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

国内（フランス）学会発表

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

文献抄録

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

研究報告書

  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]

インターシップレポート

  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]