papers

Here is a list of my publications, in reverse chronological order.

  • Reachability in Pushdown Register Automata
    joint paper with Andrzej Murawski and Steven Ramsay, extended and upgraded version of MFCS'14, in Journal of Computer and System Sciences, in print, 2017. link to publisher

  • Block structure vs scope extrusion: between innocence and omniscience
    joint paper with Andrzej Murawski, extended and upgraded version of FOSSACS'10, in Logical Methods in Computer Science, volume 12(3), 2016. link to pdf

  • Trace semantics for polymorphic references
    joint paper with Guilhem Jaber, in LICS'16: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, pp. 585-594, ACM, 2016. revised pdf

  • History-Register Automata
    joint paper with Radu Grigore, extended and upgraded version of FOSSACS'13, in Logical Methods in Computer Science, volume 12(1), 2016. link to pdf

  • Nominal Game Semantics
    joint tutorial paper with Andrzej Murawski, in Foundations and Trends in Programming Languages , volume 2(4), pp. 191-269, 2016. pdf

  • A Contextual Equivalence Checker for IMJ*
    joint tool paper with Andrzej Murawski and Steven Ramsay, in ATVA'15: Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, LNCS, pp. 234-240, 2015. pdf

  • Game Semantic Analysis of Equivalence in IMJ
    joint paper with Andrzej Murawski and Steven Ramsay, in ATVA'15: Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, LNCS, pp. 411-428, 2015. pdf

  • Bisimilarity in Fresh-Register Automata
    joint paper with Andrzej Murawski and Steven Ramsay, in LICS'15: Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, IEEE, pp. 156-167, 2015. pdf

  • Reachability in Pushdown Register Automata
    joint paper with Andrzej Murawski and Steven Ramsay, in MFCS'14: Proceedings of the 39th International Symposium on the Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 8634, pp. 464-473, 2014. pdf

  • Game Semantics for Nominal Exceptions
    joint paper with Andrzej Murawski, in FoSSaCS'14: Proceedings of the 20th International Conference on Software Science and Computation Structures, Lecture Notes in Computer Science 8412, pp. 164-179, 2014. pdf

  • Game Semantics for Interface Middleweight Java
    joint paper with Andrzej Murawski, in POPL'14: Proceedings of 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM Press, pp. 517-528, 2014. pdf

  • Full Abstraction for Reduced ML
    joint paper with Andrzej Murawski, in Annals of Pure and Applied Logic, 164(11), pp. 1118-1143, Elsevier, 2013. pdf

  • Towards Nominal Abramsky
    joint paper with Andrzej Murawski, in Computation, Logic, Games, and Quantum Foundations: The Many Facets of Samson Abramsky, Lecture Notes in Computer Science 7860, pp. 246-263, 2013. pdf

  • History-Register Automata
    joint paper with Radu Grigore, in FoSSaCS'13: Proceedings of the 19th International Conference on Software Science and Computation Structures, Lecture Notes in Computer Science 7794, pp. 17-33, 2013. pdf

  • Deconstructing general references via game semantics
    joint paper with Andrzej Murawski, in FoSSaCS'13: Proceedings of the 19th International Conference on Software Science and Computation Structures, Lecture Notes in Computer Science 7794, pp. 241-256, 2013. pdf

  • Runtime Verification Based on Register Automata
    joint paper with Radu Grigore, Dino Distefano and Rasmus L. Petersen, in TACAS'13: Proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 7795, pp. 260-276, 2013. pdf

  • Algorithmic Games for Full Ground References
    joint paper with Andrzej Murawski, in ICALP'12: Proceedings of the 39th International Colloquium on Automata, Languages and Programming, Lecture Notes in Computer Science 7392, pp. 312-324, 2012. pdf 

  • A System-Level Game Semantics
    joint paper with Dan Ghica, in MFPS'12: Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, pp. 191-211, 2012. pdf 

  • Program equivalence in a simple language with state
    in Computer Languages, Systems and Structures, Elsevier, volume 38(2), pp. 181-198, 2012. (journal version of Dagstuhl 10351) pdf 

  • Game semantics for good general references
    joint paper with Andrzej Murawski, in LiCS'11: Proceedings of the 26th IEEE Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, pp. 75-84, 2011. pdf

  • Algorithmic Nominal Game Semantics
    joint paper with Andrzej Murawski, in ESOP'11: Proceedings of the 20th European Symposium on Programming, Lecture Notes in Computer Science, Springer, volume 6602, pp. 419-438, 2011. pdf

  • Fresh-Register Automata
    in POPL'11: Proceedings of the 38th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, ACM Press, pp. 295-306, 2011. revised pdf

  • Introduction to  Category Theory and Categorical Logic
    joint paper with Samson Abramsky, in New Structures for Physics, Lecture Notes in Physics, Springer, volume 813, pp. 3-94, 2011. link to pdf

  • Program Equivalence with Names
    in Modelling, Controlling and Reasoning About State: Proceedings of Dagstuhl Seminar 10351, 2010. pdf

  • Block structure vs scope extrusion: between innocence and omniscience
    joint paper with Andrzej Murawski, in FoSSaCS’10: Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures, LNCS 6014, pp. 33-47, 2010. pdf

  • Functional Reachability
    joint paper with Luke Ong, in LiCS’09: Proceedings of the 24th IEEE Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, pp. 286-295, 2009. pdf

  • Full abstraction for Reduced ML
    joint paper with Andrzej Murawski, in FoSSaCS’09: Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures, LNCS 5504, pp. 32-47, 2009. pdf

  • Nominal Game Semantics
    PhD thesis, Oxford University Computing Laboratory, Trinity 2008. Available as Technical Report RR-09-18, OUCL, December 2009. pdf

  • Full abstraction for nominal general references
    journal version, in Logical Methods in Computer Science, volume 5 (3:8), 2009. pdf

  • Full abstraction for nominal exceptions
    Unpublished, 2008. pdf

  • Full abstraction for nominal general references
    in LiCS’07: Proceedings of the 22nd IEEE Annual Symposium on Logic in Computer Science, IEEE Computer Society Press, pp. 399-410, 2007. (Kleene best student paper award) revised pdf 

  • Investigations on the Dual Calculus
    in Theoretical Computer Science 360(1-3): 289-326, 2006. pdf

  • Many-Valued Multiple-Expert modal models
    in UNILOG’05: Proceedings of the First World Congress and School on Universal Logic, Polimetrica, pp. 351-364, 2005. pdf

  • An empirical local convergence study of alternative coordination schemes in analytical target cascading
    joint paper with M. Kokkolaras, P.Y. Papalambros, M.F. Hulshof, L.F.P. Etman and J.E. Rooda, in Proceedings of the 5th World Congress on Structural and Multidisciplinary Optimization, 2003. pdf