François Pottier

François Pottier publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where François Pottier sits on this spectrum.

François Pottier D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where François Pottier sits on this spectrum.

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