Login / Signup
Jade Alglave
Publication Activity (10 Years)
Years Active: 2009-2021
Publications (10 Years): 9
Top Topics
Computational Power
Partial Order
Memory Space
Static Analysis
Top Venues
CoRR
CAV
ACM Trans. Program. Lang. Syst.
PLDI
</>
Publications
</>