Registered user since Thu 2 Jul 2020

Name:Alejandro Aguirre
Affiliation:IMDEA Software Institute and T.U. of Madrid (UPM)

Contributions

PLDI 2022 (POPL 2021) A Pre-Expectation Calculus for Probabilistic Sensitivity
Show activities from other conferences

Using general profile