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

A Bounded Model Checking Technique for HigherOrder Programs
joint paper with YuYang Lin, in SETTA'19: Proceedings of the Symposium on Dependable Software Engineering, LNCS, 2019.

DEQ : Equivalence Checker for Deterministic Register Automata
joint paper with Andrzej Murawski and Steven Ramsay, in ATVA'19: Proceedings of the 17th International Symposium on Automated Technology for Verification and Analysis, LNCS, 2019.
HigherOrder Linearisability joint paper with Andrzej Murawski, extended version of CONCUR'17, in Journal of Logical and Algebraic Methods in Programming, Volume 104, pp. 86116, 2019. link to publisher (open access)

PolynomialTime Equivalence Testing for Deterministic FreshRegister Automata
joint paper with Andrzej Murawski and Steven Ramsay,
in MFCS'18:
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, LIPICS, 72:172:14, 2018.
link to publisher (open access)

A Trace Semantics for System F Parametric Polymorphism
joint paper with Guilhem Jaber,
in FOSSACS'18: 21st International Conference on Foundations of Software Science and Computation Structures, LNCS 10803, in print.
pdf

Algorithmic Games for Full Ground References
joint paper with Andrzej Murawski, extended version of ICALP'12,
in Formal Methods in System Design, Volume 52, Issue 3, pp. 277314, 2017. link to publisher (open access)

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, pp. 5883, 2017.
link to publisher (free access)

HigherOrder Linearisability
joint paper with Andrzej Murawski,
in CONCUR'17: 28th International Conference on Concurrency Theory, LIPIcs 85, pp.34:134:18.
pdf

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. 585594, ACM,
2016. revised
pdf

HistoryRegister 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. 191269, 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. 234240, 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. 411428, 2015.
pdf

Bisimilarity in FreshRegister 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. 156167, 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. 464473, 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. 164179, 2014. pdf

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

Full Abstraction for Reduced ML
joint paper with Andrzej Murawski, in Annals of Pure and Applied Logic, 164(11), pp. 11181143, 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. 246263, 2013.
pdf

HistoryRegister 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. 1733, 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. 241256, 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. 260276, 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. 312324, 2012. pdf

A SystemLevel Game Semantics
joint paper with Dan Ghica, in MFPS'12: Twentyeighth Conference on the Mathematical Foundations of Programming Semantics, pp. 191211, 2012. pdf

Program equivalence in a simple language with state
in Computer Languages, Systems and Structures, Elsevier, volume 38(2), pp. 181198, 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. 7584, 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. 419438, 2011. pdf

FreshRegister Automata
in POPL'11: Proceedings of the 38th ACM SIGACTSIGPLAN Symposium on Principles of Programming Languages, ACM Press, pp. 295306, 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. 394, 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. 3347, 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. 286295, 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. 3247, 2009. pdf

Nominal Game Semantics
PhD thesis, Oxford
University Computing Laboratory, Trinity 2008. Available as Technical
Report RR0918, 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. 399410, 2007. (Kleene best student paper award) revised pdf

Investigations on the Dual Calculus
in Theoretical Computer Science 360(13): 289326, 2006. pdf

ManyValued MultipleExpert modal models
in UNILOG’05: Proceedings of the First World Congress and School on Universal Logic, Polimetrica, pp. 351364, 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

