Alejandro Aguirre - SPLASH 2024

Sun 20 - Fri 25 October 2024 Pasadena, California, United States

Registered user since Tue 25 Apr 2023

Name:Alejandro Aguirre

Country:Denmark

Affiliation:Aarhus University

Personal website: https://cs.au.dk/~alejandro/

Contributions

2024

SPLASH

Tachis: Higher-Order Separation Logic with Credits for Expected Costs

Show activities from other conferences

SPLASH 2024-profile
View general profile