Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Claudio Sacerdoti Coen
conf.researchr.org general profile
APLAS 2025 profile
ATVA 2025 profile
ECOOP 2026 profile
POPL 2016 profile
POPL 2026 profile
Not registered as user
Name:
Claudio
Sacerdoti Coen
Affiliation:
University of Bologna
Contributions
2026
VeriLang
Committee Member in Program Committee within the VeriLang 2026-track
Committee Member in Organizing Committee within the VeriLang 2026-track
RocqPL
Author of The HOL-Light library of Multivariate real analysis in Rocq within the Rocq for Programming Languages 2026-track
2025
ATVA
Author of Positive Sharing and Abstract Machines within the APLAS Papers-track
APLAS
Author of Positive Sharing and Abstract Machines within the Research Papers-track
2016
CPP
Committee Member in Program Committee within the CPP-track
Share
x
Thu 23 Apr 02:00