Login / Signup
Kayvan Memarian
ORCID
Publication Activity (10 Years)
Years Active: 2012-2024
Publications (10 Years): 8
Top Topics
Semantic Data Models
Operational Semantics
Programming Language
Provenance Information
Top Venues
Proc. ACM Program. Lang.
PLDI
OOPSLA
CAV (1)
</>
Publications
</>