Alex C. Keizer

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 4

Top Topics

Termination Analysis

Queries Using Views

Top Venues

ACM Trans. Program. Lang. Syst.

Publications

Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser
Verifying Peephole Rewriting In SSA Compiler IRs. CoRR (2024)
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types. ACM Trans. Program. Lang. Syst. 44 (3) (2022)
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. ESOP (2021)
Alex C. Keizer, Henning Basold, Jorge A. Pérez
Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. CoRR (2020)