Cited By
View all- Dak Albab KAgvanian AAby ATiffany CPortland ARidley SSchwarzkopf MWitchel EArpaci-Dusseau ARossbach CKeeton K(2024)Sesame: Practical End-to-End Privacy Compliance with Policy Containers and Privacy RegionsProceedings of the ACM SIGOPS 30th Symposium on Operating Systems Principles10.1145/3694715.3695984(709-725)Online publication date: 4-Nov-2024
- Zhou LWan QOliveira B(2024)Full Iso-Recursive TypesProceedings of the ACM on Programming Languages10.1145/36897188:OOPSLA2(192-221)Online publication date: 8-Oct-2024
- Chen JVargas de Mendonça JJalili SAyele BBekele BQu ZSharma PShiferaw TZhang YJeannin JArtho CÖlveczky P(2022)Synchronous Programming and Refinement Types in Robotics: From Verification to ImplementationProceedings of the 8th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems10.1145/3563822.3568015(68-79)Online publication date: 29-Nov-2022
- Show More Cited By