%0 Conference Paper %1 conf/sigsoft/CaiYSZ22 %A Cai, Yuandao %A Ye, Chengfeng %A Shi, Qingkai %A Zhang, Charles %B ESEC/SIGSOFT FSE %D 2022 %E Roychoudhury, Abhik %E Cadar, Cristian %E Kim, Miryung %I ACM %K dblp %P 784-796 %T Peahen: fast and precise static deadlock detection via context reduction. %U http://dblp.uni-trier.de/db/conf/sigsoft/fse2022.html#CaiYSZ22 %@ 978-1-4503-9413-0

@inproceedings{conf/sigsoft/CaiYSZ22, added-at = {2024-04-10T00:00:00.000+0200}, author = {Cai, Yuandao and Ye, Chengfeng and Shi, Qingkai and Zhang, Charles}, biburl = {https://www.bibsonomy.org/bibtex/226d7aa2ab9bb1fca8d498c7c841b05c8/dblp}, booktitle = {ESEC/SIGSOFT FSE}, crossref = {conf/sigsoft/2022}, editor = {Roychoudhury, Abhik and Cadar, Cristian and Kim, Miryung}, ee = {https://doi.org/10.1145/3540250.3549110}, interhash = {493d203281cad95154fa0501a44d10cb}, intrahash = {26d7aa2ab9bb1fca8d498c7c841b05c8}, isbn = {978-1-4503-9413-0}, keywords = {dblp}, pages = {784-796}, publisher = {ACM}, timestamp = {2024-04-12T14:47:21.000+0200}, title = {Peahen: fast and precise static deadlock detection via context reduction.}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2022.html#CaiYSZ22}, year = 2022 }