Skip to Main content Skip to Navigation

hal-03478162v1  Journal articles
Jean-Marie MadiotFrançois Pottier. A Separation Logic for Heap Space under Garbage Collection
Proceedings of the ACM on Programming Languages, ACM, 2022, ⟨10.1145/3498672⟩
hal-01081194v1  Conference papers
Thibaut BalabonskiFrançois PottierJonathan Protzenko. Type Soundness and Race Freedom for Mezzo
FLOPS 2014: 12th International Symposium on Functional and Logic Programming, Jun 2014, Kanazawa, Japan. pp.253 - 269, ⟨10.1007/978-3-319-07151-0_16⟩
hal-01081187v1  Conference papers
François Pottier. A typed store-passing translation for general references
POPL 2011: 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Jan 2011, Austin, United States. ⟨10.1145/1925844.1926403⟩
hal-00772757v1  Journal articles
Jan SchwinghammerLars BirkedalFrançois PottierBernhard ReusKristian Støvring et al.  A step-indexed Kripke Model of Hidden State
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2013, 23 (1), pp.1--54
hal-01077321v1  Conference papers
Jacques-Henri JourdanFrançois PottierXavier Leroy. Validating LR(1) Parsers
ESOP 2012 - Programming Languages and Systems - 21st European Symposium on Programming, Mar 2012, Tallinn, Estonia. pp.397-416, ⟨10.1007/978-3-642-28869-2_20⟩
hal-01246360v1  Conference papers
François PottierJonathan Protzenko. A few lessons from the Mezzo project
Summit oN Advances in Programming Languages (SNAPL), May 2015, Asilomar, United States. ⟨10.4230/LIPIcs.SNAPL.2015.221⟩
hal-01408657v2  Conference papers
Arthur CharguéraudFrançois Pottier. Temporary Read-Only Permissions for Separation Logic
Proceedings of the 26th European Symposium on Programming (ESOP 2017), Apr 2017, Uppsala, Sweden
hal-01081233v1  Conference papers
François Pottier. Hindley-Milner Elaboration in Applicative Style
ICFP 2014: 19th ACM SIGPLAN International Conference on Functional Programming, Sep 2014, Goteborg, Sweden. ⟨10.1145/2628136.2628145⟩
hal-00772721v1  Journal articles
Nicolas PouillardFrançois Pottier. A unified treatment of syntax with binders
Journal of Functional Programming, Cambridge University Press (CUP), 2012, 22 (4--5), pp.614--704. ⟨10.1017/S0956796812000251⟩
hal-01096354v1  Conference papers
François Pottier. Depth-First Search and Strong Connectivity in Coq
Vingt-sixièmes journées francophones des langages applicatifs (JFLA 2015), Jan 2015, Le Val d'Ajol, France
hal-01092204v1  Conference papers
Jonathan ProtzenkoFrançois Pottier. Programming with permissions: the Mezzo language
ACM SIGPLAN Workshop on ML, Sep 2012, Copenhagen, Denmark
hal-02929998v1  Journal articles
Glen MévelJacques-Henri JourdanFrançois Pottier. Cosmo: A Concurrent Separation Logic for Multicore OCaml
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (ICFP), ⟨10.1145/3408978⟩
inria-00000029v1  Conference papers
Sylvain ConchonFrançois Pottier. JOIN(X): Constraint-Based Type Inference for the Join-Calculus
Proceedings of the 10th European Symposium on Programming (ESOP'01), Apr 2001, Genova, pp.221--236
inria-00072475v1  Reports
François Pottier. A Semi-Syntactic Soundness Proof for HM(X)
[Research Report] RR-4150, INRIA. 2001
hal-03049511v1  Conference papers
François Pottier. Strong Automated Testing of OCaml Libraries
JFLA 2021 - 32es Journées Francophones des Langages Applicatifs, Feb 2021, Saint Médard d’Excideuil, France
hal-03049514v1  Journal articles
Paulo Emílio de VilhenaFrançois Pottier. A Separation Logic for Effect Handlers
Proceedings of the ACM on Programming Languages, ACM, 2021, 5 (POPL), ⟨10.1145/3434314⟩
hal-02351562v1  Journal articles
Paulo de VilhenaFrançois PottierJacques-Henri Jourdan. Spy Game: Verifying a Local Generic Solver in Iris
Proceedings of the ACM on Programming Languages, ACM, 2020, 4 (POPL), ⟨10.1145/3371101⟩
hal-03478172v1  Conference papers
Frédéric BourFrançois Pottier. Faster reachability analysis for LR(1) parsers
SLE 2021 - ACM SIGPLAN International Conference on Software Language Engineering, Oct 2021, Chicago, United States. ⟨10.1145/3486608.3486903⟩
hal-01248101v1  Conference papers
François Pottier. Reachability and error diagnosis in LR(1) automata
Journées Francophones des Langages Applicatifs, Jan 2016, Saint-Malo, France
hal-01670735v1  Journal articles
François Pottier. Visitors unchained
Proceedings of the ACM on Programming Languages, ACM, 2017, 1 (ICFP), pp.1 - 28. ⟨10.1145/3110272⟩
hal-03472028v1  Conference papers
Alexandre MoineArthur CharguéraudFrançois Pottier. Specification and Verification of a Transient Stack
CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2022, Philadelphia, United States. ⟨10.1145/3497775.3503677⟩