Cited By
View all- Bansal S(2023)StaticPersist: Compiler Support for PMEM ProgrammingVerification, Model Checking, and Abstract Interpretation10.1007/978-3-031-24950-1_3(44-65)Online publication date: 16-Jan-2023
- Wang YLiu JZhang DQiu XLee JPetrank E(2021)Reasoning about recursive tree traversalsProceedings of the 26th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming10.1145/3437801.3441617(47-61)Online publication date: 17-Feb-2021
- Seidl HErhard JVogler R(2020)Incremental Abstract InterpretationFrom Lambda Calculus to Cybersecurity Through Program Analysis10.1007/978-3-030-41103-9_5(132-148)Online publication date: 15-Feb-2020
- Show More Cited By