Bunched Fuzz: Sensitivity for Vector Metrics. - june wunder; Arthur Azevedo de Amorim; Patrick Baillot; Marco Gaboardi (ESOP, 2023)

Pipelines and Beyond: Graph Types for ADTs with Futures. - Francis Rinaldi; june wunder; Arthur Azevedo de Amorim; Stefan K. Muller (Proc. ACM Program. Lang., 2024)