VLDB 2026 Research / reviewers in the wild / expert
Gerard Tabone
dblp:305/8698
· DBLP profile ↗
3ranked-venue papers
0as first author
3since 2021 · last 2026
0000-0001-9047-061XORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Grits: A message-passing programming language based on the semi-axiomatic sequent calculus
Adrian Francalanza, Gerard Tabone, Frank Pfenning |
Sci. Comput. Program. | 2 |
| 2024 | Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (Sax)
Adrian Francalanza, Gerard Tabone, Frank Pfenning |
COORDINATION | 2 |
| 2023 | ElixirST: A session-based type system for Elixir modules
Adrian Francalanza, Gerard Tabone |
J. Log. Algebraic Methods Program. | 2 |