Login / Signup
Marco Vassena
ORCID
Publication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 18
Top Topics
Information Flow Control
Coarse Grained
Manual Labeling
Turning Points
Top Venues
CoRR
Proc. ACM Program. Lang.
CSF
PLAS@CCS
</>
Publications
</>