{"@attributes":{"name":"Zuchao Yang","pid":"337\/1054","n":"4"},"person":{"@attributes":{"key":"homepages\/337\/1054","mdate":"2023-01-09"},"author":"Zuchao Yang"},"r":[{"inproceedings":{"@attributes":{"key":"conf\/sigsoft\/YuTXYS0YZLD23","mdate":"2026-03-23"},"author":["Bin Yu 0008","Cong Tian 0001","Hengrui Xing","Zuchao Yang","Jie Su 0002","Xu Lu 0003","Jiyu Yang","Liang Zhao 0021","Xiaofeng Li","Zhenhua Duan"],"title":"Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering.","pages":"1153-1164","year":"2023","booktitle":"ESEC\/SIGSOFT FSE","ee":"https:\/\/doi.org\/10.1145\/3611643.3616276","crossref":"conf\/sigsoft\/2023","url":"db\/conf\/sigsoft\/fse2023.html#YuTXYS0YZLD23"}},{"inproceedings":{"@attributes":{"key":"conf\/tacas\/SuYXYTD23","mdate":"2026-03-23"},"author":["Jie Su 0002","Zuchao Yang","Hengrui Xing","Jiyu Yang","Cong Tian 0001","Zhenhua Duan"],"title":"PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution).","pages":"571-576","year":"2023","booktitle":"TACAS (2)","ee":"https:\/\/doi.org\/10.1007\/978-3-031-30820-8_38","crossref":"conf\/tacas\/2023-2","url":"db\/conf\/tacas\/tacas2023-2.html#SuYXYTD23"}},{"inproceedings":{"@attributes":{"key":"conf\/kbse\/SuTYYYD22","mdate":"2026-03-23"},"author":["Jie Su 0002","Cong Tian 0001","Zuchao Yang","Jiyu Yang","Bin Yu 0008","Zhenhua Duan"],"title":"Prioritized Constraint-Aided Dynamic Partial-Order Reduction.","pages":"78:1-78:13","year":"2022","booktitle":"ASE","ee":["https:\/\/doi.org\/10.1145\/3551349.3561159","https:\/\/www.wikidata.org\/entity\/Q131135122"],"crossref":"conf\/kbse\/2022","url":"db\/conf\/kbse\/ase2022.html#SuTYYYD22"}},{"data":{"@attributes":{"key":"data\/11\/SuYXYTD22","mdate":"2026-03-23"},"author":["Jie Su 0002","Zuchao Yang","Hengrui Xing","Jiyu Yang","Cong Tian 0001","Zhenhua Duan"],"title":"PIChecker for SV-COMP 2023.","year":"2022","month":"December","ee":"https:\/\/doi.org\/10.5281\/zenodo.7471378","publisher":"Zenodo","stream":"streams\/repo\/zenodo","rel":{"@attributes":{"sort":"1","label":"Version v1.0","uri":"https:\/\/doi.org\/10.5281\/zenodo.7471377","type":"versionOf"}}}}],"coauthors":{"@attributes":{"n":"9","nc":"1"},"co":[{"@attributes":{"c":"0"},"na":"Zhenhua Duan"},{"@attributes":{"c":"0"},"na":"Xiaofeng Li"},{"@attributes":{"c":"0"},"na":"Xu Lu 0003"},{"@attributes":{"c":"0"},"na":"Jie Su 0002"},{"@attributes":{"c":"0"},"na":"Cong Tian 0001"},{"@attributes":{"c":"0"},"na":"Hengrui Xing"},{"@attributes":{"c":"0"},"na":"Jiyu Yang"},{"@attributes":{"c":"0"},"na":"Bin Yu 0008"},{"@attributes":{"c":"0"},"na":"Liang Zhao 0021"}]}}