François Pottier

Publications

1.9K

Citations

H-Index

1996

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Laboratoire de Recherche en Informatique

Central Compilation & Translation Bureau

Centre National de la Recherche Scientifique

Université Paris-Saclay

François Pottier is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and automated reasoning.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSoftware AnalysisVerificationSystem SoftwareProgramming Languages

Publications per year

1996–2024

Publications

Information flow inference for ML

François Pottier, Vincent Simonet · ACM Transactions on Programming Languages and Systems · 2003 · 257 citations · Full text

Engineering, Machine Learning, Type Theory +21

Information flow inference for ML

François Pottier, Vincent Simonet · 2002 · 188 citations

Engineering, Machine Learning, Type Theory +20

Information flow inference for free

François Pottier, Sylvain Conchon · 2000 · 120 citations

Engineering, Type Theory, Verification +18

A simple view of type-secure information flow in the π-calculus

François Pottier · 2003 · 110 citations

Cryptographic Primitive, Engineering, Information Security +22

A constraint-based approach to guarded algebraic data types

Vincent Simonet, François Pottier · ACM Transactions on Programming Languages and Systems · 2007 · 87 citations · Full text

Engineering, Information Security, Type Theory +18

Rows per page

1–5 of 42