Cited By
View all- Doenges RKappé TSarracino JFoster NMorrisett GJhala RDillig I(2022)Leapfrog: certified equivalence for protocol parsersProceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation10.1145/3519939.3523715(950-965)Online publication date: 9-Jun-2022
- Porncharoenwase SNelson LWang XTorlak E(2022)A formal foundation for symbolic evaluation with mergingProceedings of the ACM on Programming Languages10.1145/34987096:POPL(1-28)Online publication date: 12-Jan-2022
- Nelson LBornholt JGu RBaumann ATorlak EWang XBrecht TWilliamson C(2019)Scaling symbolic evaluation for automated verification of systems code with ServalProceedings of the 27th ACM Symposium on Operating Systems Principles10.1145/3341301.3359641(225-242)Online publication date: 27-Oct-2019
- Show More Cited By