Alex C. Keizer

According to our database, Alex C. Keizer authored at least 3 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Verifying Peephole Rewriting in SSA Compiler IRs.

Siddharth Bhat, Alex C. Keizer, Chris Hughes, Andrés Goens, Tobias Grosser

Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2022

Session Coalgebras: A Coalgebraic View on Regular and Context-free Session Types.

Alex C. Keizer, Henning Basold, Jorge A. Pérez

ACM Trans. Program. Lang. Syst., 2022

2021

Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols.

Alex C. Keizer, Henning Basold, Jorge A. Pérez

Proceedings of the Programming Languages and Systems, 2021