june wunder

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 4

Top Topics

Induction Motor

Sensitivity Analysis

Similarity Metrics

Top Venues

Proc. ACM Program. Lang.

Publications

Francis Rinaldi, june wunder, Arthur Azevedo de Amorim, Stefan K. Muller
Pipelines and Beyond: Graph Types for ADTs with Futures. Proc. ACM Program. Lang. 8 (POPL) (2024)
june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi
Bunched Fuzz: Sensitivity for Vector Metrics. ESOP (2023)
Francis Rinaldi, june wunder, Arthur Azevedo de Amorim, Stefan K. Muller
Pipelines and Beyond: Graph Types for ADTs with Futures. CoRR (2023)
june wunder, Arthur Azevedo de Amorim, Patrick Baillot, Marco Gaboardi
Bunched Fuzz: Sensitivity for Vector Metrics. CoRR (2022)