{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:58:48Z","timestamp":1760043528904,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"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":["1638099, 1526652, 1718040, 1748764, 1409668"],"award-info":[{"award-number":["1638099, 1526652, 1718040, 1748764, 1409668"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100007297","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N000141410468, N000141712947"],"award-info":[{"award-number":["N000141410468, N000141712947"]}],"id":[{"id":"10.13039\/100007297","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,26]]},"DOI":"10.1145\/3236024.3236035","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"563-573","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Phys: probabilistic physical unit assignment and inconsistency detection"],"prefix":"10.1145","author":[{"given":"Sayali","family":"Kate","sequence":"first","affiliation":[{"name":"Purdue University, USA"}]},{"given":"John-Paul","family":"Ore","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Sebastian","family":"Elbaum","sequence":"additional","affiliation":[{"name":"University on Nebraska-Lincoln, USA"}]},{"given":"Zhaogui","family":"Xu","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"140","article-title":"The Fortress language specification","volume":"139","author":"Allen Eric","year":"2005","unstructured":"Eric Allen , David Chase , Joe Hallett , Victor Luchangco , Jan-Willem Maessen , Sukyoung Ryu , Guy L Steele Jr , Sam Tobin-Hochstadt , Joao Dias , Carl Eastlund , 2005 . The Fortress language specification . Sun Microsystems 139 (2005), 140 . Eric Allen, David Chase, Joe Hallett, Victor Luchangco, Jan-Willem Maessen, Sukyoung Ryu, Guy L Steele Jr, Sam Tobin-Hochstadt, Joao Dias, Carl Eastlund, et al. 2005. The Fortress language specification. Sun Microsystems 139 (2005), 140.","journal-title":"Sun Microsystems"},{"volume-title":"Le Syst\u00e8me international d\u2019unit\u00e9s \/ The International System of Units (\u2018The SI Brochure\u2019) (eighth ed.)","author":"BIPM.","key":"e_1_3_2_1_2_1","unstructured":"BIPM. 2006. Le Syst\u00e8me international d\u2019unit\u00e9s \/ The International System of Units (\u2018The SI Brochure\u2019) (eighth ed.) . Bureau international des poids et mesures. http: \/\/www.bipm.org\/en\/si\/si_brochure\/ BIPM. 2006. Le Syst\u00e8me international d\u2019unit\u00e9s \/ The International System of Units (\u2018The SI Brochure\u2019) (eighth ed.). Bureau international des poids et mesures. http: \/\/www.bipm.org\/en\/si\/si_brochure\/"},{"volume-title":"Dimensional Analysis","author":"Bridgman Percy Williams","key":"e_1_3_2_1_3_1","unstructured":"Percy Williams Bridgman . 1922. Dimensional Analysis . Yale University Press . Percy Williams Bridgman. 1922. Dimensional Analysis. Yale University Press."},{"key":"e_1_3_2_1_4_1","volume-title":"King","author":"Cozzie Anthony","year":"2008","unstructured":"Anthony Cozzie , Frank Stratton , Hui Xue , and Samuel T . King . 2008 . Digging for Data Structures. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association , 255\u2013266. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/cozzie\/cozzie. pdf Anthony Cozzie, Frank Stratton, Hui Xue, and Samuel T. King. 2008. Digging for Data Structures. In 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, December 8-10, 2008, San Diego, California, USA, Proceedings, Richard Draves and Robbert van Renesse (Eds.). USENIX Association, 255\u2013266. http:\/\/www.usenix.org\/events\/osdi08\/tech\/full_papers\/cozzie\/cozzie. pdf"},{"key":"e_1_3_2_1_5_1","volume-title":"Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems","author":"Dietz Laura","year":"2009","unstructured":"Laura Dietz , Valentin Dallmeier , Andreas Zeller , and Tobias Scheffer . 2009. Localizing Bugs in Program Executions with Graphical Models . In Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009 . Proceedings of a meeting held 7-10 December 2009, Vancouver, British Columbia, Canada., Yoshua Bengio, Dale Schuurmans, John D. Lafferty, Christopher K. I. Williams, and Aron Culotta (Eds.). Curran Associates, Inc ., 468\u2013476. http:\/\/papers.nips.cc\/paper\/ 3792-localizing-bugs-in-program-executions-with-graphical-models Laura Dietz, Valentin Dallmeier, Andreas Zeller, and Tobias Scheffer. 2009. Localizing Bugs in Program Executions with Graphical Models. In Advances in Neural Information Processing Systems 22: 23rd Annual Conference on Neural Information Processing Systems 2009. Proceedings of a meeting held 7-10 December 2009, Vancouver, British Columbia, Canada., Yoshua Bengio, Dale Schuurmans, John D. Lafferty, Christopher K. I. Williams, and Aron Culotta (Eds.). Curran Associates, Inc., 468\u2013476. http:\/\/papers.nips.cc\/paper\/ 3792-localizing-bugs-in-program-executions-with-graphical-models"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146268"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070517"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2823363.2823366"},{"key":"e_1_3_2_1_9_1","unstructured":"2823366  2823366"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/42190.42346"},{"key":"e_1_3_2_1_11_1","unstructured":"42346  42346"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134323"},{"key":"e_1_3_2_1_13_1","unstructured":"262\u2013271.  262\u2013271."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/359488.359501"},{"key":"e_1_3_2_1_15_1","volume-title":"CEFP 2009","author":"Kennedy Andrew","year":"2009","unstructured":"Andrew Kennedy . 2009 . Types for Units-of-Measure: Theory and Practice. In Central European Functional Programming School - Third Summer School , CEFP 2009 , Budapest, Hungary , May 21-23, 2009 and Kom\u00e1rno, Slovakia, May 25-30, 2009, Revised Selected Lectures. 268\u2013305. Andrew Kennedy. 2009. Types for Units-of-Measure: Theory and Practice. In Central European Functional Programming School - Third Summer School, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom\u00e1rno, Slovakia, May 25-30, 2009, Revised Selected Lectures. 268\u2013305."},{"key":"e_1_3_2_1_16_1","volume-title":"Probabilistic Graphical Models - Principles and Techniques","author":"Koller Daphne","year":"1886","unstructured":"Daphne Koller and Nir Friedman . 2009. Probabilistic Graphical Models - Principles and Techniques . MIT Press . http:\/\/mitpress.mit.edu\/catalog\/item\/default.asp? ttype=2&tid=1 1886 Daphne Koller and Nir Friedman. 2009. Probabilistic Graphical Models - Principles and Techniques. MIT Press. http:\/\/mitpress.mit.edu\/catalog\/item\/default.asp? ttype=2&tid=11886"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/18.910572"},{"key":"e_1_3_2_1_18_1","volume-title":"19th Annual Network and Distributed System Security Symposium, NDSS 2012","author":"Lin Zhiqiang","year":"2012","unstructured":"Zhiqiang Lin , Junghwan Rhee , Chao Wu , Xiangyu Zhang , and Dongyan Xu . 2012 . Discovering Semantic Data of Interest from Un-mappable Memory with Confidence . In 19th Annual Network and Distributed System Security Symposium, NDSS 2012 , San Diego, California, USA , February 5-8, 2012. The Internet Society. Zhiqiang Lin, Junghwan Rhee, Chao Wu, Xiangyu Zhang, and Dongyan Xu. 2012. Discovering Semantic Data of Interest from Un-mappable Memory with Confidence. In 19th Annual Network and Distributed System Security Symposium, NDSS 2012, San Diego, California, USA, February 5-8, 2012. The Internet Society."},{"key":"e_1_3_2_1_19_1","unstructured":"https:\/\/www.ndss-symposium.org\/ndss2012\/ discovering-semantic-data-interest-un-mappable-memory-confidence  https:\/\/www.ndss-symposium.org\/ndss2012\/ discovering-semantic-data-interest-un-mappable-memory-confidence"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542485"},{"key":"e_1_3_2_1_21_1","unstructured":"1542485  1542485"},{"key":"e_1_3_2_1_22_1","unstructured":"Daniel Marjamaeki. 2013. Cppcheck - A tool for static C\/C++ code analysis. http:\/\/cppcheck.sourceforge.net\/  Daniel Marjamaeki. 2013. Cppcheck - A tool for static C\/C++ code analysis. http:\/\/cppcheck.sourceforge.net\/"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/219717.219748"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3125501.3125524"},{"key":"e_1_3_2_1_25_1","unstructured":"Joris Mooij. 2010. libDAI - A free and open source C++ library for Discrete Approximate Inference in graphical models. https:\/\/staff.fnwi.uva.nl\/j.m.mooij\/ libDAI\/   Joris Mooij. 2010. libDAI - A free and open source C++ library for Discrete Approximate Inference in graphical models. https:\/\/staff.fnwi.uva.nl\/j.m.mooij\/ libDAI\/"},{"key":"e_1_3_2_1_26_1","volume-title":"Hanne Riis Nielson, and Chris Hankin","author":"Nielson Flemming","year":"1999","unstructured":"Flemming Nielson , Hanne Riis Nielson, and Chris Hankin . 1999 . Principles of program analysis. Springer . Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. 1999. Principles of program analysis. Springer."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8202229"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092722"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098219"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(86)90072-X"},{"key":"e_1_3_2_1_31_1","volume-title":"ICRA workshop on open source software","volume":"3","author":"Quigley Morgan","year":"2009","unstructured":"Morgan Quigley , Ken Conley , Brian Gerkey , Josh Faust , Tully Foote , Jeremy Leibs , Rob Wheeler , and Andrew Y Ng . 2009 . ROS: an open-source Robot Operating System . In ICRA workshop on open source software , Vol. 3 .2. Kobe, Japan, 5. Morgan Quigley, Ken Conley, Brian Gerkey, Josh Faust, Tully Foote, Jeremy Leibs, Rob Wheeler, and Andrew Y Ng. 2009. ROS: an open-source Robot Operating System. In ICRA workshop on open source software, Vol. 3.2. Kobe, Japan, 5."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2677009"},{"key":"e_1_3_2_1_33_1","unstructured":"ROS Industrial Consortium. 2016. Current Members - ROS Industrial. http: \/\/rosindustrial.org\/ric\/current-members  ROS Industrial Consortium. 2016. Current Members - ROS Industrial. http: \/\/rosindustrial.org\/ric\/current-members"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240326"},{"key":"e_1_3_2_1_35_1","unstructured":"Matthias Schabel and Steven Watanabe. 2010. Boost Units. http:\/\/www.boost. org\/doc\/libs\/1_66_0\/doc\/html\/boost_units.html  Matthias Schabel and Steven Watanabe. 2010. Boost Units. http:\/\/www.boost. org\/doc\/libs\/1_66_0\/doc\/html\/boost_units.html"},{"key":"e_1_3_2_1_36_1","volume-title":"Microsoft","author":"Syme Don","year":"2010","unstructured":"Don Syme , Luke Hoban , Tao Liu , Dmitry Lomov , James Margetson , Brian McNamara , Joe Pamer , Penny Orwick , Daniel Quirk , Chris Smith , 2010 . The F# 2.0 language specification . Microsoft , August (2010). Don Syme, Luke Hoban, Tao Liu, Dmitry Lomov, James Margetson, Brian McNamara, Joe Pamer, Penny Orwick, Daniel Quirk, Chris Smith, et al. 2010. The F# 2.0 language specification. Microsoft, August (2010)."}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18"},"container-title":["Proceedings of the 2018 26th 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\/3236024.3236035","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236035","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3236035","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:57:25Z","timestamp":1750208245000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3236035"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":36,"alternative-id":["10.1145\/3236024.3236035","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3236035","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}