Gerard Tabone

Ph.D. student in Computer Science at the University of Malta.

I study in the Department of Computer Science, where I am advised by Adrian Francalanza and am a member of the VELOCiTY research group. My research focuses on programming languages, concurrency, and verification.

You can reach me via email (or twitter, dblp).

Papers

Grits: A Message-Passing Programming Language based on the Semi-Axiomatic Sequent Calculus. Adrian Francalanza, Gerard Tabone, Frank Pfenning. SCP 2026 [doi].
Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (SAX). Adrian Francalanza, Gerard Tabone, Frank Pfenning. Coordination 2024 [doi].
ElixirST: A Session-Based Type System for Elixir Modules. Adrian Francalanza, Gerard Tabone. JLAMP 2023 [doi].
Session Fidelity for ElixirST: A Session-Based Type System for Elixir Modules (extended). Gerard Tabone, Adrian Francalanza. ICE 2022 [doi].
Session Types in Elixir. Gerard Tabone, Adrian Francalanza. AGERE 2021 [doi].

Talks

Session-Based Typechecking for Elixir Modules Using ElixirST. Adrian Francalanza, Gerard Tabone. 30 Years of Session Types (ST30).