Pierre Geneves Pierre Genevès

A Few Talks...

Recent Talks

  • Queries for Trees and Graphs: Static Analysis and Code Synthesis [slides]
    Invited talk, Univ. Fribourg, March 27th, 2018.
  • On the Prediction of At-Risk Patient Profiles with Big Prescription Data [slides]
    Invited talk for the Data Science in the Alps Workshop, March 20th, 2018.

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

More Invited Talks (Larger Audience)