Cited By
View all- Diatchki IDodds MGoldstein HHarris BHolland DRazet BSchlesinger CWinwood S(2024)Daedalus: Safer Document ParsingProceedings of the ACM on Programming Languages10.1145/36564108:PLDI(816-840)Online publication date: 20-Jun-2024
- Chataing NDolan SScherer GYallop J(2024)Unboxed Data Constructors: Or, How cpp Decides a Halting ProblemProceedings of the ACM on Programming Languages10.1145/36328938:POPL(1509-1539)Online publication date: 5-Jan-2024
- 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
- Show More Cited By