Login / Signup
Aidan Denlinger
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Execution Model
Memory Management
Control Flow
Java Virtual Machine
Top Venues
Proc. ACM Program. Lang.
CoRR
</>
Publications
</>
Alexandra E. Michael
,
Anitha Gollamudi
,
Jay Bosamiya
,
Evan Johnson
,
Aidan Denlinger
,
Craig Disselkoen
,
Conrad Watt
,
Bryan Parno
,
Marco Patrignani
,
Marco Vassena
,
Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
Proc. ACM Program. Lang.
7 (POPL) (2023)
Alexandra E. Michael
,
Anitha Gollamudi
,
Jay Bosamiya
,
Craig Disselkoen
,
Aidan Denlinger
,
Conrad Watt
,
Bryan Parno
,
Marco Patrignani
,
Marco Vassena
,
Deian Stefan
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code.
CoRR
(2022)