Marco Giunti -

Registered user since Wed 16 Jul 2025

Name:Marco Giunti

Country:Portugal

Affiliation:University of Algarve

Contributions

2026

ECOOP

PC Member in Programme Committee within the Technical Papers-track

POPL

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

2025

ICFP

Committee Member in Artifact Evaluation Committe within the ICFP Artifacts-track

ECOOP

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

PLDI

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

POPL

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

2024

ECOOP

Author of Behavioral up/down casting for statically typed languages within the Technical Papers-track

ICFP

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

2023

SPLASH

Author of AtomiS: Data-Centric Synchronization Made Practical within the OOPSLA-track

ST

Author of Behavioural up/down casting for statically typed languages within the ST30-track

ECOOP

Author of On using VeriFast, VerCors, Plural, and KeY to check object usage within the Research Papers-track

2019

BEHAPI

Author of Proving properties about Linear Pi in Coq within the BEHAPI-track