Cited By
View all- Zhang JMorrisett GTan G(2023)Interval Parsing Grammars for File Format ParsingProceedings of the ACM on Programming Languages10.1145/35912647:PLDI(1073-1095)Online publication date: 6-Jun-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
- Eichholz MCampbell EKrebs MFoster NMezini M(2022)Dependently-typed data plane programmingProceedings of the ACM on Programming Languages10.1145/34987016:POPL(1-28)Online publication date: 12-Jan-2022
- Show More Cited By