Francesca Randone -

Registered user since Tue 24 Mar 2026

Name:Francesca Randone

Affiliation:TU Wien

Contributions

2026

APLAS

Committee Member in Program Committee within the ATVA Research Papers-track

SPLASH

Committee Member in Artifact Evaluation Committee within the Artifact evaluation-track

WADT

Committee Member in Program Committee within the WADT 2026-track

2025

SPLASH

Author of Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back within the OOPSLA-track