Francesco Gavazzo -

Registered user since Sat 29 Apr 2023

Name:Francesco Gavazzo

Country:Italy

Affiliation:University of Pisa, Italy

Personal website: https://sites.google.com/view/francescogavazzo/home

Research interests:Programming Language Semantics (program equivalence and distance, computational effects and coeffects), Relational Reasoning (algebras and calculi of program relations), Induction and Coinduction

Contributions

2024

ICFP

PC Member in ICFP Papers and Events within the ICFP Papers and Events-track

POPL

Committee Member in Program Committee within the POPL-track

2023

POPL

Author of Elements of Quantitative Rewriting within the POPL-track

2022

HOPE

ICFP

Author of On Feller Continuity and Full Abstraction within the ICFP Papers and Events-track

POPL

2021

HOPE

Author of Computational and Contextual Program Differences: Reasoning About Non-equivalent Effectful Programs in an Higher-Order Scenario within the HOPE 2021-track

2020

HOPE

Committee Member in Program Committee within the HOPE 2020-track

2019

ESOP

Author of Effectful Normal-Form Bisimulation within the ESOP 2019-track

2018

ICFP

Committee Member in Artifact Evaluation Committee within the Research Artifacts-track