{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T09:04:03Z","timestamp":1774602243025,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1840934, 1816951"],"award-info":[{"award-number":["1840934, 1816951"]}],"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":[[2022,5,21]]},"DOI":"10.1145\/3510003.3512763","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"2056-2067","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["SugarC"],"prefix":"10.1145","author":[{"given":"Zachary","family":"Patterson","sequence":"first","affiliation":[{"name":"The University of Texas at Dallas"}]},{"given":"Zenong","family":"Zhang","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas"}]},{"given":"Brent","family":"Pappas","sequence":"additional","affiliation":[{"name":"University of Central Florida"}]},{"given":"Shiyi","family":"Wei","sequence":"additional","affiliation":[{"name":"The University of Texas at Dallas"}]},{"given":"Paul","family":"Gazzillo","sequence":"additional","affiliation":[{"name":"University of Central Florida"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149119"},{"key":"e_1_3_2_1_2_1","unstructured":"A.V. Aho A.V. Aho R. Sethi J.D. Ullman and J.D. Ullman. 1986. Compilers Principles Techniques and Tools. Addison-Wesley Publishing Company."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-010-0066-8"},{"key":"e_1_3_2_1_4_1","unstructured":"axTLS. 2016. axTLS Embedded SSL. http:\/\/axtls.sourceforge.net"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491976"},{"key":"e_1_3_2_1_6_1","unstructured":"Busybox. 2021. BUSYBOX. https:\/\/busybox.net"},{"key":"e_1_3_2_1_7_1","unstructured":"CBMC. 2021. C Bounded Model Checker. https:\/\/github.com\/diffblue\/cbmc"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the 25th International Conference on Software Engineering","author":"Cohen Myra B.","unstructured":"Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugridge, and Charles J. Colbourn. 2003. Constructing test suites for interaction testing. In Proceedings of the 25th International Conference on Software Engineering (Portland, Oregon) (ICSE '03). IEEE Computer Society, Washington, DC, USA, 38--48. http:\/\/dl.acm.org\/citation.cfm?id=776816.776822"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063239.2063245"},{"key":"e_1_3_2_1_12_1","unstructured":"Florian Garbe. 2017. Performance Measurement of C Software Product lines. Master's thesis."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Alejandra Garrido and Ralph Johnson. 2005. Analyzing Multiple Configurations of a C Program. In ICSM. 379--388.","DOI":"10.1109\/ICSM.2005.23"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSBSE.2009.25"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106283"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254103"},{"key":"e_1_3_2_1_17_1","unstructured":"gnu. 2014. GNU Bison. https:\/\/www.gnu.org\/software\/bison\/"},{"key":"e_1_3_2_1_18_1","unstructured":"gnu. 2019. Using the GNU Compiler Collection (GCC). https:\/\/gcc.gnu.org\/onlinedocs\/gcc-9.4.0\/gcc\/"},{"key":"e_1_3_2_1_19_1","unstructured":"Hercules. 2017. Hercules. https:\/\/github.com\/joliebig\/Hercules"},{"key":"e_1_3_2_1_20_1","unstructured":"Infer. 2021. Infer static analyzer. https:\/\/github.com\/facebook\/infer"},{"key":"e_1_3_2_1_21_1","volume-title":"Effective Analysis of C Programs by Rewriting Variability. CoRR","author":"Iosif-Lazar Alexandru Florin","year":"2017","unstructured":"Alexandru Florin Iosif-Lazar, Jean Melo, Aleksandar S. Dimovski, Claus Brabrand, and Andrzej Wasowski. 2017. Effective Analysis of C Programs by Rewriting Variability. CoRR (2017)."},{"key":"e_1_3_2_1_22_1","volume-title":"International Organization for Standardization","author":"ISO.","unstructured":"ISO. 2011. ISO\/IECC 9899:2011 Information technology --- Programming languages --- C. International Organization for Standardization, Geneva, Switzerland. 683 (est.) pages. http:\/\/www.iso.org\/iso\/iso_catalogue\/catalogue_tc\/catalogue_detail.htm?csnumber=57853"},{"key":"e_1_3_2_1_23_1","volume-title":"Type checking annotation-based product lines. ACM Transactions on Software Engineering and Methodology (TOSEM) 21","author":"K\u00e4stner Christian","year":"2012","unstructured":"Christian K\u00e4stner, Sven Apel, Thomas Th\u00fcm, and Gunter Saake. 2012. Type checking annotation-based product lines. ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (2012)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048128"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Christian K\u00e4stner Klaus Ostermann and Sebastian Erdweg. 2012. A Variability-aware Module System. In OOPSLA. ACM 773--792.","DOI":"10.1145\/2398857.2384673"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_28_1","unstructured":"Alex Lazar and Jean Melo. 2017. C Re configurator. https:\/\/github.com\/itu-square\/c-reconfigurator"},{"key":"e_1_3_2_1_29_1","unstructured":"libssh. 2021. The SSH library! https:\/\/www.libssh.org\/"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806819"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.57"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884831"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","unstructured":"Austin Mordahl. 2019. Toward Detection and Characterization of Variability Bugs in Configurable C Software: An Empirical Study. In 2019 IEEE\/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion). 153--155. 10.1109\/ICSE-Companion.2019.00064","DOI":"10.1109\/ICSE-Companion.2019.00064"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","unstructured":"Zachary Patterson Zenong Zhang Brent Pappas Shiyi Wei and Paul Gazzillo. 2021. SugarC: Scalable Desugaring of Real-World Preprocessor Usage into Pure C. 10.5281\/zenodo.5915048","DOI":"10.5281\/zenodo.5915048"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3280986"},{"key":"e_1_3_2_1_39_1","unstructured":"Toybox. 2021. Toybox. https:\/\/github.com\/landley\/toybox"},{"key":"e_1_3_2_1_40_1","unstructured":"ubuntu. 2018. Ubuntu 16.04.7 LTS (Xenial Xerus). https:\/\/releases.ubuntu.com\/16.04\/"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3280986"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/jjlamp.2015.06.007"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661143"},{"key":"e_1_3_2_1_45_1","unstructured":"John Whaley. 2007. JavaBDD. http:\/\/javabdd.sourceforge.net\/."},{"key":"e_1_3_2_1_46_1","unstructured":"xtend. 2021. Java with spice! http:\/\/www.eclipse.org\/xtend\/"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.8"}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3512763","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3512763","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3512763","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:24Z","timestamp":1750191144000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3512763"}},"subtitle":["scalable desugaring of real-world preprocessor usage into pure C"],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":45,"alternative-id":["10.1145\/3510003.3512763","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3512763","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}