Gilles Peskine's research page

My main research interests include semantics, programming languages, type theory, distributed systems, automated reasoning.

Gilles Peskine's publications

Global abstraction-safe marshalling with hash types
Global abstraction-safe marshalling with hash types
Ott: Effective Tool Support for the Working Semanticist
Verifying type soundness in HOL for OCaml: the core language
Types abstraits dans les systèmes répartis