Skeletal Semantics

body

POPL 2019 paper in its dedicated page
Exposé Invité au Collège de France (in French)
Skeletal Semantics by Example, talk at ProgLang 2023, slides
Formalizing Real World Programming Languages with Skeletal Semantics, invited talk at Express/SOS 2023, slides

Semantics in Skel and Necro, ICTCS 2022, hal, slides
Necro : la sémantique sans y laisser les os, PhD Thesis of Victoire Noizet (in French), 2022, manuscript

Certified Abstract Machines for Skeletal Semantics, CPP 2022, hal
Non-Deterministic Abstract Machines, CONCUR 2022, hal
A Faithful Description of ECMAScript Algorithms, PPDP 2022, hal
Certified Derivation of Small-Step From Big-Step Skeletal Semantics, PPDP 2022, hal
Skeletal Semantics Transformations, PhD Thesis of Guillaume Ambal, 2022, dedicated page
Deriving Abstract Interpreters from Skeletal Semantics, Express/SOS 2023, hal, long version, slides