Cited By
View all- Otsuka TIwasaki HMcDonell TVazou N(2023)Haskell Library for Safer Virtual Machine Introspection (Experience Report)Proceedings of the 16th ACM SIGPLAN International Haskell Symposium10.1145/3609026.3609732(89-96)Online publication date: 30-Aug-2023
- Chen ZLafont AO'Connor LKeller GMcLaughlin CJackson VRizkallah C(2023)Dargent: A Silver Bullet for Verified Data Layout RefinementProceedings of the ACM on Programming Languages10.1145/35712407:POPL(1369-1395)Online publication date: 11-Jan-2023
- Sinha RRajamani SSeshia SBodden ESchäfer WDeursen AZisman A(2017)A compiler and verifier for page access oblivious computationProceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering10.1145/3106237.3106248(649-660)Online publication date: 21-Aug-2017
- Show More Cited By