Vincent Simonet
Scientific talks

[1] Type inference with structural subtyping: A faithful formalization of an efficient constraint solver. Talk given at the First Asian Symposium on Programming Languages and Systems (APLAS'03), November 2003.
[ Slides in PostScript PDF | Paper in PostScript PDF | Conference site ]
[2] An extension of HM(X) with bounded existential and universal data-types. Talk given at the 8th ACM International Conference on Functional Programming (ICFP'03), August 2003.
[ Slides in PostScript PDF | Paper in PostScript PDF | Conference site ]
[3] An extension of HM(X) with bounded existential and universal data-types. Talk given at the Cristal working group (INRIA Rocquencourt), July 2003.
[ Slides in PostScript PDF ]
[4] Flow Caml in a Nutshell. Talk given at the First APPSEM-II Workshop (Nottingham, United Kingdom), March 2003.
[ Slides in PostScript PDF | Paper in PostScript PDF | Workshop site ]
[5] Information flow analysis for ML: formalization and implementation. Talk given at the PPS seminar (University Paris 7), January 2003.
[ Slides in PostScript PDF | Seminar page ]
[6] Information flow analysis for Caml: from theory to practice. Talk given at the students seminar of the computer science department of the École normale supérieure (Paris), November 2002.
[ Slides in PostScript PDF ]
[7] Information flow analysis for Caml: from theory to practice. Talk given at the MIM seminar (École normale supérieure of Lyon), October 2002.
[ Slides in PostScript PDF ]
[8] Fine-grained information flow analysis for a lambda-calculus with sum types. Talk given at the 15th IEEE Computer Security Foundations Workshop (CSFW 15), June 2002.
[ Slides in PostScript PDF | Paper in PostScript PDF | Workshop site ]
[9] Fine-grained information flow analysis for a lambda-calculus with sum types. Talk given at the Cristal working group (INRIA Rocquencourt), February 2002.
[ Slides in PostScript PDF ]
[10] Information flow inference for ML. Talk given at the 29th ACM Symposium on Principles of Programming Languages (POPL'02), January 2002.
[ Slides in PostScript PDF | Paper in PostScript PDF | Conference site ]
[11] Information flow inference for ML. Talk given at the Démons seminar (LRI), November 2001.
[ Slides in PostScript PDF | Seminar page ]
[12] Information flow inference for ML. Talk given at the Lande seminar (IRISA), October 2001.
[ Slides in PostScript PDF | Seminar page ]
[13] Information flow inference for ML. Talk given at the Mimosa seminar (INRIA Sophia-Antipolis), September 2001.
[ Slides in PostScript PDF | Seminar page ]
[14] Information flow inference for ML. Talk given at the Logical - Cristal - Moscova seminar (INRIA Rocquencourt), February 2001.
[ Slides in PostScript ]
icon
Computer Science
Miscellaneous
enfr
[english]french