Journal Papers
Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, and Alan Schmitt. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. Logical Methods in Computer Science, Volume 20, Issue 3, July 2024. [ bib | http ]
Guillaume Ambal, Sergueï Lenglet, and Alan Schmitt. HOπ in Coq. Journal of Automated Reasoning, 2020. [ bib | hal | .pdf ]
Pierre Genevès, Nils Gesbert, Nabil Layaïda, and Alan Schmitt. Efficiently Deciding μ-calculus with Converse over Finite Trees. ACM Transactions on Computational Logic, 16(2), 2015. [ bib | hal ]
Sergueï Lenglet, Alan Schmitt, and Jean-Bernard Stefani. Characterizing Contextual Equivalence in Calculi with Passivation. Information and Computation, 209(11):1390--1433, November 2011. Extended abstract in FOSSACS, 2009, and CONCUR, 2009. [ bib | full version ]
Ivan Lanese, Jorge A Pérez, Davide Sangiorgi, and Alan Schmitt. On the Expressiveness and Decidability of Higher-Order Process Calculi. Information and Computation, 209(2):198--226, February 2011. Extended abstract in Logic in Computer Science (LICS), 2008. Coq formalization available at http://www.irisa.fr/celtique/aschmitt/research/hocore/. [ bib | full version ]
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt. Exploiting Schemas in Data Synchronization. Journal of Computer and System Sciences, 73(4):669--689, June 2007. Extended abstract in Database Programming Languages (DBPL) 2005. [ bib | tech report | short version | full version | slides ]
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt. Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem. ACM Transactions on Programming Languages and Systems, 29(3):17, May 2007. Extended abstract in Principles of Programming Languages (POPL), 2005. [ bib | electronic appendix | short version | full version | slides ]
Conference Papers
Sergueï Lenglet and Alan Schmitt. Leaf-First Zipper Semantics. In FORTE 2024 - 44th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Groningen, Netherlands, June 2024. [ bib | http | .pdf ]
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, and Alan Schmitt. Optimizing a Non-Deterministic Abstract Machine with Environments. In Jakob Rehof, editor, 9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024), volume 299 of Leibniz International Proceedings in Informatics (LIPIcs), pages 11:1--11:22, Dagstuhl, Germany, 2024. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. [ bib | http ]
Louis Noizet and Alan Schmitt. Semantics in Skel and Necro. In Ugo Dal Lago and Daniele Gorla, editors, Proceedings of the 23rd Italian Conference on Theoretical Computer Science, ICTCS 2022, Rome, Italy, September 7-9, 2022, volume 3284 of CEUR Workshop Proceedings, pages 99--115, Rome, Italy, September 2022. CEUR-WS.org. [ bib | hal | .pdf | .pdf ]
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, and Camille Noûs. Certified Derivation of Small-Step From Big-Step Skeletal Semantics. In Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022), September 2022. [ bib | hal | .pdf ]
Adam Khayam, Louis Noizet, and Alan Schmitt. A Faithful Description of ECMAScript Algorithms. In Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming (PPDP 2022), 2022. [ bib | hal | .pdf ]
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, and Alan Schmitt. Non-Deterministic Abstract Machines. In Bartek Klin, Slawomir Lasota, and Anca Muscholl, editors, 33rd International Conference on Concurrency Theory (CONCUR 2022), volume 243 of Leibniz International Proceedings in Informatics (LIPIcs), pages 7:1--7:24, Dagstuhl, Germany, 2022. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. [ bib | hal | http | .pdf ]
Guillaume Ambal, Sergueï Lenglet, and Alan Schmitt. Certified Abstract Machines for Skeletal Semantics. In Certified Programs and Proofs, Philadelphia, United States, January 2022. [ bib | hal | .pdf ]
Martin Bodin, Philippa Gardner, Thomas Jensen, and Alan Schmitt. Skeletal Semantics and their Interpretations. In Proceedings of the ACM on Programming Languages, volume 44, pages 1--31. ACM, 2019. Companion website with Coq development: http://skeletons.inria.fr/popl2019/index.html. [ bib | hal | .pdf ]
Arthur Charguéraud, Alan Schmitt, and Thomas Wood. JSExplain: A Double Debugger for JavaScript. In The Web Conference 2018, pages 1--9, Lyon, France, April 2018. [ bib | hal | .pdf ]
Sergueï Lenglet and Alan Schmitt. HOπ in Coq. In CPP 2018 - The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2018, Los Angeles, United States, January 2018. [ bib | http | .pdf ]
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, and Alan Schmitt. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines. In 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pages 1--12. IEEE Computer Society, 2017. [ bib | hal | http | .pdf ]
Sergueï Lenglet and Alan Schmitt. Howe's Method for Contextual Semantics. In Proceedings of the 26th International Conference on Concurrency Theory (Concur 2015), September 2015. [ bib | hal ]
Petar Maksimović and Alan Schmitt. HOCore in Coq. In Christian Urban and Xingyuan Zhang, editors, Proceedings of the 6th conference on Interactive Theorem Proving (ITP 2015), volume 9236 of Lecture Notes in Computer Science, pages 278--293. Springer, August 2015. [ bib | hal ]
José Fragoso Santos, Thomas Jensen, Tamara Rezk, and Alan Schmitt. Hybrid Typing of Secure Information Flow in a JavaScript-like Language. In Proceedings of the 10th International Symposium on Trustworthy Global Computing (TGC 2015), August 2015. [ bib | hal ]
Pierre Genevès and Alan Schmitt. Expressive Logical Combinators For Free. In Proceedings of International Joint Conference on Artificial Intelligence (IJCAI 2015), pages 311--317. AAAI Press, July 2015. [ bib | hal ]
Martin Bodin, Thomas Jensen, and Alan Schmitt. Certified Abstract Interpretation with Pretty-Big-Step Semantics. In Proceedings of the 2015 Conference on Certified Programs and Proofs, CPP 2015, pages 29--40. ACM, January 2015. [ bib | hal ]
Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Philippa Gardner, Sergio Maffeis, Daiva Naudziuniene, Alan Schmitt, and Gareth Smith. A Trusted Mechanised JavaScript Specification. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014), pages 87--100, San Diego, CA, USA, January 2014. [ bib | hal | conference version ]
Ivan Lanese, Michaël Lienhardt, Claudio Antares Mezzina, Alan Schmitt, and Jean-Bernard Stefani. Concurrent Flexible Reversibility. In Proceedings of the 22nd European Symposium on Programming (ESOP 2013), volume 7792 of Lecture Notes in Computer Science, pages 370--390, March 2013. [ bib | conference version ]
Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, and Jean-Bernard Stefani. Controlling Reversibility in Higher-Order Pi. In Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR 2011), volume 6901 of Lecture Notes in Computer Science, pages 297--311, Aachen, Germany, September 2011. Springer. [ bib | conference version ]
Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, and Alan Schmitt. Query Reasoning on Trees with Types, Interleaving, and Counting. In Toby Walsh, editor, Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI '11), pages 718--723, Barcelona, Spain, July 2011. AAAI Press/International Joint Conferences on Artificial Intelligence. [ bib | conference version ]
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, and Alan Schmitt. On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. In Samson Abramsky, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf der Heide, and Paul G. Spirakis, editors, Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), volume 6199 of Lecture Notes in Computer Science, pages 442--453, Bordeaux, France, June 2010. Springer. [ bib | conference version ]
Sergueï Lenglet, Alan Schmitt, and Jean-Bernard Stefani. Howe's Method for Calculi with Passivation. In Mario Bravetti and Gianluigi Zavattaro, editors, Proceedings of the 20th International Conference on Concurrency Theory (CONCUR 2009), volume 5710 of Lecture Notes in Computer Science, pages 448--462, Bologna, Italy, September 2009. Springer. [ bib | conference version ]
Michaël Lienhardt, Claudio Antares Mezzina, Alan Schmitt, and Jean-Bernard Stefani. Typing Component-Based Communication Systems. In Proceedings of the 11th Formal Methods for Open Object-Based Distributed Systems (FMOODS) & 29th Formal Techniques for Networked and Distributed Systems (FORTE), volume 5522 of Lecture Notes in Computer Science, pages 167--181, Lisbon, Portugal, June 2009. Springer-Verlag. [ bib | conference version ]
Sergueï Lenglet, Alan Schmitt, and Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation. In Luca de Alfaro, editor, Proceedings of the 12th International Conference on Foundations of Software Science and Computational Structures (FOSSACS 2009), volume 5504 of Lecture Notes in Computer Science, pages 257--271, York, United Kingdom, March 2009. Springer. [ bib | conference version ]
Michaël Lienhardt, Alan Schmitt, and Jean-Bernard Stefani. Typing Communicating Component Assemblages. In Proceedings of the 7th International Conference on Generative Programming and Component Engineering (GPCE'08), pages 125--136, Nashville, TN, USA, October 2008. ACM. [ bib | conference version ]
Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, and Alan Schmitt. On the Expressiveness and Decidability of Higher-Order Process Calculi. In Proceedings of the 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008), pages 145--155, Pittsburgh, Pennsylvania, USA, June 2008. [ bib | conference version | slides ]
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, and Alan Schmitt. Boomerang: Resourceful Lenses for String Data. In ACM SIGPLAN--SIGACT Symposium on Principles of Programming Languages (POPL'08), pages 407--419, San Francisco, California, USA, January 2008. ACM. [ bib | tech report | conference version | slides ]
Michaël Lienhardt, Jean-Bernard Stefani, and Alan Schmitt. Oz/K: A Kernel Language for Component-Based Open Programming. In ACM, editor, 6th International Conference on Generative Programming and Component Engineering (GPCE'07), pages 43--52, Salzburg, Austria, October 2007. [ bib | conference version ]
Pierre Genevès, Nabil Layaïda, and Alan Schmitt. Efficient Static Analysis of XML Paths and Types. In PLDI '07: Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation, pages 342--351. ACM Press, June 2007. [ bib | conference version ]
Michael B. Greenwald, Sanjeev Khanna, Keshav Kunal, Benjamin C. Pierce, and Alan Schmitt. Agreeing to Agree: Conflict Resolution for Optimistically Replicated Data. In 20th International Symposium on Distributed Computing (DISC), volume 4167 of Lecture Notes in Computer Science, pages 269--283, Stockholm, Sweden, September 2006. [ bib | conference version | slides ]
Daniel Hirschkoff, Tom Hirschowitz, Damien Pous, Alan Schmitt, and Jean-Bernard Stefani. Component-Oriented Programming with Sharing: Containment is not Ownership. In 4th International Conference on Generative Programming and Component Engineering (GPCE), volume 3676 of Lecture Notes in Computer Science, pages 389--404, Tallinn, Estonia, September 2005. [ bib | conference version ]
J. Nathan Foster, Michael B. Greenwald, Christian Kirkegaard, Benjamin C. Pierce, and Alan Schmitt. Exploiting Schemas in Data Synchronization. In Database Programming Languages (DBPL), August 2005. [ bib | tech report | conference version ]
Philippe Bidinger, Alan Schmitt, and Jean-Bernard Stefani. An Abstract Machine for the Kell Calculus. In 7th IFIP International Conference on Formal Methods for Object-Based Distributed Systems (FMOODS), volume 3535 of Lecture Notes in Computer Science, pages 43--58, Athens, Greece, June 2005. Best Paper Award. [ bib | conference version ]
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt. XML Goes Native: Run-time Representations for Xtatic. In 14th International Conference on Compiler Construction (CC), Edinburgh, UK, April 2005. [ bib | tech report | conference version ]
J. Nathan Foster, Michael B. Greenwald, Jonathan T. Moore, Benjamin C. Pierce, and Alan Schmitt. Combinators for Bi-Directional Tree Transformations: A Linguistic Approach to the View Update Problem. In Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages, pages 233--246, Long Beach, CA, USA, 2005. Most Influential POPL Paper Award, 2015. [ bib | tech report | conference version | slides ]
Alan Schmitt and Jean-Bernard Stefani. The M-Calculus: A Higher Order Distributed Process Calculus. In Proceeding 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2003), New Orleans, LA, USA, January 2003. [ bib | conference version ]
Alan Schmitt. Safe Dynamic Binding in the Join Calculus. In R. Baeza-Yates, U. Montanari, and N. Santoro, editors, Proceedings of IFIP TCS 2002, volume 96 of IFIP, pages 563--575, Montreal, Canada, 2002. Kluwer. [ bib | conference version ]
Cédric Fournet, Jean-Jacques Lévy, and Alan Schmitt. An Asynchronous Distributed Implementation of Mobile Ambients. In J. van Leeuwen, O. Watanabe, M. Hagiya, P.D. Mosses, and T. Ito, editors, Proceedings of the International IFIP Conference TCS 2000 (Sendai, Japan), volume 1872 of Lecture Notes in Computer Science, pages 348--364, Sendai, Japan, August 2000. IFIP, Springer. [ bib | conference version ]
Workshop Papers
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 ]
Talks
Alan Schmitt. Native XML Processing in Object-Oriented Languages: Calling XMHell from PurgatOOry. In International Workshop on Foundations of Object-Oriented Languages (FOOL), informal proceedings, January 2004. Invited talk. [ bib | slides ]
Miscellaneous
Louis Noizet and Alan Schmitt. Stating and Handling Semantics with Skel and Necro, January 2022. [ bib | http | .pdf ]
Sergueï Lenglet and Alan Schmitt. Howe's Method for Contextual Semantics, June 2015. [ bib | hal ]
Sergueï Lenglet, Alan Schmitt, and Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation, September 2008. [ bib | tech report ]
Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, and Alan Schmitt. Boomerang: Resourceful Lenses for String Data, November 2007. [ bib ]
J. Nathan Foster, Benjamin C. Pierce, and Alan Schmitt. Harmony Programmer's Manual, 2006. [ bib | home page | .pdf ]
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, and Alan Schmitt. The Xtatic Compiler and Runtime System, 2005. [ bib | source code ]
Benjamin C. Pierce, Alan Schmitt, and Michael B. Greenwald. Bringing Harmony to Optimism: A Synchronization Framework for Heterogeneous Tree-Structured Data, 2003. Superseded by MS-CIS-05-02. [ bib | tech report ]
Cédric Fournet, Fabrice Le Fessant, Luc Maranget, and Alan Schmitt. JoCaml: a Language for Concurrent Distributed and Mobile Programming. In Proceedings of the 4th Summer School on Advanced Functional Programming, Oxford, 19-24 August 2002, Lecture Notes in Computer Science, pages 129--158. Springer-Verlag, November 2002. [ bib | ps.gz ]
Theses
Alan Schmitt. Static Analyses for Manipulations of Hierarchically Structured Data, May 2011. [ bib | full version ]
Alan Schmitt. Conception et Implémentation de Calculs d'Agents Mobiles, September 2002. [The ps.gz version is the original one submitted. The pdf version was recompiled recently and due to LaTeX differences does not have the same layout, but the text is identical.]. [ bib | ps.gz | .pdf ]