Martin Andrieux and Alan Schmitt. Skeletal Semantics of a Fragment of Python. In JFLA 2024 -- 35es Journées Francophones des Langages Applicatifs, pages 1--14, Saint-Jacut-de-la-Mer, France, January 2024. [ bib | http | .pdf ]
Thomas Jensen, Vincent Rébiscoul, and Alan Schmitt. Deriving Abstract Interpreters from Skeletal Semantics. In Claudio Antares Mezzina and Georgiana Caltais, editors, Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, Antwerp, Belgium, 18th September 2023, volume 387 of Electronic Proceedings in Theoretical Computer Science, pages 97--113. Open Publishing Association, 2023. [ bib | .pdf ]
Louis Noizet and Alan Schmitt. Necro ML : Kit de Nécromancie (Démonstration). In Timothy Bourke and Delphine Demange, editors, JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, pages 295--297, Praz-sur-Arly, France, January 2023. [ bib | http | .pdf ]
Thomas Jensen, Vincent Rébiscoul, and Alan Schmitt. Building CFA for λ-calculus from Skeletal Semantics. In Timothy Bourke and Delphine Demange, editors, JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, pages 121--140, Praz-sur-Arly, France, January 2023. [ bib | http | .pdf ]
Adam Khayam, Louis Noizet, and Alan Schmitt. JSkel: Towards a Formalization of JavaScript’s Semantics. In JLFA 2021 - Journées Francophones des Langages Applicatifs, 2021. [ bib | hal | .pdf ]
Louis Noizet and Alan Schmitt. Formalisation de Sémantiques Squelettiques. In JLFA 2020 - Journées Francophones des Langages Applicatifs, Gruissan, France, January 2020. [ bib | http | .pdf ]
Nathanaël Courant, Enzo Crance, and Alan Schmitt. Necro: Animating Skeletons. In ML 2019, Berlin, Germany, August 2019. [ bib | .pdf ]
Kévin Le Bon and Alan Schmitt. MLExplain. In OCaml 2018, Saint Louis, United States, September 2018. [ bib | hal | .pdf ]
Lionel Zoubritzky and Alan Schmitt. HOcore en HOcore. In Actes des 29èmes Journées Francophones des Langages Applicatifs, January 2018. [ bib ]
Gurvan Cabon and Alan Schmitt. Annotated multisemantics to prove Non-Interference analyses. In PLAS 2017 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security, PLAS '17 Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, pages 49--62, Dallas, United States, October 2017. ACM. [ bib | hal | .pdf ]
Gurvan Cabon and Alan Schmitt. Non-Interference through Annotated Multisemantics. In Vingt-huitièmes Journées Francophones des Langages Applicatifs, January 2017. [ bib | hal ]
Martin Bodin, Thomas Jensen, and Alan Schmitt. An Abstract Separation Logic for Interlinked Extensible Records. In Julien Signoles, editor, Vingt-septièmes Journées Francophones des Langages Applicatifs (JFLA 2016), Saint-Malo, France, January 2016. [ bib | hal | .pdf ]
Martín Escarrá, Maksimović Petar, and Alan Schmitt. HOCore in Coq. In David Baelde and Jade Alglave, editors, Vingt-sixièmes Journées Francophones des Langages Applicatifs, Le Val d'Ajol, France, January 2015. [ bib | http ]
Damien Pous and Alan Schmitt. De la KAM avec un Processus d'Ordre Supérieur. In Actes des 25èmes Journées Francophones des Langages Applicatifs, January 2014. [ bib ]
Martin Bodin, Thomas Jensen, and Alan Schmitt. Pretty-big-step-semantics-based Certified Abstract Interpretation. In Actes des 25èmes Journées Francophones des Langages Applicatifs, January 2014. [ bib ]
Martin Bodin, Thomas Jensen, and Alan Schmitt. Pretty-big-step-semantics-based Certified Abstract Interpretation (Preliminary version). In Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, volume 129 of EPTCS, pages 360--383, September 2013. [ bib ]
Martin Bodin and Alan Schmitt. A Certified JavaScript Interpreter. In Actes des 24èmes Journées Francophones des Langages Applicatifs, pages 79--93, February 2013. [ bib | conference version ]
Simon Boulier and Alan Schmitt. Formalisation de HOCore en Coq. In Actes des 23èmes Journées Francophones des Langages Applicatifs, January 2012. [ bib | conference version ]
Pierre Genevès, Nabil Layaïda, and Alan Schmitt. XPath Typing Using a Modal Logic with Converse for Finite Trees. In ACM SIGPLAN Workshop Programming Language Technologies for XML (PLAN-X), 2007. [ bib ]
J. Nathan Foster, Benjamin C. Pierce, and Alan Schmitt. A Logic Your Typechecker Can Count On: Unordered Tree Types in Practice. In ACM SIGPLAN Workshop Programming Language Technologies for XML (PLAN-X), 2007. [ bib ]
Philippe Bidinger, Matthieu Leclercq, Vivien Quéma, Alan Schmitt, and Jean-Bernard Stefani. Dream Types - A Domain Specific Type System for Component-Based Message-Oriented Middleware. In 4th Workshop on Specification and Verification of Component-Based Systems (SAVCBS'05), in association with ESEC/FSE'05, Lisbon, Portugal, September 2005. [ bib | conference version ]
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt. The Xtatic Experience. In Workshop on Programming Language Technologies for XML (PLAN-X), January 2005. University of Pennsylvania Technical Report MS-CIS-04-24, Oct 2004. [ bib | tech report | slides ]
Alan Schmitt and Jean-Bernard Stefani. The Kell Calculus: A Family of Higher-Order Distributed Process Calculi. In Global Computing, volume 3267 of Lecture Notes in Computer Science, pages 146--178. Springer Berlin / Heidelberg, March 2004. [ bib | conference version ]
Cédric Fournet and Alan Schmitt. An Implementation of Ambients in JoCAML. In 5th Mobile Object System Workshop, June 1999. [Software available from http://join.inria.fr/ambients.html]. [ bib | conference version | .ps.gz ]