Recherche

Articles de conférences

(COMPAS 2020) On Optimizing Scalar Rebalancing Trees [pdf] [bib]

Rapports de recherche

  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]

Rapports de stage

  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]