Cited By
View all- Xu QSanan DHou ZLuan XWatt CLiu Y(2025)Generically Automating Separation Logic by Functors, Homomorphisms, and ModulesProceedings of the ACM on Programming Languages10.1145/37049039:POPL(1992-2024)Online publication date: 9-Jan-2025
- Zhang YKoenig JShao ZWang Y(2025)Unifying Compositional Verification and Certified Compilation with a Three-Dimensional Refinement AlgebraProceedings of the ACM on Programming Languages10.1145/37049009:POPL(1903-1933)Online publication date: 9-Jan-2025
- Zou MDu DDong MChen HGavrilovska ATerry D(2024)Using dynamically layered definite releases for verifying the RefFS file systemProceedings of the 18th USENIX Conference on Operating Systems Design and Implementation10.5555/3691938.3691972(629-648)Online publication date: 10-Jul-2024
- Show More Cited By