Cited By
View all- Khakpour NHong JPark J(2024)Verification of Concurrent Machine Code Running on a Single-Core MachineProceedings of the 39th ACM/SIGAPP Symposium on Applied Computing10.1145/3605098.3635924(1675-1683)Online publication date: 8-Apr-2024
- Patterson DWagner AAhmed ACong YDagand P(2023)Semantic Encapsulation using Linking TypesProceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development10.1145/3609027.3609405(14-28)Online publication date: 30-Aug-2023
- Liu ZStepanenko SPichon-Pharabod JTimany AAskarov ABirkedal L(2023)VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-AProceedings of the ACM on Programming Languages10.1145/35912797:PLDI(1438-1462)Online publication date: 6-Jun-2023
- Show More Cited By