Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Marco Giunti
conf.researchr.org general profile
ECOOP and ISSTA 2023 profile
ETAPS 2019 profile
SPLASH 2023 profile
Not registered as user yet
Name:
Marco Giunti
Country:
Portugal
Affiliation:
Nova University of Lisbon
Contributions
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
Share
x
Mon 18 Nov 15:14