Author:
Tuch Harvey,Klein Gerwin,Norrish Michael
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. OpenBSD Formal Driver Verification with SeL4;Innovative Security Solutions for Information Technology and Communications;2024
2. Verified compilation of C programs with a nominal memory model;Proceedings of the ACM on Programming Languages;2022-01-12
3. VIP: verifying real-world C idioms with integer-pointer casts;Proceedings of the ACM on Programming Languages;2022-01-12
4. CSim
2;ACM Transactions on Programming Languages and Systems;2021-03-31
5. Exploring C semantics and pointer provenance;Proceedings of the ACM on Programming Languages;2019-01-02