Toccata

Publications 2024

Livres / Revues / Conférences / Thèses / Divers / Rapports

Livres et chapitres de livres

[1]	Allan Blanchard, Claude Marché, and Virgile Prevosto. Guide to Software Verification with Frama-C --- Core Components, Usages, and Applications, chapter Formally Expressing what a Program Should Do: the ACSL Language, pages 3--80. Springer-Verlag, 2024. [ bib \| DOI \| full text on HAL ]

Revues

[1]

Léo Andrès, Filipe Marques, Arthur Carcano, Pierre Chambart, José Fragoso Femenin dos Santos, and Jean-Christophe Filliâtre. Owi: Performant parallel symbolic execution made easy, an application to WebAssembly. The Art, Science, and Engineering of Programming, 9(2), 2024. [ bib | full text on HAL ]

Conférences

[5]	Jean-Christophe Filliâtre. Proofs on inductive predicates in why3. In Big Specification: Specification, Proof, and Testing at Scale, Cambridge, UK, October 2024. Invited talk. [ bib \| full text on HAL ]
[4]	Claude Marché and Denis Cousineau. De l'avantage de nuancer les décisions binaires. In 35es Journées Francophones des Langages Applicatifs, 2024. [ bib \| full text on HAL ]
[3]	Amin Timany, Armaël Guéneau, and Lars Birkedal. The logical essence of well-bracketed control flow. In POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages. SIGPLAN, ACM, 2024. [ bib \| full text on HAL ]
[2]	François Pottier, Armaël Guéneau, Jacques-Henri Jourdan, and Glen Mével. Thunks and debits in separation logic with time credits. In POPL 2024 - 51st ACM SIGPLAN Symposium on Principles of Programming Languages, volume 8. SIGPLAN, ACM, 2024. [ bib \| full text on HAL ]
[1]	Paul Bonnot, Benoît Boyer, Florian Faissole, Claude Marché, and Raphaël Rieu-Helft. Formally verified rounding errors of the logarithm-sum-exponential function. In Formal Methods in Computer-Aided Design. IEEE, 2024. [ bib \| full text on HAL ]

Thèses

Divers

Rapports

Retour