Publications dblp

Categorical Semantics of Digital Circuits. FMCAD 2016, Formal Methods in Computer-Aided Design 3-6 October, 2016 Mountain View, CA, USA. With Achim Jung abstract pdf

Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. CSL 2015, Computer Science Logic 2015, Berlin, 7-10 September 2015 Technische Universit├Ąt Berlin. With Murdoch James Gabbay, Daniela Petrisan abstract doi

Transparent linking of compiled software and synthesized hardware. DATE 2015, Design, Automation, and Test in Europe 2015. With David B. Thomas, Shane T. Fleming, George A. Constantinides abstract doi

System-level Linking of Synthesised Hardware and Compiled Software Using a Higher-order Type System. FPGA 2015, 23rd ACM/SIGDA International Symposium on Field-Programmable Gate Arrays. With Shane T. Fleming, David B. Thomas, George A. Constantinides abstract doi

Compiling Higher Order Functional Programs to Composable Digital Hardware FCCM 2014, The 22nd IEEE International Symposium on Field-Programmable Custom Computing Machines May 11-13, Boston, Massachusetts. With Eduardo Aguilar-Pelaez, Samuel Bayliss, Alex I. Smith, Felix Winterstein, David B. Thomas, George A. Constantinides abstract doi

Towards native higher-order remote procedure calls IFL 2014, The 26th Symposium on Implementation and Application of Functional Languages. With Olle Fredriksson and Bertie Wheen abstract pdf

Krivine nets: a semantic foundation for distributed execution ICFP 2014, The 19th ACM SIGPLAN International Conference on Functional Programming. With Olle Fredriksson abstract pdf

Bounded Linear Types in a Resource Semiring ESOP 2014, 23rd European Symposium on Programming, Grenoble, France. With Alex Smith abstract pdf

Abstract machines for game semantics, revisited LICS 2013, Twenty-Eight Annual IEEE Symposium on Logic in Computer Science, New Orleans, Louisiana, USA. With Olle Fredriksson. abstract pdf

Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits Samson Abramsky Festchrift (forthcoming) abstract pdf

Seamless distributed computing from the Geometry of Interaction TGC 2012. 7th International Symposium on Trustworthy Global Computing Newcastle upon Tyne, UK, 7-8 September 2012 With O. Fredriksson. abstract pdf

Coherent Minimisation: Towards efficient tamper-proof compilation ICE 2012. 5th Interaction and Concurrency Experience Workshop. Stockholm, Sweden June 16, 2012. With Z. Al-Zobaidi. abstract pdf

Game semantics in the nominal model MFPS 2012. The Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, University of Bath, Bath, UK, June 6-9, 2012. With J. Gabbay. abstract pdf

A System-Level Game Semantics MFPS 2012. The Twenty-eighth Conference on the Mathematical Foundations of Programming Semantics, University of Bath, Bath, UK, June 6-9, 2012. With N. Tzevelekos. abstract pdf

Geometry of Synthesis IV: Compiling affine recursion into static hardware ICFP 2011. The 16th ACM SIGPLAN International Conference on Functional Programming, Tokyo, Japan, September 19-21, 2011. With S. Singh and A. Smith. abstract pdf doi

Function Interface Models for Hardware Compilation (invited tutorial paper) MEMOCODE 2011. ACM/IEEE Ninth International Conference on Formal Methods and Models for Codesign Cambridge, UK. July 11-13, 2011 abstract pdf doi

Synchronous game semantics via round abstraction FoSSaCS 2011. 14th International Conference on Foundations of Software Science and Computation Structures. With Mohamed Menaa. abstract pdf doi

Geometry of Synthesis III: Resource management through type inference POPL 2011. 38th Symposium on Principles of Programming Languages, Austin, Texas. With Alex Smith. abstract pdf doi

On the compositionality of round abstraction CONCUR 2010. 21st International Conference on Concurrency Theory, Paris, France. With Mohamed Nabih Menaa. abstract pdf doi

Geometry of Synthesis II: From Games to Delay-Insensitive Circuits MFPS 26. Mathematical Foundations of Programming Semantics XXVI, Ottawa, Canada. Electronic Notes in Theoretical Computer Science (ENTCS). With Alex Smith. abstract pdf doi

Data-Abstraction Refinement: A Game Semantic Approach STTT. International Journal on Software Tools for Technology Transfer. Volume 12, Number 5, 373-389. With Adam Bakewell, Aleks Dimovski and Ranko Lazic. abstract pdf doi

