{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:45Z","timestamp":1775873565474,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":40,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,6,18]],"date-time":"2021-06-18T00:00:00Z","timestamp":1623974400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1901136"],"award-info":[{"award-number":["1901136"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,6,19]]},"DOI":"10.1145\/3453483.3454084","type":"proceedings-article","created":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T16:58:49Z","timestamp":1624553929000},"page":"899-913","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":31,"title":["SyRust: automatic testing of Rust libraries with semantic-aware program synthesis"],"prefix":"10.1145","author":[{"given":"Yoshiki","family":"Takashima","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Ruben","family":"Martins","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Limin","family":"Jia","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Corina S.","family":"P\u0103s\u0103reanu","sequence":"additional","affiliation":[{"name":"Carnegie Mellon Silicon Valley, USA \/ NASA Ames Research Center, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2018. Built In Rust. https:\/\/www.rust-lang.org\/what\/  2018. Built In Rust. https:\/\/www.rust-lang.org\/what\/"},{"key":"e_1_3_2_1_2_1","unstructured":"2018. CVE-2018-1000810.. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2018-1000810  2018. CVE-2018-1000810.. https:\/\/nvd.nist.gov\/vuln\/detail\/CVE-2018-1000810"},{"key":"e_1_3_2_1_3_1","unstructured":"2020. Built In Rust. https:\/\/doc.rust-lang.org\/nomicon\/lifetime-elision.html  2020. Built In Rust. https:\/\/doc.rust-lang.org\/nomicon\/lifetime-elision.html"},{"key":"e_1_3_2_1_4_1","unstructured":"2020. Rust\u2019s Unsafe Code Guidelines Reference. https:\/\/rust-lang.github.io\/unsafe-code-guidelines\/  2020. Rust\u2019s Unsafe Code Guidelines Reference. https:\/\/rust-lang.github.io\/unsafe-code-guidelines\/"},{"key":"e_1_3_2_1_5_1","unstructured":"2020. Trait and lifetime bounds. https:\/\/doc.rust-lang.org\/reference\/trait-bounds.html  2020. Trait and lifetime bounds. https:\/\/doc.rust-lang.org\/reference\/trait-bounds.html"},{"key":"e_1_3_2_1_6_1","unstructured":"2020. Undefined Behavior in bounded channel. https:\/\/github.com\/RustSec\/advisory-db\/blob\/main\/crates\/crossbeam-channel\/RUSTSEC-2020-0052.md  2020. Undefined Behavior in bounded channel. https:\/\/github.com\/RustSec\/advisory-db\/blob\/main\/crates\/crossbeam-channel\/RUSTSEC-2020-0052.md"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00083"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340456"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_20"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190075"},{"key":"e_1_3_2_1_11_1","unstructured":"D.L. Bowen L.H. Byrd and William Clocksin. 1983. A portable Prolog compiler. In D.A.I. research paper. 9.  D.L. Bowen L.H. Byrd and William Clocksin. 1983. A portable Prolog compiler. In D.A.I. research paper. 9."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.602"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.65"},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). ACM, 599\u2013612","author":"Feng Yu","unstructured":"Yu Feng , Ruben Martins , Yuepeng Wang , Isil Dillig , and Thomas W. Reps . 2017. Component-based synthesis for complex APIs . In Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). ACM, 599\u2013612 . Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, and Thomas W. Reps. 2017. Component-based synthesis for complex APIs. In Proceedings of the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). ACM, 599\u2013612."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371080"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2019.23263"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the USENIX Security Symposium. USENIX Association, USA. 445\u2013458","author":"Holler Christian","year":"2012","unstructured":"Christian Holler , Kim Herzig , and Andreas Zeller . 2012 . Fuzzing with Code Fragments . In Proceedings of the USENIX Security Symposium. USENIX Association, USA. 445\u2013458 . Christian Holler, Kim Herzig, and Andreas Zeller. 2012. Fuzzing with Code Fragments. In Proceedings of the USENIX Security Symposium. USENIX Association, USA. 445\u2013458."},{"key":"e_1_3_2_1_18_1","first-page":"17","volume-title":"Proceedings of the USENIX Security Symposium. USENIX Association, 2271\u20132287","author":"Ispoglou Kyriakos","year":"2020","unstructured":"Kyriakos Ispoglou , Daniel Austin , Vishwath Mohan , and Mathias Payer . 2020 . FuzzGen: Automatic Fuzzer Generation . In Proceedings of the USENIX Security Symposium. USENIX Association, 2271\u20132287 . isbn:978-1-939133- 17 - 15 Kyriakos Ispoglou, Daniel Austin, Vishwath Mohan, and Mathias Payer. 2020. FuzzGen: Automatic Fuzzer Generation. In Proceedings of the USENIX Security Symposium. USENIX Association, 2271\u20132287. isbn:978-1-939133-17-5"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806833"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371109"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158154"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE, 519\u2013528","author":"Kim Y.","unstructured":"Y. Kim , Y. Kim , Taeksu Kim , Gunwoo Lee , Y. Jang , and M. Kim . 2013. Automated unit testing of large industrial embedded software using concolic testing . In Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE, 519\u2013528 . Y. Kim, Y. Kim, Taeksu Kim, Gunwoo Lee, Y. Jang, and M. Kim. 2013. Automated unit testing of large industrial embedded software using concolic testing. In Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE, 519\u2013528."},{"key":"e_1_3_2_1_23_1","unstructured":"Linux Test Project. 2020. lcov 1.15. https:\/\/github.com\/linux-test-project\/lcov  Linux Test Project. 2020. lcov 1.15. https:\/\/github.com\/linux-test-project\/lcov"},{"key":"e_1_3_2_1_24_1","volume-title":"Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE Computer Society, 842\u2013847","author":"Ma L.","unstructured":"L. Ma , C. Artho , C. Zhang , H. Sato , J. Gmeiner , and R. Ramler . 2015. GRT: An Automated Test Generator Using Orchestrated Program Analysis . In Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE Computer Society, 842\u2013847 . L. Ma, C. Artho, C. Zhang, H. Sato, J. Gmeiner, and R. Ramler. 2015. GRT: An Automated Test Generator Using Orchestrated Program Analysis. In Proceedings of the International Conference on Automated Software Engineering (ASE). IEEE Computer Society, 842\u2013847."},{"key":"e_1_3_2_1_25_1","unstructured":"Mozilla. 2021. grcov v0.7.1. https:\/\/github.com\/mozilla\/grcov  Mozilla. 2021. grcov v0.7.1. https:\/\/github.com\/mozilla\/grcov"},{"key":"e_1_3_2_1_26_1","unstructured":"Scott Olson. [n.d.]. Miri. https:\/\/github.com\/rust-lang\/miri  Scott Olson. [n.d.]. Miri. https:\/\/github.com\/rust-lang\/miri"},{"key":"e_1_3_2_1_27_1","volume-title":"Feedback-directed Random Test Generation","author":"Pacheco Carlos","unstructured":"Carlos Pacheco , Shuvendu Lahiri , Michael D. Ernst , and Thomas Ball . 2006. Feedback-directed Random Test Generation . Massachusetts Institute of Technology , 14. https:\/\/www.microsoft.com\/en-us\/research\/publication\/feedback-directed-random-test-generation\/ Carlos Pacheco, Shuvendu Lahiri, Michael D. Ernst, and Thomas Ball. 2006. Feedback-directed Random Test Generation. Massachusetts Institute of Technology, 14. https:\/\/www.microsoft.com\/en-us\/research\/publication\/feedback-directed-random-test-generation\/"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386036"},{"key":"e_1_3_2_1_29_1","volume-title":"Patina: A formalization of the Rust programming language","author":"Reed Eric","year":"2015","unstructured":"Eric Reed . 2015 . Patina: A formalization of the Rust programming language . University of Washington. Eric Reed. 2015. Patina: A formalization of the Rust programming language. University of Washington."},{"key":"e_1_3_2_1_30_1","unstructured":"Rust Foundation. 2020. cargo 1.47.0.  Rust Foundation. 2020. cargo 1.47.0."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11558-0_52"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1184\/R1\/14356949"},{"key":"e_1_3_2_1_33_1","article-title":"GNU Parallel - The Command-Line Power Tool. ;login","volume":"36","author":"Tange O.","year":"2011","unstructured":"O. Tange . 2011 . GNU Parallel - The Command-Line Power Tool. ;login : The USENIX Magazine , 36 , 1 (2011), Feb, 42\u201347. http:\/\/www.gnu.org\/s\/parallel O. Tange. 2011. GNU Parallel - The Command-Line Power Tool. ;login: The USENIX Magazine, 36, 1 (2011), Feb, 42\u201347. http:\/\/www.gnu.org\/s\/parallel","journal-title":"The USENIX Magazine"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.77"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, 44\u201351","author":"Wang F.","unstructured":"F. Wang , F. Song , M. Zhang , X. Zhu , and J. Zhang . 2018. KRust: A Formal Executable Semantics of Rust . In Proceedings of the International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, 44\u201351 . F. Wang, F. Song, M. Zhang, X. Zhu, and J. Zhang. 2018. KRust: A Formal Executable Semantics of Rust. In Proceedings of the International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE Computer Society, 44\u201351."},{"key":"e_1_3_2_1_36_1","volume-title":"Oxide: The Essence of Rust. CoRR, abs\/1903.00982","author":"Weiss Aaron","year":"2019","unstructured":"Aaron Weiss , Daniel Patterson , Nicholas D. Matsakis , and Amal Ahmed . 2019 . Oxide: The Essence of Rust. CoRR, abs\/1903.00982 (2019), arxiv:1903.00982. arxiv:1903.00982 Aaron Weiss, Daniel Patterson, Nicholas D. Matsakis, and Amal Ahmed. 2019. Oxide: The Essence of Rust. CoRR, abs\/1903.00982 (2019), arxiv:1903.00982. arxiv:1903.00982"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516736"},{"key":"e_1_3_2_1_38_1","unstructured":"Hui Xu Zhuangbin Chen Mingshen Sun and Yangfan Zhou. 2020. Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs. arxiv:2003.03296. arxiv:2003.03296  Hui Xu Zhuangbin Chen Mingshen Sun and Yangfan Zhou. 2020. Memory-Safety Challenge Considered Solved? An Empirical Study with All Rust CVEs. arxiv:2003.03296. arxiv:2003.03296"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"},{"key":"e_1_3_2_1_40_1","volume-title":"The Fuzzing Book","author":"Zeller Andreas","year":"2019","unstructured":"Andreas Zeller , Rahul Gopinath , Marcel B\u00f6hme , Gordon Fraser , and Christian Holler . 2019. Fuzzing APIs . In The Fuzzing Book . Saarland University . https:\/\/www.fuzzingbook.org\/html\/APIFuzzer.html Retrieved 2019 -12-17 16:45:28+01:00. Andreas Zeller, Rahul Gopinath, Marcel B\u00f6hme, Gordon Fraser, and Christian Holler. 2019. Fuzzing APIs. In The Fuzzing Book. Saarland University. https:\/\/www.fuzzingbook.org\/html\/APIFuzzer.html Retrieved 2019-12-17 16:45:28+01:00."}],"event":{"name":"PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"Virtual Canada","acronym":"PLDI '21","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454084","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454084","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3453483.3454084","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:48Z","timestamp":1750193268000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3453483.3454084"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,18]]},"references-count":40,"alternative-id":["10.1145\/3453483.3454084","10.1145\/3453483"],"URL":"https:\/\/doi.org\/10.1145\/3453483.3454084","relation":{},"subject":[],"published":{"date-parts":[[2021,6,18]]},"assertion":[{"value":"2021-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}