Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols. - Alex C. Keizer; Henning Basold; Jorge A. Pérez 001 (ESOP, 2021)

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types. - Alex C. Keizer; Henning Basold; Jorge A. Pérez 001 (ACM Trans. Program. Lang. Syst., 2022)

Verifying Peephole Rewriting in SSA Compiler IRs. - Siddharth Bhat; Alex C. Keizer; Chris Hughes; Andrés Goens; Tobias Grosser (ITP, 2024)