%0 Conference Paper %1 conf/usenix/BaiLCH19 %A Bai, Jia-Ju %A Lawall, Julia %A Chen, Qiu-Liang %A Hu, Shi-Min %B USENIX Annual Technical Conference %D 2019 %E Malkhi, Dahlia %E Tsafrir, Dan %I USENIX Association %K dblp %P 255-268 %T Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers. %U http://dblp.uni-trier.de/db/conf/usenix/usenix2019.html#BaiLCH19

@inproceedings{conf/usenix/BaiLCH19, added-at = {2021-02-01T00:00:00.000+0100}, author = {Bai, Jia-Ju and Lawall, Julia and Chen, Qiu-Liang and Hu, Shi-Min}, biburl = {https://www.bibsonomy.org/bibtex/26c5be1f915836391fbbf22626abcdd57/dblp}, booktitle = {USENIX Annual Technical Conference}, crossref = {conf/usenix/2019}, editor = {Malkhi, Dahlia and Tsafrir, Dan}, ee = {https://www.usenix.org/conference/atc19/presentation/bai}, interhash = {7877e6f4a4af6e854288a2649d8b1848}, intrahash = {6c5be1f915836391fbbf22626abcdd57}, keywords = {dblp}, pages = {255-268}, publisher = {USENIX Association}, timestamp = {2024-04-09T19:09:48.000+0200}, title = {Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers.}, url = {http://dblp.uni-trier.de/db/conf/usenix/usenix2019.html#BaiLCH19}, year = 2019 }