{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:18Z","timestamp":1750220358581,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,8,18]],"date-time":"2021-08-18T00:00:00Z","timestamp":1629244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,20]]},"DOI":"10.1145\/3468264.3473108","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:40:03Z","timestamp":1629337203000},"page":"1495-1499","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["LLSC: a parallel symbolic execution compiler for LLVM IR"],"prefix":"10.1145","author":[{"given":"Guannan","family":"Wei","sequence":"first","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shangyin","family":"Tan","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oliver","family":"Bra\u010devac","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiark","family":"Rompf","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"unstructured":"2021. klee-uclibc. https:\/\/github.com\/klee\/klee-uclibc Accessed: 2021-05-06.  2021. klee-uclibc. https:\/\/github.com\/klee\/klee-uclibc Accessed: 2021-05-06.","key":"e_1_3_2_1_1_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/3182657"},{"volume-title":"Handbook of Model Checking","author":"Barrett Clark","unstructured":"Clark Barrett and Cesare Tinelli . 2018. Satisfiability modulo theories . In Handbook of Model Checking . Springer , 305\u2013343. Clark Barrett and Cesare Tinelli. 2018. Satisfiability modulo theories. In Handbook of Model Checking. Springer, 305\u2013343.","key":"e_1_3_2_1_3_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/800027.808445"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1145\/1966445.1966463"},{"key":"e_1_3_2_1_6_1","volume-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908)","author":"Cadar Cristian","year":"2008","unstructured":"Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908) . USENIX Association, USA. 209\u2013224. Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation (OSDI\u201908). USENIX Association, USA. 209\u2013224."},{"key":"e_1_3_2_1_7_1","first-page":"45","article-title":"Partial evaluation of computation process-an approach to a compiler-compiler. Systems, Computers","volume":"25","author":"Futamura Yoshihiko","year":"1971","unstructured":"Yoshihiko Futamura . 1971 . Partial evaluation of computation process-an approach to a compiler-compiler. Systems, Computers , Controls , 25 (1971), 45 \u2013 50 . Yoshihiko Futamura. 1971. Partial evaluation of computation process-an approach to a compiler-compiler. Systems, Computers, Controls, 25 (1971), 45\u201350.","journal-title":"Controls"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1023\/A:1010095604496"},{"key":"e_1_3_2_1_9_1","volume-title":"Dill","author":"Ganesh Vijay","year":"2007","unstructured":"Vijay Ganesh and David L . Dill . 2007 . A Decision Procedure for Bit-Vectors and Arrays. In Computer Aided Verification, Werner Damm and Holger Hermanns (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg. 519\u2013531. isbn:978-3-540-73368-3 Vijay Ganesh and David L. Dill. 2007. A Decision Procedure for Bit-Vectors and Arrays. In Computer Aided Verification, Werner Damm and Holger Hermanns (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg. 519\u2013531. isbn:978-3-540-73368-3"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1093\/comjnl\/32.2.98"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/360248.360252"},{"volume-title":"The Design and Implementation of BER MetaOCaml","author":"Kiselyov Oleg","unstructured":"Oleg Kiselyov . 2014. The Design and Implementation of BER MetaOCaml . In Functional and Logic Programming, Michael Codish and Eijiro Sumii (Eds.). Springer International Publishing , Cham . 86\u2013102. isbn:978-3-319-07151-0 Oleg Kiselyov. 2014. The Design and Implementation of BER MetaOCaml. In Functional and Logic Programming, Michael Codish and Eijiro Sumii (Eds.). Springer International Publishing, Cham. 86\u2013102. isbn:978-3-319-07151-0","key":"e_1_3_2_1_12_1"},{"volume-title":"Programming in scala","author":"Odersky Martin","unstructured":"Martin Odersky , Lex Spoon , and Bill Venners . 2008. Programming in scala . Artima Inc . Martin Odersky, Lex Spoon, and Bill Venners. 2008. Programming in scala. Artima Inc.","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","volume-title":"The Definitive ANTLR 4 Reference","author":"Parr Terence","year":"1934","unstructured":"Terence Parr . 2013. The Definitive ANTLR 4 Reference ( 2 nd ed.). Pragmatic Bookshelf . isbn: 1934 356999 Terence Parr. 2013. The Definitive ANTLR 4 Reference (2nd ed.). Pragmatic Bookshelf. isbn:1934356999","edition":"2"},{"key":"e_1_3_2_1_15_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Poeplau Sebastian","year":"2020","unstructured":"Sebastian Poeplau and Aur\u00e9lien Francillon . 2020 . Symbolic execution with SymCC: Don\u2019t interpret, compile! . In 29th USENIX Security Symposium (USENIX Security 20) . USENIX Association, 181\u2013198. isbn:978-1-939133-17-5 https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/poeplau Sebastian Poeplau and Aur\u00e9lien Francillon. 2020. Symbolic execution with SymCC: Don\u2019t interpret, compile!. In 29th USENIX Security Symposium (USENIX Security 20). USENIX Association, 181\u2013198. isbn:978-1-939133-17-5 https:\/\/www.usenix.org\/conference\/usenixsecurity20\/presentation\/poeplau"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1145\/1858996.1859035"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/3110260"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.1145\/1868294.1868314"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_19_1","DOI":"10.1145\/636517.636528"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1145\/3278122.3278139"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1016\/S0304-3975(00)00053-0"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/2594291.2594340"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1145\/143165.143169"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/3428232"},{"key":"e_1_3_2_1_25_1","volume-title":"27th USENIX Security Symposium, USENIX Security 2018","author":"Yun Insu","year":"2018","unstructured":"Insu Yun , Sangho Lee , Meng Xu , Yeongjin Jang , and Taesoo Kim . 2018 . QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing . In 27th USENIX Security Symposium, USENIX Security 2018 , Baltimore, MD, USA , August 15-17, 2018, William Enck and Adrienne Porter Felt (Eds.). USENIX Association, 745\u2013761. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/yun Insu Yun, Sangho Lee, Meng Xu, Yeongjin Jang, and Taesoo Kim. 2018. QSYM : A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing. In 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15-17, 2018, William Enck and Adrienne Porter Felt (Eds.). USENIX Association, 745\u2013761. https:\/\/www.usenix.org\/conference\/usenixsecurity18\/presentation\/yun"}],"event":{"sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"acronym":"ESEC\/FSE '21","name":"ESEC\/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Athens Greece"},"container-title":["Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3473108","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3473108","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:22Z","timestamp":1750191442000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3473108"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":25,"alternative-id":["10.1145\/3468264.3473108","10.1145\/3468264"],"URL":"https:\/\/doi.org\/10.1145\/3468264.3473108","relation":{},"subject":[],"published":{"date-parts":[[2021,8,18]]},"assertion":[{"value":"2021-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}