Category Archives: game semantics

Two consequences of full abstraction

In a recent paper [pdf] with my student Zaid Al-Zobaidi we describe two enhancements to the GoI compiler. The first one is a tamper-proof mechanism which guarantees that no low-level attacks against the compiled code are possible. This is very nice … Continue reading

Posted in game semantics, Geometry of Synthesis, system level semantics | 1 Comment

Game semantics, nominally

I have an upcoming paper in MFPS28, about using nominal techniques to represent “justification pointers” in game semantics (jointly with Murdoch Gabbay). In game semantics we represent “plays” as sequences with “pointers” from each element to some earlier elements. This … Continue reading

Posted in game semantics | 1 Comment

Armchair philosophy

I was reading recently a fun paper by Wesley Phoa, Should computer scientists read Derrida? [pdf]. I was attracted by what seemed to me a preposterous title, being quite sure the paper is a parody. Instead, I found myself confronted with a … Continue reading

Posted in game semantics, system level semantics | 11 Comments

Three talks at “Logic and interactions” winter school, CIRM, Luminy

I recently gave a research tutorial on game semantics at Logic and interactions 2012, CIRM, Marseille. I was asked to emphasize the connection between game semantics and the Geometry of Interaction, which I was very happy to do. I didn’t try too hard to … Continue reading

Posted in game semantics | Leave a comment

Global state considered a fiction

Here is what my colleague Uday Reddy says in his paper “Global State Considered Unnecessary” [pdf]: The traditional semantics of imperative features is based on the notion of global store. A variable is an index into the store and the store … Continue reading

Posted in game semantics, Geometry of Synthesis | Leave a comment

Game Semantics, a gentle introduction

The first paper I ever read on game semantics was Samson Abramsky & Guy McCusker’s “Linearity, Sharing and State“. It was included in a great collection of papers on Algol-like Languages by Bob Tennent, my PhD advisor, and Peter O’Hearn … Continue reading

Posted in game semantics | 1 Comment