A Few Talks...
Some Conference Talks
-
IJCAI'15, Buenos Aires, Argentina, July 2015:
- Expressive Logical Combinators For Free [slides]
- Reasoning with Style [slides]
-
WWW'12, Lyon, France, April 2012: On the Analysis of Cascading Style Sheets [slides]
-
IJCAI'11, Barcelona, Spain, July 2011: Query Reasoning with Types, Interleaving, and Counting [slides]
- ICSE'11, Honolulu, HI, USA, May 2011: Inconsistent Path Detection for XML IDEs [slides]
- ICFP'09, Edinburgh, Scotland, UK, Sept. 2009: Identifying Query Incompatibilities with Evolving XML Schemas [slides]
- PLDI'07, San Diego, CA, USA, June 2007: Efficient Static Analysis of XML Paths and Types [slides]
Some Invited Talks
- 2013, November - QCRI, Doha, Qatar
- 2013, February - LRI, Orsay, France: slides, css
- 2012, October - EPFL, Lausanne, Switzerland: slides
- 2012, May - Laboratoire d'Informatique Fondamentale (LIF) de Marseille, France
- 2008, November - Laboratoire de Spécification et Vérification (LSV), ENS Cachan
- 2007, December - University of Fribourg, Switzerland
- 2007, August - EPFL TRESOR Seminar, Lausanne, Switzerland
- 2006, December - Laboratoire d'Informatique Fondamentale (LIF) de Marseille, France
- 2004, March - Xerox Research Center Europe (XRCE), Meylan, France
Invited Talks (Larger Audience)
