François Pottier

Best Publications

• Information flow inference for ML

  François Pottier;Vincent Simonet

  665
  Citations

• Information flow inference for ML

  François Pottier;Vincent Simonet

  305
  Citations

• Simplifying Subtyping Constraints

  François Pottier

  218
  Citations

• Information flow inference for free

  François Pottier;Sylvain Conchon

  171
  Citations

• A systematic approach to static access control

  François Pottier;Christian Skalka;Scott Smith

  155
  Citations

• Simplifying subtyping constraints

  François Pottier

  131
  Citations

• Validating LR (1) parsers

  Jacques-Henri Jourdan;François Pottier;Xavier Leroy

  127
  Citations

• A simple view of type-secure information flow in the /spl pi/-calculus

  F. Pottier

  107
  Citations

• A framework for type inference with subtyping

  François Pottier

  90
  Citations

• Stratified type inference for generalized algebraic data types

  François Pottier;Yann Régis-Gianas

  87
  Citations

• A constraint-based approach to guarded algebraic data types

  Vincent Simonet;François Pottier

  86
  Citations

• A Systematic Approach to Static Access Control

  François Pottier;Christian Skalka;Scott F. Smith

  84
  Citations

• An Overview of Cαml

  François Pottier

  82
  Citations

• Functional translation of a calculus of capabilities

  Arthur Charguéraud;François Pottier

  74
  Citations

• Type Inference in the Presence of Subtyping: from Theory to Practice

  François Pottier

  73
  Citations

• A versatile constraint-based type inference system

  François Pottier

  71
  Citations

• Static Name Control for FreshML

  F. Pottier

  67
  Citations

• A Hoare Logic for Call-by-Value Functional Programs

  Yann Régis-Gianas;François Pottier

  65
  Citations

• Hiding Local State in Direct Style: A Higher-Order Anti-Frame Rule

  F. Pottier

  57
  Citations

• Verifying the Correctness and Amortized Complexity of a Union-Find Implementation in Separation Logic with Time Credits

  Arthur Charguéraud;François Pottier

  56
  Citations