Funder
NSF
Google Faculty Research Award
Reference33 articles.
1. FreeSentry: Protecting Against Use-After-Free Vulnerabilities Due to Dangling Pointers
2. Preventing Use-after-free with Dangling Pointers Nullification
3. DoubleTake
4. AddressSanitizer. https://github.com/google/sanitizers/wiki/AddressSanitizer. AddressSanitizer. https://github.com/google/sanitizers/wiki/AddressSanitizer.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06
2. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05
3. Coarser Equivalences for Causal Concurrency;Proceedings of the ACM on Programming Languages;2024-01-05
4. Sound Dynamic Deadlock Prediction in Linear Time;Proceedings of the ACM on Programming Languages;2023-06-06
5. Sound Predictive Fuzzing for Multi-threaded Programs;2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC);2023-06