{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T15:45:26Z","timestamp":1750347926979,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"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\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1901242, 1910300, 1909414, 1853374"],"award-info":[{"award-number":["1901242, 1910300, 1909414, 1853374"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N000141712045, N000141410468, N000141712947"],"award-info":[{"award-number":["N000141712045, N000141410468, N000141712947"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,8,20]]},"DOI":"10.1145\/3468264.3468608","type":"proceedings-article","created":{"date-parts":[[2021,8,19]],"date-time":"2021-08-19T01:40:03Z","timestamp":1629337203000},"page":"45-56","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["PHYSFRAME: type checking physical frames of reference for robotic systems"],"prefix":"10.1145","author":[{"given":"Sayali","family":"Kate","sequence":"first","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Michael","family":"Chinn","sequence":"additional","affiliation":[{"name":"University of Virginia, USA"}]},{"given":"Hongjun","family":"Choi","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Xiangyu","family":"Zhang","sequence":"additional","affiliation":[{"name":"Purdue University, USA"}]},{"given":"Sebastian","family":"Elbaum","sequence":"additional","affiliation":[{"name":"University of Virginia, USA"}]}],"member":"320","published-online":{"date-parts":[[2021,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2015. diff_drive_controller is hard-coded into the \u2019odom\u2019 reference frame #204. https:\/\/github.com\/ros-controls\/ros_controllers\/issues\/204  2015. diff_drive_controller is hard-coded into the \u2019odom\u2019 reference frame #204. https:\/\/github.com\/ros-controls\/ros_controllers\/issues\/204"},{"key":"e_1_3_2_1_2_1","unstructured":"2017. TF: Debugging Tools. http:\/\/wiki.ros.org\/tf\/Debugging tools  2017. TF: Debugging Tools. http:\/\/wiki.ros.org\/tf\/Debugging tools"},{"key":"e_1_3_2_1_3_1","unstructured":"2019. ORB-SLAM2 ROS node. http:\/\/wiki.ros.org\/orb_slam2_ros  2019. ORB-SLAM2 ROS node. http:\/\/wiki.ros.org\/orb_slam2_ros"},{"key":"e_1_3_2_1_4_1","unstructured":"2019. T265 frame questions #772. https:\/\/github.com\/IntelRealSense\/realsense-ros\/issues\/772  2019. T265 frame questions #772. https:\/\/github.com\/IntelRealSense\/realsense-ros\/issues\/772"},{"key":"e_1_3_2_1_5_1","unstructured":"2020. Incorrect frame tree cartographer ros and t265 camera #1599. https:\/\/github.com\/IntelRealSense\/realsense-ros\/issues\/1599  2020. Incorrect frame tree cartographer ros and t265 camera #1599. https:\/\/github.com\/IntelRealSense\/realsense-ros\/issues\/1599"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1886301.1886309"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2005.1545523"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2009.934837"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2001.933002"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/234313.234418"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1687774.1687787"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502041"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TePRA.2013.6556373"},{"key":"e_1_3_2_1_15_1","volume-title":"Standard Units of Measure and Coordinate Conventions. https:\/\/www.ros.org\/reps\/rep-0103","author":"Foote Tully","year":"2010","unstructured":"Tully Foote and Mike Purvis . 2010 . Standard Units of Measure and Coordinate Conventions. https:\/\/www.ros.org\/reps\/rep-0103 .html Tully Foote and Mike Purvis. 2010. Standard Units of Measure and Coordinate Conventions. https:\/\/www.ros.org\/reps\/rep-0103.html"},{"key":"e_1_3_2_1_16_1","unstructured":"Open Source Robotics Foundation. [n.d.]. ROS Topics homepage. http:\/\/wiki.ros.org\/Topics  Open Source Robotics Foundation. [n.d.]. ROS Topics homepage. http:\/\/wiki.ros.org\/Topics"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 11th international conference on advanced robotics. 1, 317\u2013323","author":"Gerkey Brian","year":"2003","unstructured":"Brian Gerkey , Richard T Vaughan , and Andrew Howard . 2003 . The player\/stage project: Tools for multi-robot and distributed sensor systems . In Proceedings of the 11th international conference on advanced robotics. 1, 317\u2013323 . Brian Gerkey, Richard T Vaughan, and Andrew Howard. 2003. The player\/stage project: Tools for multi-robot and distributed sensor systems. In Proceedings of the 11th international conference on advanced robotics. 1, 317\u2013323."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2823363.2823366"},{"key":"e_1_3_2_1_19_1","volume-title":"PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems. arxiv:2106.11266.","author":"Kate Sayali","year":"2021","unstructured":"Sayali Kate , Michael Chinn , Hongjun Choi , Xiangyu Zhang , and Sebastian Elbaum . 2021 . PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems. arxiv:2106.11266. Sayali Kate, Michael Chinn, Hongjun Choi, Xiangyu Zhang, and Sebastian Elbaum. 2021. PHYSFRAME: Type Checking Physical Frames of Reference for Robotic Systems. arxiv:2106.11266."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236035"},{"key":"e_1_3_2_1_21_1","volume-title":"Dimension Types. In Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems (ESOP \u201994)","author":"Kennedy Andrew","year":"1994","unstructured":"Andrew Kennedy . 1994 . Dimension Types. In Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems (ESOP \u201994) . Springer-Verlag, Berlin, Heidelberg. 348\u2013362. isbn:3540578803 Andrew Kennedy. 1994. Dimension Types. In Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems (ESOP \u201994). Springer-Verlag, Berlin, Heidelberg. 348\u2013362. isbn:3540578803"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the Third Summer School Conference on Central European Functional Programming School (CEFP\u201909)","author":"Kennedy Andrew","year":"2009","unstructured":"Andrew Kennedy . 2009 . Types for Units-of-Measure: Theory and Practice . In Proceedings of the Third Summer School Conference on Central European Functional Programming School (CEFP\u201909) . Springer-Verlag, Berlin, Heidelberg. 268\u2013305. isbn:3642176844 Andrew Kennedy. 2009. Types for Units-of-Measure: Theory and Practice. In Proceedings of the Third Summer School Conference on Central European Functional Programming School (CEFP\u201909). Springer-Verlag, Berlin, Heidelberg. 268\u2013305. isbn:3642176844"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/872023.872552"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008637201658"},{"volume-title":"Emergent Trends in Robotics and Intelligent Systems","author":"Magyar Gergely","key":"e_1_3_2_1_25_1","unstructured":"Gergely Magyar , Peter Sin\u010d\u00e1k , and Zolt\u00e1n Krizs\u00e1n . 2015. Comparison study of robotic middleware for robotic applications . In Emergent Trends in Robotics and Intelligent Systems . Springer , 121\u2013128. Gergely Magyar, Peter Sin\u010d\u00e1k, and Zolt\u00e1n Krizs\u00e1n. 2015. Comparison study of robotic middleware for robotic applications. In Emergent Trends in Robotics and Intelligent Systems. Springer, 121\u2013128."},{"key":"e_1_3_2_1_26_1","unstructured":"Daniel Marjamaeki. 2017. Cppcheck - A tool for static C\/C++ code analysis. http:\/\/cppcheck.sourceforge.net\/  Daniel Marjamaeki. 2017. Cppcheck - A tool for static C\/C++ code analysis. http:\/\/cppcheck.sourceforge.net\/"},{"key":"e_1_3_2_1_27_1","unstructured":"Wim Meeussen. 2010. Coordinate Frames for Mobile Platforms. https:\/\/www.ros.org\/reps\/rep-0105.html  Wim Meeussen. 2010. Coordinate Frames for Mobile Platforms. https:\/\/www.ros.org\/reps\/rep-0105.html"},{"key":"e_1_3_2_1_28_1","unstructured":"Thomas Moulard. 2011. Coordinate Frames for Humanoid Robots. https:\/\/www.ros.org\/reps\/rep-0120.html  Thomas Moulard. 2011. Coordinate Frames for Humanoid Robots. https:\/\/www.ros.org\/reps\/rep-0120.html"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2017.2705103"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3092722"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092703.3098219"},{"key":"e_1_3_2_1_32_1","volume-title":"ICRA workshop on open source software. 3.2, 5.","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. 3.2, 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. 3.2, 5."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-06859-7_148"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224197"},{"key":"e_1_3_2_1_35_1","unstructured":"Clearpath Robotics. 2017. Robots - PR2. http:\/\/wiki.ros.org\/Robots\/PR2  Clearpath Robotics. 2017. Robots - PR2. http:\/\/wiki.ros.org\/Robots\/PR2"},{"key":"e_1_3_2_1_36_1","unstructured":"Wim Meeussen Tully Foote Eitan Marder-Eppstein. [n.d.]. Ros tf package homepage. http:\/\/wiki.ros.org\/tf http:\/\/wiki.ros.org\/tf2  Wim Meeussen Tully Foote Eitan Marder-Eppstein. [n.d.]. Ros tf package homepage. http:\/\/wiki.ros.org\/tf http:\/\/wiki.ros.org\/tf2"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TRA.2002.802930"}],"event":{"name":"ESEC\/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Athens Greece","acronym":"ESEC\/FSE '21"},"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.3468608","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3468608","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3468264.3468608","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:24:51Z","timestamp":1750195491000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3468264.3468608"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,8,18]]},"references-count":36,"alternative-id":["10.1145\/3468264.3468608","10.1145\/3468264"],"URL":"https:\/\/doi.org\/10.1145\/3468264.3468608","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"}}]}}