Applications of Game Semantics: From Software Analysis to Hardware Synthesis LICS 2009 (invited tutorial paper), Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science, Los Angeles, California, USA. abstract pdf doi

Clipping: A Semantics-directed syntactic approximation LICS 2009, Twenty-Fourth Annual IEEE Symposium on Logic in Computer Science, Los Angeles, California, USA. With Adam Bakewell abstract pdf doi

Compositional Predicate Abstraction from Game Semantics TACAS 2009, Fifteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2009, York, UK. With Adam Bakewell abstract pdf doi

On-the-Fly Techniques for Games-Based Software Model Checking TACAS 2008, Fourteenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2008, Budapest, Hungary. With Adam Bakewell abstract pdf doi

Angelic Semantics of Fine-Grained Concurrency First Games for Logic and Programming Languages Workshop (Special Issue), Annals of Pure and Applied Logic, Volume 151, Issues 2-3, February 2008, Pages 89-114. With Andrzej Murawski abstract pdf doi

Geometry of Synthesis: A structured approach to VLSI design POPL 2007, Symposium on Principles of Programming Languages Nice, France January, 2007 abstract pdf doi slides

Compositional Model Extraction for Higher-Order Concurrent Programs TACAS 2006, 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Vienna, March 2006. With A. Murawski abstract pdf doi

A Counterexample-Guided Refinement Tool for Open Procedural Programs SPIN 2006, 13th International SPIN Workshop on Model Checking of Software, Vienna, March 2006. With A. Dimovski and R. Lazić abstract pdf

Syntactic Control of Concurrency Theoretical Computer Science, vol 350 (2-3), 7 February 2006, pp 234-251. With A. Murawski and L. Ong abstract ps pdf doi

Data-Abstraction Refinement: A Game Semantic Approach SAS 2005, The 12th International Static Analysis Symposium, London, September 2005. With A. Dimovski and R. Lazić abstract pdf doi

Slot Games: A quantitative model of computation POPL 2005, 32nd Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, Long Beach, California, January 2005 abstract ps pdf doi

Syntactic Control of Concurrency ICALP 2004, 31st International Colloquium on Automata, Languages and Programming, Turku, Finland, July 2004. With A. Murawski and L. Ong abstract pdf doi

Nominal Games and Full Abstraction for the Nu-Calculus LICS 2004, Nineteenth Annual IEEE Symposium on Logic in Computer Science, Turku, Finland, July 2004. With S. Abramsky, A. Murawski, L. Ong and I. Stark abstract ps doi

Applying Game Semantics to Compositional Software Modeling and Verifications TACAS 2004, Tenth International Conference on Tools and Algorithms for the Construction and Analysis of System, Barcelona, March 2004. With S. Abramsky, A. Murawski and L. Ong abstract pdf doi

Semantical Analysis of Noninterference 3, An Operational Approach ESOP 2004, The European Symposium on Programming, Barcelona, March 2004 abstract ps doi

Angelic Semantics of Fine-Grained Concurrency Foundations of Software Science and Computation Structures, FOSSACS 2004, Barcelona, March 2004. With A. Murawski abstract ps doi

A Games-Based Foundation for Compositional Software Model Checking PhD Thesis, Queen's University School of Computing, Kingston, Ontario, Canada, November 2002 abstract ps pdf doi

The Regular-Language Semantics of First-order Idealized Algol Theoretical Computer ScienceVolume 309, Issues 1-3 , 2 December 2003, Pages 469-502. With Guy McCusker abstract ps pdf doi

A Regular-Language Model for Hoare-Style Correctness Statements VCL'2001, Florence, Italy abstract ps pdf

Regular Language Semantics for a Call-by-Value Programming Language MFPS 17, (preliminary version) Aarhus, Denmark, 2001 abstract ps pdf doi

Reasoning About Idealized Algol Using Regular Languages ICALP 2000 , Geneva, Switzerland. With Guy McCusker abstract ps pdf doi

Abstract Models of Storage, Journal of Higher Order and Symbolic Computation. With Robert D. Tennent abstract ps pdf

Semantics of Dynamic Variables in Algol-like Languages, M.Sc. Thesis, 1997 abstract ps

Copyright notice: This work is Copyrighted, and anybody caught usin' it without our permission, will be mighty good friends of ourn, cause we don't give a dern. We wrote it, that's all we wanted to do. (Woody Guthrie)