talks

Here are the slides of talks I have given. At some point I stopped including printer-friendly versions with slide-transitions removed, but please ask me for one if you need it.

  • Higher-Order Linearisability, at Compositionality workshop, Simons Institute, Berkeley, Dec 2016. pdf, video

  • Automata over infinite alphabets: automata with registers and histories, at Verification seminar, University of Oxford, Nov 2016. pdf

  • Nominal games: a semantics paradigm for effectful languages, at PLAS seminar, University of Kent, Nov 2016. pdf

  • Nominal games: a semantics paradigm for effectful languages, at Workshop on Higher-Order Model Checking + Communicating, Distributed and Parameterised Systems, IMS, Singapore, Sep 2016. pdf

  • Model Checking Program Equivalence in Interface Middleweight Java, at PPLV seminar, UCL, Apr 2016. pdf

  • Game Semantics for Interface Middleweight Java, at Workshop on Program Equivalence, QMUL, Apr 2016. pdf

  • Model Checking Program Equivalence in Interface Middleweight Java, at Higher-Order Model Checking, NII Shonan meeting, Shonan, Japan, Mar 2016. pdf

  • History-Register Automata, at DIMAP seminar, University of Warwick, Jan 2016. pdf

  • Automata over infinite alphabets: Investigations in Fresh-Register Automata, at Logical Foundations of Data Science, UCL, Nov 2015. pdf

  • Game Semantic Analysis of Equivalence in Interface Middleweight Java, at ATVA'15: 13th International Symposium on Automated Technology for Verification and Analysis, Oct 2015. pdf

  • Automata over infinite alphabets: Investigations in Fresh-Register Automata, at University of Southampton, Sep 2015. pdf

  • Game Semantics for Interface Middleweight Java, at Semantics and Verification of OO Languages, NII Shonan meeting, Shonan, Japan, Sep 2015. pdf

  • Bisimilarity in Fresh-Register Automata, at Highlights of Logic, Games and Automata, Prague, Sep 2015. pdf

  • Nominal games: a low-level semantics for open programs, at LOLA 2015: Syntax and Semantics of Low-Level Languages, Kyoto, Jul 2015. pdf

  • Game Semantic Analysis of Equivalence in Interface Middleweight Java, at MFPS XXXI: 31st Conference on the Mathematical Foundations of Programming Semantics, Nijmegen, Jun 2015. pdf

  • Automata over infinite alphabets: Investigations in Fresh-Register Automata, at PLS10: 10th Panhellenic Logic Symposium, Samos, Greece, Jun 2015. pdf

  • Nominal game semantics: what's new, at GaLoP X: Games for Logic and Programming Languages, ETAPS workshop, London, Apr 2015. pdf

  • Automata over infinite alphabets: Investigations in Fresh-Register Automata, at University of Birmingham, Feb 2015. pdf

  • Nominal game semantics and automata, at Aarhus University, Feb 2015. pdf

  • Nominal game semantics and automata, at Microsoft Research, Cambridge, Dec 2014. pdf

  • Automata (& programs) over infinite alphabets, at OASIS 10 Year Anniversary Workshop, Oxford, Nov 2014. pdf

  • Nominal game semantics and automata, at Semantics of proofs and programs, IHP workshop, Paris, Jun 2014. pdf

  • Game Semantics for Interface Middleweight Java, at GaLoP IX: Games for Logic and Programming Languages, ETAPS workshop, Grenoble, Apr 2014. pdf

  • Game Semantics for Nominal Exceptions, at FoSSaCS'14: 17th International Conference on Foundations of Software Science and Computation Structure, Grenoble, Apr 2014. pdf

  • Game Semantics for Interface Middleweight Java, at POPL'14: 41st ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, San Diego, California, Jan 2014. pdf

  • Games and Full Abstraction for Java programs, at Programming Languages Seminar, National Technical University of Athens, Dec 2013. pdf

  • Names, games and automata, at Nominal Computation Theory. Dagstuhl Seminar 13422, Schloss Dagstuhl, Germany, October 2013. pdf

  • Deconstructing general references using game semantics, at HOPE 2013: The 2nd ACM SIGPLAN Workshop on Higher-Order Programming with Effects. ICFP satellite workshop, Boston, September 2013. pdf

  • Deconstructing general references using game semantics, at GaLoP VIII: Games for Logic and Programming Languages. Queen Mary, University of London, July 2013. pdf

  • Towards Nominal Abramsky, at Samson@60: A Conference in Honour of Samson Abramsky, on the event of his 60th Birthday, Oxford, May 2013. pdf

  • History-Register Automata, at FoSSaCS'13: 16th International Conference on Foundations of Software Science and Computation Structures, Rome, Mar 2013. pdf

  • Games with names, at Programming Languages Seminar, National Technical University of Athens, Dec 2012. pdf

  • Game semantics for fragments of ML, at GaLoP VII: Games for Logic and Programming Languages. LICS workshop, Dubrovnik, Croatia, June 2012. pdf

  • Games with names, at Theory Seminar, Queen Mary, University of London, Apr 2012. pdf

  • Programs, Security and Games, at The Science of Information Systems, LIMS workshop, Apr 2012. pdf

  • Games with names, at Nominal Sets meet Automata Theory, University of Warsaw, Feb 2012. pdf

  • Games with names, at Nominal Workshop, University of Leicester, Nov 2011. pdf

  • Game semantics for good general references, at Séminaire PPS. PPS, Paris Diderot, Sep 2011. pdf (using also Andrzej's slides from LICS'11)

  • Functional reachability, at Automated Techniques for Higher-Order Program Verification. NII Shonan meeting, Shonan, Japan, Sep 2011. pdf

  • Games with names, at Automated Techniques for Higher-Order Program Verification. NII Shonan meeting, Shonan, Japan, Sep 2011. pdf

  • Games with names, at Groupe de travail Sémantique weekly seminar. PPS, Paris Diderot, Sep 2011. pdf
  • Algorithmic Nominal Game Semantics, short presentation at LiCS'11: 26th IEEE Annual Symposium on Logic in Computer Science, Toronto, June 2011. pdf

  • Games with names, at FMG Seminar, Trinity College, Dublin, May 2011. pdf

  • Games with new resources, at Oxford Logic for Interaction Workshop, Oxford, April 2011. pdf

  • Algorithmic Nominal Game Semantics, at ESOP'11: 20th European Symposium on Programming, Saarbrücken, Germany, March 2011. pdf

  • Fresh-Register Automata, at POPL'11: 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Austin, Texas, Jan 2011. pdf

  • Fresh-Register Automata, at Computer Science Seminar, University of Leicester, November 2010. pdf

  • Program equivalence with names, at Modelling, Controlling and Reasoning About State. Dagstuhl Seminar, Schloss Dagstuhl, Germany, August 2010. pdf

  • Functional reachability, at Game Semantics and Program Verification. Dagstuhl Seminar, Schloss Dagstuhl, Germany, June 2010. pdf

  • AJM-games revisited, at GaLoP V: Games for Logic and Programming Languages. ETAPS workshop, Paphos, Cyprus, March 2010. pdf

  • Functional Reachability, at AVoCS'09: 9th International Workshop on Automated Verification of Critical Systems, Gregynog, Wales, September 2009. pdf

  • Functional Reachability, at LiCS'09: 24th IEEE Annual Symposium on Logic in Computer Science, Los Angeles, August 2009. pdf

  • Full abstraction for Reduced ML, at FoSSaCS'09: 12th International Conference on Foundations of Software Science and Computation Structures, York, March 2009. pdf

  • Game Semantics and Block-Structured State, at GaLoP IV: Games for Logic and Programming Languages. ETAPS workshop, York, March 2009. pdf

  • Nominal Techniques: from Nominal Logic to Nominal Games, at LINT: Workshop on Logic for Interaction, Amsterdam, December 2008. pdf

  • Full abstraction for nominal exceptions and general references, at GaLoP III: Games for Logic and Programming Languages, Budapest, April 2008. pdf

  • Full abstraction for nominal general references, at LiCS'07: 22nd IEEE Annual Symposium on Logic in Computer Science, Wroclaw, July 2007. pdf pdf 4x

  • Full abstraction for nominal general references, at Mathematical Theories of Abstraction, Substitution and Naming in Computer Science, ICMS, Edinburgh, May 2007. pdf