Hongyu Fan, Weiting Liu, Fei He 0001. Interference relation-guided SMT solving for multi-threaded program verification. In Jaejin Lee, Kunal Agrawal, Michael F. Spear, editors, PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022. pages 163-176, ACM, 2022. [doi]
@inproceedings{FanL022, title = {Interference relation-guided SMT solving for multi-threaded program verification}, author = {Hongyu Fan and Weiting Liu and Fei He 0001}, year = {2022}, doi = {10.1145/3503221.3508424}, url = {https://doi.org/10.1145/3503221.3508424}, researchr = {https://researchr.org/publication/FanL022}, cites = {0}, citedby = {0}, pages = {163-176}, booktitle = {PPoPP '22: 27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Seoul, Republic of Korea, April 2 - 6, 2022}, editor = {Jaejin Lee and Kunal Agrawal and Michael F. Spear}, publisher = {ACM}, isbn = {978-1-4503-9204-4}, }