Author:
Lu Shan,Park Soyeon,Hu Chongfeng,Ma Xiao,Jiang Weihang,Li Zhenmin,Popa Raluca A.,Zhou Yuanyuan
Cited by
71 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Snowcat: Efficient Kernel Concurrency Testing using a Learned Coverage Predictor;Proceedings of the 29th Symposium on Operating Systems Principles;2023-10-23
3. intCV: Automatically Inferring Correlated Variables in Interrrupt-Driven Program;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22
4. An Empirical Study on Concurrency Bugs in Interrupt-Driven Embedded Software;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
5. Diagnosing Kernel Concurrency Failures with AITIA;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08