Publications

Alen Arslanagić, Pavle Subotić, Jorge A. Pérez (2022). Scalable Typestate Analysis for Low-Latency Environments. iFM 2022
Best Artifact Award.

DOI PDF Code Artifact

Alen Arslanagić, Anda-Amelia Palamariuc, Jorge A. Pérez (2021). Minimal Session Types for the pi-calculus. PPDP 2021.

Alen Arslanagić, Erik Voogd, Jorge A. Pérez (2019). Minimal Session Types. ECOOP 2019.