Publications

Bit-vector Typestate Analysis,
Formal Aspects of Computing
Special Issue: Best Papers from iFM'22
Supersedes our iFM'22 paper

Alen Arslanagić, Pavle Subotić, Jorge A. Pérez

DOI

A Minimal Formulation of Session Types,
In submission

Alen Arslanagić, Dan Frumin, Jorge A. Pérez

Scalable Typestate Analysis for Low-Latency Environments,
iFM 2022
Best Artifact Award

Alen Arslanagić, Pavle Subotić, Jorge A. Pérez

DOI PDF Code Artifact

Minimal Session Types for the pi-calculus,
PPDP 2021

Alen Arslanagić, Anda-Amelia Palamariuc, Jorge A. Pérez

DOI PDF Slides

Minimal Session Types,
ECOOP 2019

Alen Arslanagić, Erik Voogd, Jorge A. Pérez

DOI PDF Code