{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T02:04:07Z","timestamp":1771466647553,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,1,5]],"date-time":"2024-01-05T00:00:00Z","timestamp":1704412800000},"content-version":"vor","delay-in-days":452,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA864921P0206"],"award-info":[{"award-number":["FA864921P0206"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3556937","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["SA4U: Practical Static Analysis for Unit Type Error Detection"],"prefix":"10.1145","author":[{"given":"Max","family":"Taylor","sequence":"first","affiliation":[{"name":"The Ohio State University, United States"}]},{"given":"Johnathon","family":"Aurand","sequence":"additional","affiliation":[{"name":"The Ohio State University, USA"}]},{"given":"Feng","family":"Qin","sequence":"additional","affiliation":[{"name":"The Ohio State University, USA"}]},{"given":"Xiaorui","family":"Wang","sequence":"additional","affiliation":[{"name":"The Ohio State University, USA"}]},{"given":"Brandon","family":"Henry","sequence":"additional","affiliation":[{"name":"Tangram Flex, USA"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, United States of America"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. ArduPilot. https:\/\/ardupilot.org."},{"key":"e_1_3_2_1_2_1","unstructured":"2021. CaliperSharp. https:\/\/github.com\/point85\/CaliperSharp."},{"key":"e_1_3_2_1_3_1","unstructured":"2021. MAVLink. https:\/\/mavlink.io."},{"key":"e_1_3_2_1_4_1","unstructured":"2021. PX4: Open Source Autopilot for Drone Developers. https:\/\/px4.io."},{"key":"e_1_3_2_1_5_1","unstructured":"2021. ROS - Robot Operating System. https:\/\/www.ros.org."},{"key":"e_1_3_2_1_6_1","unstructured":"2022. Clang Tools. https:\/\/clang.llvm.org\/docs\/ClangTools.html."},{"key":"e_1_3_2_1_7_1","unstructured":"2022. libclang. https:\/\/clang.llvm.org\/doxygen\/group__CINDEX.html."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029008"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038633.2038636"},{"key":"e_1_3_2_1_10_1","unstructured":"Bureau International des Poids et Mesures. 2019. The International System of Units (SI). https:\/\/www.bipm.org\/documents\/20126\/41483022\/SI-Brochure-9-EN.pdf\/2d2b50bf-f2b4-9661-f402-5f9d66e4b507."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416548"},{"key":"e_1_3_2_1_12_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems, C.\u00a0R","author":"de Moura Leonardo","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C.\u00a0R. Ramakrishnanand Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337\u2013340."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"Matthew Duquette. [n. d.]. The Common Mission Automation Services Interface. https:\/\/doi.org\/10.2514\/6.2011-1542 arXiv:https:\/\/arc.aiaa.org\/doi\/pdf\/10.2514\/6.2011-1542","DOI":"10.2514\/6.2011-1542"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2000.870435"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134323"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/359488.359501"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468608"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236035"},{"key":"e_1_3_2_1_19_1","volume-title":"2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)(IEEE Cat. No. 04CH37566)","author":"Koenig Nathan","unstructured":"Nathan Koenig and Andrew Howard. [n. d.]. Design and use paradigms for gazebo, an open-source multi-robot simulator. In 2004 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)(IEEE Cat. No. 04CH37566), Vol.\u00a03. IEEE, 2149\u20132154."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2926"},{"key":"e_1_3_2_1_21_1","unstructured":"Meyer Carl. 2017. Let your code type-hint itself: introducing open source MonkeyType. https:\/\/instagram-engineering.com\/let-your-code-type-hint-itself-introducing-open-source-monkeytype-a855c7284881."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092722"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098219"},{"key":"e_1_3_2_1_24_1","unstructured":"Kathy Sawyer. 1999. Mystery of Orbiter Crash Solved. https:\/\/www.washingtonpost.com\/wp-srv\/national\/longterm\/space\/stories\/orbiter100199.htm."},{"key":"e_1_3_2_1_25_1","unstructured":"Matthias Schabel and Steven Watanabe. 2008. Boost.Units 1.0.0. http:\/\/boost.cowic.de\/rc\/pdf\/units.pdf."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICUAS51884.2021.9476844"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN48987.2021.00057"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.29007\/hggx"},{"key":"e_1_3_2_1_29_1","unstructured":"Massimo Trella Ellen Herring Richard Freeman William Kilpatrick Alan Reth Michael Greenfield John Credland Robert Laine Dino Machi and Alan Smith. 1998. SOHO MISSION INTERRUPTION JOINT ESA\/NASA INVESTIGATION. https:\/\/umbra.nascom.nasa.gov\/soho\/SOHO_final_report.html."}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","location":"Rochester MI USA","acronym":"ASE '22"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556937","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556937","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556937","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T08:31:05Z","timestamp":1755851465000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556937"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":29,"alternative-id":["10.1145\/3551349.3556937","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3556937","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}