Talks by François Pottier and co-authors

[1] François Pottier. Visitors unchained, June 2017. Talk given at IFIP WG 2.8, Edinburgh, Scotland. [ PDF ]
[2] François Pottier. Visitors unchained, May 2017. Talk given at Inria, Paris, France. [ PDF ]
[3] François Pottier. Temporary read-only permissions for separation logic, April 2017. Talk given by Armaël Guéneau at ESOP 2017, Uppsala, Sweden. [ PDF ]
[4] François Pottier. Temporary read-only permissions for separation logic, April 2017. Talk given at Inria, Paris, France. [ PDF ]
[5] François Pottier. Verifying a hash table and its iterators in higher-order separation logic, January 2017. Talk given at CPP 2017, Paris, France. [ PDF ]
[6] François Pottier. Temporary read-only permissions for separation logic, November 2016. Talk given in Saclay, France. [ PDF ]
[7] François Pottier. Mezzo: an experience report, October 2016. Talk given at IFIP WG 2.16, Lausanne, Switzerland. [ PDF ]
[8] François Pottier. Reachability and error diagnosis in LR(1) parsers, March 2016. Talk given at CC 2016, Barcelona, Spain. [ PDF ]
[9] François Pottier. Reachability and error diagnosis in LR(1) automata, January 2016. Talk given at JFLA 2016, Saint-Malo, France. [ PDF ]
[10] François Pottier. Explaining syntax errors (LR de rien, c'est pas facile), November 2015. Talk given at the OCaml Users meeting, Paris, France. [ PDF ]
[11] Arthur Charguéraud and François Pottier. Machine-checked correctness and complexity of a union-find implementation, September 2015. Talk given at Microsoft Research, Redmond, Washington. [ PDF ]
[12] François Pottier. Type inference, August 2015. Talk given at PLMW @ ICFP 2015, Vancouver, Canada. [ PDF ]
[13] François Pottier. An overview of Mezzo, June 2015. Lecture given at SFM-15:MP, Bertinoro, Italy. See also the accompanying code. [ PDF ]
[14] François Pottier. Depth-first search and strong connectivity in Coq, January 2015. Talk given at JFLA 2015, le Val d'Ajol, France. [ PDF ]
[15] François Pottier. Hindley-Milner elaboration in applicative style, September 2014. Talk given at ICFP 2014, Göteborg, Sweden. [ PDF ]
[16] François Pottier. Type soundness and data race freedom for Mezzo, June 2014. Talk given at FLOPS 2014, Kanazawa, Japan. [ PDF ]
[17] François Pottier. The practice of Mezzo, April 2014. Lecture given at Institut Henri Poincaré, Paris, France. See also the accompanying code. [ Video | PDF ]
[18] François Pottier. The theory of Mezzo, April 2014. Lecture given at Institut Henri Poincaré, Paris, France. [ Video | PDF ]
[19] François Pottier. The design of Mezzo, September 2013. Talk given at Carnegie Mellon University, Pittsburgh, USA; at IFIP WG 2.8, Aussois, France; and at Aarhus University, Denmark. [ PDF ]
[20] François Pottier. A bird's eye view of Mezzo, November 2012. Talk given at Microsoft Research, Cambridge, UK. [ PDF ]
[21] François Pottier. Types for complexity-checking, March 2011. Talk given at ENS, Lyon, France. [ PDF ]
[22] François Pottier. Types for complexity-checking, January 2011. Talk given at JFLA 2011, La Bresse, France. [ PDF ]
[23] François Pottier. A type-preserving store-passing translation for general references, January 2011. Talk given at POPL 2011, Austin, Texas. [ PDF ]
[24] François Pottier. Types for complexity-checking, May 2010. Talk given at ENS, Lyon, France. [ PDF ]
[25] François Pottier. Hidden state and the anti-frame rule, December 2009. Talk given at Université Paris 7, Paris, France. [ PDF ]
[26] François Pottier. A type-preserving store-passing translation for general references, November 2009. Talk given at Université Paris 7, Paris, France. [ PDF ]
[27] François Pottier. Gala de GAFs à gogo, March 2009. Talk given at Verimag, Grenoble, France. [ PDF ]
[28] François Pottier. Hiding local state in direct style, September 2008. Talk given at Université Paris 7, Paris, France. [ PDF ]
[29] Arthur Charguéraud. Functional translation of a calculus of capabilities, September 2008. Talk given at ICFP 2008, Victoria, Canada. [ PDF ]
[30] Yann Régis-Gianas. A Hoare logic for call-by-value functional programs, July 2008. Talk given at MPC 2008, Marseille, France. [ PDF ]
[31] François Pottier. Hiding local state in direct style, June 2008. Talk given at LICS 2008, Pittsburgh, Pennsylvania. [ PDF ]
[32] François Pottier. Hiding local state in direct style: a higher-order anti-frame rule, June 2008. Talk given at IFIP WG 2.8, Park City, Utah. [ PDF ]
[33] François Pottier. Hiding local state in direct style: a higher-order anti-frame rule, February 2008. Talk given in Schloss Dagstuhl, Germany. [ PDF ]
[34] François Pottier. Hiding local state in direct style: a higher-order anti-frame rule, January 2008. Talk given at INRIA, Rocquencourt. [ PDF ]
[35] François Pottier. Static name control for FreshML, July 2007. Talk given at LICS 2007, Wroclaw, Poland. [ PDF ]
[36] François Pottier. Static name control for FreshML, May 2007. Talk given in Edinburgh, Great Britain. [ PDF ]
[37] François Pottier. Wandering through linear types, capabilities, and regions, May 2007. Survey talk given at INRIA, Rocquencourt, France. [ PDF ]
[38] François Pottier. Static name control for FreshML, September 2006. Talk given at Cambridge University, Great Britain. [ PDF ]
[39] François Pottier. Un aperçu de Menhir, March 2006. Talk given at Université Paris 7, France. [ PDF ]
[40] François Pottier. Un aperçu de Menhir, January 2006. Talk given at INRIA, Rocquencourt, France. [ PDF ]
[41] Yann Régis-Gianas. Stratified type inference for generalized algebraic data types, January 2006. Talk given at POPL 2006, Charleston, South Carolina. [ PDF ]
[42] François Pottier. A modern eye on ML type inference: old techniques and recent developments, September 2005. Course given at the APPSEM Summer School, Frauenchiemsee, Germany. [ PDF ]
[43] François Pottier. Where is ML type inference headed? Constraint solving meets local shape inference, September 2005. Invited talk given at ICFP 2005, Tallinn, Estonia. [ PDF ]
[44] François Pottier. An overview of Cαml, September 2005. Talk given at the ML Workshop, Tallinn, Estonia. [ PDF ]
[45] François Pottier. Présentation de Cαml, July 2005. Talk given at LRI, Orsay, France. [ PDF ]
[46] François Pottier. Towards efficient, typed LR parsers, June 2005. Talk given in Schloss Dagstuhl, Germany. [ PDF ]
[47] François Pottier. Type-based information flow analyses, January 2005. Course given at the CIMPA School on Security of Computer Systems and Networks, Bangalore, India. [ PDF ]
[48] François Pottier. Vers des analyseurs syntaxiques efficaces et bien typés, January 2005. Talk given at ENS, Lyon, France. [ PDF ]
[49] François Pottier. Types et contraintes, December 2004. Soutenance d'habilitation à diriger des recherches, Université Paris 7. [ PDF ]
[50] François Pottier. Constraint-based type inference for GADTs, November 2004. Talk given at Microsoft Research, Cambridge, UK. [ PDF ]
[51] Nadji Gauthier. Numbering matters: First-order canonical forms for second-order recursive types, September 2004. Talk given at ICFP 2004, Snowbird, Utah. Animations in the slides require the advi viewer. [ DVI ]
[52] François Pottier. Type-based information flow analyses, June 2004. Course given at the Summer School on Software Security, Eugene, Oregon. [ PDF ]
[53] François Pottier. Polymorphic typed defunctionalization, January 2004. Talk given at POPL 2004, Venice, Italy. [ PDF | DVI | PostScript ]
[54] François Pottier. A constraint-based presentation and generalization of rows, June 2003. Talk given at LICS 2003, Ottawa, Canada. [ PostScript ]
[55] François Pottier. A constraint-based presentation of rows, December 2002. Talk given at ENS, Paris, France. [ PostScript ]
[56] François Pottier. A simple view of type-secure information flow in the π-calculus, June 2002. Talk given at CSFW'15, Cape Breton, Canada. [ PDF | PostScript ]
[57] François Pottier. Sécurité par le typage, May 2002. Short presentation given at INRIA, Rocquencourt, France. [ PostScript ]
[58] François Pottier. Proving the correctness of type-based information flow analyses: some approaches, April 2002. Talk given at the Profundis meeting, INRIA, Sophia, France. [ PostScript ]
[59] François Pottier. Types for information flow analysis, March 2002. Course given at the Spring School on Semantics of Programming Languages, Agay, France. [ PostScript ]
[60] François Pottier. Une présentation moderne de l'inférence de types pour ML, March 2002. Talk given at INRIA, Rocquencourt, France. [ DVI ]
[61] Vincent Simonet. Information flow inference for ML, January 2002. Talk given at POPL 2002, Portland, Oregon. [ PDF ]
[62] François Pottier. Inférence de types à base de contraintes, November 2001. Talk given at IRIT, Toulouse, France. [ DVI ]
[63] François Pottier. “Typing-by-encoding” -- a reductionistic approach to building type systems, July 2000. Talk given at IFIP WG 2.8, Seattle, Washington. [ PostScript ]

This file was generated by bibtex2html 1.98.