Yizhuo Zhai, Yu Hao, Hang Zhang, Daimeng Wang, Chengyu Song, Zhiyun Qian, Mohsen Lesani, Srikanth V. Krishnamurthy, Paul Yu. UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel. In Prem Devanbu, Myra B. Cohen, Thomas Zimmermann 0001, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. pages 221-232, ACM, 2020. [doi]
@inproceedings{ZhaiHZWSQLKY20, title = {UBITect: a precise and scalable method to detect use-before-initialization bugs in Linux kernel}, author = {Yizhuo Zhai and Yu Hao and Hang Zhang and Daimeng Wang and Chengyu Song and Zhiyun Qian and Mohsen Lesani and Srikanth V. Krishnamurthy and Paul Yu}, year = {2020}, doi = {10.1145/3368089.3409686}, url = {https://doi.org/10.1145/3368089.3409686}, researchr = {https://researchr.org/publication/ZhaiHZWSQLKY20}, cites = {0}, citedby = {0}, pages = {221-232}, booktitle = {ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020}, editor = {Prem Devanbu and Myra B. Cohen and Thomas Zimmermann 0001}, publisher = {ACM}, isbn = {978-1-4503-7043-1}, }