Angelina Saliling -

Not registered as user yet

Name:Angelina Saliling

Affiliation:Cornell University

Contributions

2024

SPLASH

Author of Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects within the OOPSLA 2024-track