Journal Papers

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 presented at FOSSACS, 2009, and CONCUR, 2009. [ bib | DOI | 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 presented at Logic in Computer Science (LICS), 2008. [ 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 | DOI | 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. Preliminary version presented at the Workshop on Programming Language Technologies for XML (PLAN-X), 2004; extended abstract presented at Principles of Programming Languages (POPL), 2005. [ bib | electronic appendix | short version | full version | slides ]

Conference / Workshop Papers

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 | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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 | DOI | 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, New York, NY, USA, June 2007. ACM Press. [ bib | DOI | 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 ]

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 | DOI | 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 ]

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 ]

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 ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), Long Beach, California, 2005. Extended version available as University of Pennsylvania technical report MS-CIS-03-08. Earlier version presented at the Workshop on Programming Language Technologies for XML (PLAN-X), 2004. [ bib | tech report | conference version | slides ]

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 ]

A. Schmitt and J.B. 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 ]

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 ]

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. [This is the original version that was accepted for publication, before the page cut requested for the final version. This version contains additional examples.]. [ 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 ]

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 ]

Talks

Miscellaneous

Sergueï Lenglet, Alan Schmitt, and Jean-Bernard Stefani. Normal bisimulations in process calculi with passivation. Research Report RR-6664, INRIA, September 2008. [ bib | tech report ]

Aaron Bohannon, J. Nathan Foster, Benjamin C. Pierce, Alexandre Pilkiewicz, and Alan Schmitt. Boomerang: Resourceful Lenses for String Data. Technical Report MS-CIS-07-15, Dept. of CIS University of Pennsylvania, 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. Technical Report MS-CIS-03-42, University of Pennsylvania, 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, pages 129-158. Lecture Notes in Computer Science. Springer-Verlag, November 2002. [ bib | ps.gz ]

Theses

Alan Schmitt. Static Analyses for Manipulations of Hierarchically Structured Data. Habilitation à diriger les recherches, Université de Grenoble, May 2011. [ bib | full version ]

Alan Schmitt. Conception et Implémentation de Calculs d'Agents Mobiles. PhD thesis, Ecole Polytechnique, Palaiseau, France, 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 ]