Mi estas esplorinĝenierino de Oktobro 2022 ĉe la
INRIA en la teamo
Épicure.
Mi laboras pri la evoluigo de la lingvo
Skel kaj de la ilo
necro.
Vi trovos tie mian vivprotokolon en
la franca
Doktora disertacio
Mia doktora disertacio troviĝas en la franca
tie.
Publikaĵoj
Noto : La publikaĵoj estas sub la nomo Louis Noizet. Tion
antaŭnomon mi uzis antaŭ ol mi ŝanĝis mian civilstatan nomon.
-
Adam Khayam, Louis Noizet kaj Alan Schmitt, A Faithful description
of ECMAScript algorithms, PPDP 2022 - International Symposium
on Principles and Practice of Declarative Programming, Sep.
2022. (ligilo).
-
Louis Noizet kaj Alan Schmitt, Semantics in Skel and Necro,
ICTCS 2022 - Italian Conference on Theoretical Computer Science Sep.
2022. (ligilo).
-
Adam Khayam, Louis Noizet kaj Alan Schmitt, JSkel: Towards a
Formalization of Javascript's Semantics, JFLA 2021 - Journées
Francophones des Langages Applicatifs, Apr. 2021. pp.95-116 (ligilo).
-
Louis Noizet kaj Alan Schmitt, Formalisation de Sémantiques
Squelettiques, JFLA 2020 - Journées Francophones des Langages
Applicatifs, Jan. 2020, Gruissan, France. pp.1-14 (ligilo).
-
Olivier Devillers kaj Louis Noizet, Walking in a Planar
Poisson-Delaunay Triangulation: Shortcuts in the Voronoi Path,
International Journal of Computational Geometry and
Applications, World Scientific Publishing, 2018, 28 (3),
pp.255-269 (ligilo).
Kontakto
Mia retadreso: (λ xyzt · t.x@z.y) noizet fr inria victoire (helpeto)
Mia OpenPGP ŝlosilo
