research
∙
07/25/2019
An Introduction to Logical Relations
Logical relations (LR) have been around for many years, and today they a...
share
research
∙
02/14/2019
Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management - Technical Appendix Including Proofs and Details
We propose a calling convention for capability machines with local capab...
research
∙
11/07/2018
