Conference/workshop talks

A theory of slicing for probabilistic control flow graphs. FoSSaCS'16, Eindhoven, Netherlands, April 2016.

Precise and automated contract-based reasoning for verification and certification of information flow properties of programs with arrays. ESOP'10, Paphos, Cyprus, March 2010.

From Generic to Specific: Off-line Optimization for a General Constraint solver. GPCE'08, Nashville, Tennessee, October 2008.

Verification Condition Generation for Conditional Information Flow. FMSE'07, Fairfax, Virginia, November 2007.

A New Foundation for Control-Dependence and Slicing for Modern Program Structures. ESOP'05, Edinburgh, Scotland, April 2005.

Information Flow Analysis in Logical Form. SAS'04, Verona, Italy, August 2004.

What are polymorphically-typed ambients? ESOP'01, Genova, Italy, April 2001.

Faithful translations between polyvariant flows and polymorphic types. ESOP'00, Berlin, Germany, March 2000.

Local type reconstruction by means of symbolic fixed point iteration. ESOP'94, Edinburgh, Scotland, April 1994.

Minimal thunkification. WSA'93, Padova, Italy, September 1993.

Unfold/fold transformations preserving termination properties. PLILP'92, Leuven, Belgium, August 1992.

Properties of unfolding-based meta-level systems. PEPM'91, New Haven, Connecticut, June 1991.