Dominique Devriese

Dominique Devriese

I am a postdoctoral researcher in the research group DistriNet, part of the Computer Science department of the Katholieke Universiteit Leuven. I hold a postdoctoral research fellowship of the Research Foundation - Flanders (FWO).

Research Interests

My research interests are somewhat varied. I work on formalising properties of object-oriented and object-capability programming languages, specifically a property called effect parametricity.  I am also interested in secure compilation and full abstraction properties and applying logical relations to prove them.  Furthermore, I work on functional and dependently typed programming and programming languages. I have worked on a Haskell parsing library called grammar-combinators and have added instance arguments to the programming language/proof assistant Agda (but they have been updated by other people since then).  In the past, I have also worked on information flow security, in particular a dynamic enforcement technique called secure multi-execution.

PC Membership

Teaching

I am currently involved in the following courses:

As substitute lecturer:

 

Key publications:

  1. Dominique Devriese, Marco Patrignani, Frank Piessens, Fully abstract compilation by approximate back-translation, ACM SIGPLAN-SIGACT Symposium om Principles of Programming Languges (POPL 2016), pages 164-177, St. Petersburg, Florida, USA, 20-22 January 2016 download0 517723bibtex
  2. Dominique Devriese, Lars Birkedal, Frank Piessens, Reasoning about object capabilities with logical relations and effect parametricity, IEEE European Symposium on Security and Privacy (Euro S&P 2016), pages 147-162, Saarbrücken, 21-24 March 2016 download0 529252bibtex
  3. Dominique Devriese, Frank Piessens, On the bright side of type classes: instance arguments in Agda, Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), pages 143-155, Tokyo, Japan, 19-21 September 2011 download0 304985bibtex
  4. Dominique Devriese, Frank Piessens, Finally tagless observable recursion for an abstract grammar model, Journal of Functional Programming, volume 22, issue 6, pages 757-796, November 2012 download0 352570bibtex
  5. Dominique Devriese, Frank Piessens, Non-interference through secure multi-execution, 2010 IEEE Symposium on Security and Privacy Proceedings, issue 2010, pages 109-124, Oakland, California, US, 16-19 May 2010 download0 265429bibtex
[More...]
 

 

Contact info

  • Office: 02.34
  • Address:
    Dept. Computer Science
    Celestijnenlaan 200A
    B-3001 Heverlee
    BELGIUM
  • Tel: +3216372578
  • Fax: +3216327996
  • Email: Dominique Devriese