[1] | Paulo Emílio de Vilhena, François Pottier, and Jacques-Henri Jourdan. Spy game: Verifying a local generic solver in Iris, January 2020. Talk given by Paulo Emílio de Vilhena at POPL 2020, New Orleans. [ PDF ] |
[2] | François Pottier. Playing spy games in Iris, November 2019. Talk given at IFIP WG 2.16, Nice, France. [ PDF ] |
[3] | François Pottier. Cambium en 180 secondes, November 2019. 3-minute presentation given at Inria, Paris, France. [ PDF ] |
[4] | François Pottier. Playing spy games in Iris, October 2019. Talk given at the Iris Workshop, Aarhus, Denmark. [ PDF ] |
[5] | Glen Mével. Time credits and time receipts in Iris, April 2019. Talk given at ESOP 2019, Prague, Czech Republic. [ PDF ] |
[6] | Armaël Guéneau. Formalizing asymptotic complexity claims via deductive program verification, April 2018. Talk given at ESOP 2018, Thessaloniki, Greece. [ PDF ] |
[7] | François Pottier. Mezzo: an experience report, December 2017. Talk given at ENS, Lyon, France. [ PDF ] |
[8] | François Pottier. Visitors unchained, September 2017. Talk given at ICFP 2017, Oxford, United Kingdom. [ PDF ] |
[9] | François Pottier. Visitors unchained, June 2017. Talk given at IFIP WG 2.8, Edinburgh, Scotland. [ PDF ] |
[10] | François Pottier. Visitors unchained, May 2017. Talk given at Inria, Paris, France. [ PDF ] |
[11] | François Pottier. Temporary read-only permissions for separation logic, April 2017. Talk given at Inria, Paris, France. [ PDF ] |
[12] | 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 ] |
[13] | 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 ] |
[14] | François Pottier. Temporary read-only permissions for separation logic, November 2016. Talk given in Saclay, France. [ PDF ] |
[15] | François Pottier. Mezzo: an experience report, October 2016. Talk given at IFIP WG 2.16, Lausanne, Switzerland. [ PDF ] |
[16] | François Pottier. Reachability and error diagnosis in LR(1) parsers, March 2016. Talk given at CC 2016, Barcelona, Spain. [ PDF ] |
[17] | François Pottier. Reachability and error diagnosis in LR(1) automata, January 2016. Talk given at JFLA 2016, Saint-Malo, France. [ PDF ] |
[18] | 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 ] |
[19] | 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. [ Video | PDF ] |
[20] | François Pottier. Type inference, August 2015. Talk given at PLMW @ ICFP 2015, Vancouver, Canada. [ PDF ] |
[21] | François Pottier. An overview of Mezzo, June 2015. Lecture given at SFM-15:MP, Bertinoro, Italy. See also the accompanying code. [ PDF ] |
[22] | François Pottier. Depth-first search and strong connectivity in Coq, January 2015. Talk given at JFLA 2015, le Val d'Ajol, France. [ PDF ] |
[23] | François Pottier. Hindley-Milner elaboration in applicative style, September 2014. Talk given at ICFP 2014, Göteborg, Sweden. [ PDF ] |
[24] | François Pottier. Type soundness and data race freedom for Mezzo, June 2014. Talk given at FLOPS 2014, Kanazawa, Japan. [ PDF ] |
[25] | François Pottier. The theory of Mezzo, April 2014. Lecture given at Institut Henri Poincaré, Paris, France. [ Video | PDF ] |
[26] | François Pottier. The practice of Mezzo, April 2014. Lecture given at Institut Henri Poincaré, Paris, France. See also the accompanying code. [ Video | PDF ] |
[27] | 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 ] |
[28] | François Pottier. A bird's eye view of Mezzo, November 2012. Talk given at Microsoft Research, Cambridge, UK. [ PDF ] |
[29] | François Pottier. Types for complexity-checking, March 2011. Talk given at ENS, Lyon, France. [ PDF ] |
[30] | François Pottier. A type-preserving store-passing translation for general references, January 2011. Talk given at POPL 2011, Austin, Texas. [ PDF ] |
[31] | François Pottier. Types for complexity-checking, January 2011. Talk given at JFLA 2011, La Bresse, France. [ PDF ] |
[32] | François Pottier. Types for complexity-checking, May 2010. Talk given at ENS, Lyon, France. [ PDF ] |
[33] | François Pottier. Hidden state and the anti-frame rule, December 2009. Talk given at Université Paris 7, Paris, France. [ PDF ] |
[34] | François Pottier. A type-preserving store-passing translation for general references, November 2009. Talk given at Université Paris 7, Paris, France. [ PDF ] |
[35] | François Pottier. Gala de GAFs à gogo, March 2009. Talk given at Verimag, Grenoble, France. [ PDF ] |
[36] | Arthur Charguéraud. Functional translation of a calculus of capabilities, September 2008. Talk given at ICFP 2008, Victoria, Canada. [ PDF ] |
[37] | François Pottier. Hiding local state in direct style, September 2008. Talk given at Université Paris 7, Paris, France. [ PDF ] |
[38] | Yann Régis-Gianas. A Hoare logic for call-by-value functional programs, July 2008. Talk given at MPC 2008, Marseille, France. [ PDF ] |
[39] | 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 ] |
[40] | François Pottier. Hiding local state in direct style, June 2008. Talk given at LICS 2008, Pittsburgh, Pennsylvania. [ PDF ] |
[41] | François Pottier. Hiding local state in direct style: a higher-order anti-frame rule, February 2008. Talk given in Schloss Dagstuhl, Germany. [ PDF ] |
[42] | François Pottier. Hiding local state in direct style: a higher-order anti-frame rule, January 2008. Talk given at INRIA, Rocquencourt. [ PDF ] |
[43] | François Pottier. Static name control for FreshML, July 2007. Talk given at LICS 2007, Wroclaw, Poland. [ PDF ] |
[44] | François Pottier. Wandering through linear types, capabilities, and regions, May 2007. Survey talk given at INRIA, Rocquencourt, France. [ PDF ] |
[45] | François Pottier. Static name control for FreshML, May 2007. Talk given in Edinburgh, Great Britain. [ PDF ] |
[46] | François Pottier. Static name control for FreshML, September 2006. Talk given at Cambridge University, Great Britain. [ PDF ] |
[47] | François Pottier. Un aperçu de Menhir, March 2006. Talk given at Université Paris 7, France. [ PDF ] |
[48] | Yann Régis-Gianas. Stratified type inference for generalized algebraic data types, January 2006. Talk given at POPL 2006, Charleston, South Carolina. [ PDF ] |
[49] | François Pottier. Un aperçu de Menhir, January 2006. Talk given at INRIA, Rocquencourt, France. [ PDF ] |
[50] | François Pottier. An overview of Cαml, September 2005. Talk given at the ML Workshop, Tallinn, Estonia. [ PDF ] |
[51] | 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 ] |
[52] | 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 ] |
[53] | François Pottier. Présentation de Cαml, July 2005. Talk given at LRI, Orsay, France. [ PDF ] |
[54] | François Pottier. Towards efficient, typed LR parsers, June 2005. Talk given in Schloss Dagstuhl, Germany. [ PDF ] |
[55] | François Pottier. Vers des analyseurs syntaxiques efficaces et bien typés, January 2005. Talk given at ENS, Lyon, France. [ PDF ] |
[56] | 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 ] |
[57] | François Pottier. Types et contraintes, December 2004. Soutenance d'habilitation à diriger des recherches, Université Paris 7. [ PDF ] |
[58] | François Pottier. Constraint-based type inference for GADTs, November 2004. Talk given at Microsoft Research, Cambridge, UK. [ PDF ] |
[59] | 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 ] |
[60] | François Pottier. Type-based information flow analyses, June 2004. Course given at the Summer School on Software Security, Eugene, Oregon. [ PDF ] |
[61] | François Pottier. Polymorphic typed defunctionalization, January 2004. Talk given at POPL 2004, Venice, Italy. [ PDF | DVI | PostScript ] |
[62] | François Pottier. A constraint-based presentation and generalization of rows, June 2003. Talk given at LICS 2003, Ottawa, Canada. [ PostScript ] |
[63] | François Pottier. A constraint-based presentation of rows, December 2002. Talk given at ENS, Paris, France. [ PostScript ] |
[64] | 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 ] |
[65] | François Pottier. Sécurité par le typage, May 2002. Short presentation given at INRIA, Rocquencourt, France. [ PostScript ] |
[66] | 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 ] |
[67] | François Pottier. Une présentation moderne de l'inférence de types pour ML, March 2002. Talk given at INRIA, Rocquencourt, France. [ DVI ] |
[68] | François Pottier. Types for information flow analysis, March 2002. Course given at the Spring School on Semantics of Programming Languages, Agay, France. [ PostScript ] |
[69] | Vincent Simonet. Information flow inference for ML, January 2002. Talk given at POPL 2002, Portland, Oregon. [ PDF ] |
[70] | François Pottier. Inférence de types à base de contraintes, November 2001. Talk given at IRIT, Toulouse, France. [ DVI ] |
[71] | 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.99.