Mi estas esplorinĝeniero 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 (laste ĝisdatigiĝita antaŭ la komenco de mia doktoriĝo)
Manuscrit de thèse
Mia doktora disertacio troviĝas en la franca
tie
Publikaĵoj
-
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: antaŭnomo [punkto] familinomo [ĉe] irisa [punkto] fr
Mia OpenPGP ŝlosilo
