Login / Signup

Marco Patrignani

ORCID

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 42

Top Topics

Operational Semantics
Code Snippets
Provably Secure
Speculative Execution

Top Venues

CoRR
CSF
ACM Trans. Program. Lang. Syst.
Proc. ACM Program. Lang.

Katholieke Universiteit Leuven, Belgium (PHD)

Education History
Katholieke Universiteit Leuven, Belgium

PHD

Publications