{"id":"https://openalex.org/W3174073252","doi":"https://doi.org/10.1145/3468264.3468608","title":"PHYSFRAME: type checking physical frames of reference for robotic systems","display_name":"PHYSFRAME: type checking physical frames of reference for robotic systems","publication_year":2021,"publication_date":"2021-08-18","ids":{"openalex":"https://openalex.org/W3174073252","doi":"https://doi.org/10.1145/3468264.3468608","mag":"3174073252"},"language":"en","primary_location":{"id":"doi:10.1145/3468264.3468608","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468608","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468608","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468608","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Sayali Kate","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Sayali Kate","raw_affiliation_strings":["Purdue University, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Michael Chinn","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Chinn","raw_affiliation_strings":["University of Virginia, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Hongjun Choi","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hongjun Choi","raw_affiliation_strings":["Purdue University, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Xiangyu Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I219193219","display_name":"Purdue University West Lafayette","ror":"https://ror.org/02dqehb95","country_code":"US","type":"education","lineage":["https://openalex.org/I219193219"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiangyu Zhang","raw_affiliation_strings":["Purdue University, USA"],"affiliations":[{"raw_affiliation_string":"Purdue University, USA","institution_ids":["https://openalex.org/I219193219"]}]},{"author_position":"last","author":{"id":null,"display_name":"Sebastian Elbaum","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sebastian Elbaum","raw_affiliation_strings":["University of Virginia, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I219193219"],"apc_list":null,"apc_paid":null,"fwci":0.416,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.60361828,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"45","last_page":"56"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10653","display_name":"Robot Manipulation and Learning","score":0.9937000274658203,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9878000020980835,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9869999885559082,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/frame","display_name":"Frame (networking)","score":0.8047000169754028},{"id":"https://openalex.org/keywords/reference-frame","display_name":"Reference frame","score":0.6610999703407288},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6514000296592712},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.6155999898910522},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.4821999967098236},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.48170000314712524},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4756999909877777}],"concepts":[{"id":"https://openalex.org/C126042441","wikidata":"https://www.wikidata.org/wiki/Q1324888","display_name":"Frame (networking)","level":2,"score":0.8047000169754028},{"id":"https://openalex.org/C172849965","wikidata":"https://www.wikidata.org/wiki/Q3148875","display_name":"Reference frame","level":3,"score":0.6610999703407288},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6514000296592712},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6255999803543091},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.6155999898910522},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5274999737739563},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4821999967098236},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48170000314712524},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4756999909877777},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.4406000077724457},{"id":"https://openalex.org/C31972630","wikidata":"https://www.wikidata.org/wiki/Q844240","display_name":"Computer vision","level":1,"score":0.4203000068664551},{"id":"https://openalex.org/C204641915","wikidata":"https://www.wikidata.org/wiki/Q7315509","display_name":"Residual frame","level":4,"score":0.3926999866962433},{"id":"https://openalex.org/C150415221","wikidata":"https://www.wikidata.org/wiki/Q40687","display_name":"Robotic arm","level":2,"score":0.37549999356269836},{"id":"https://openalex.org/C74992021","wikidata":"https://www.wikidata.org/wiki/Q184876","display_name":"Frame of reference","level":2,"score":0.3402000069618225},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.2904999852180481},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.28769999742507935},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.2840999960899353},{"id":"https://openalex.org/C58489278","wikidata":"https://www.wikidata.org/wiki/Q1172284","display_name":"Data set","level":2,"score":0.2768000066280365},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.2565000057220459}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3468264.3468608","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468608","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468608","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2106.11266","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2106.11266","pdf_url":"https://arxiv.org/pdf/2106.11266","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3468264.3468608","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3468264.3468608","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3468264.3468608","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1448401626","display_name":null,"funder_award_id":"N000141712947","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2304153372","display_name":null,"funder_award_id":"N000141410468","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G2614991508","display_name":null,"funder_award_id":"1910300","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5643251411","display_name":null,"funder_award_id":"and N00","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G5852598055","display_name":"SHF:Small: Holistic Analysis: integrating the semantics of the world and the code","funder_award_id":"1853374","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G7284570364","display_name":null,"funder_award_id":"1901242","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8101246244","display_name":null,"funder_award_id":"N000141712045, N000141410468, N000141712947","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8127390166","display_name":"For support to the NSTC Committee on Tecynology Innovation Workshop and subsequent policy analysis and implementation.","funder_award_id":"0001414","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8535495650","display_name":"Multiscale Generalized Correlation: A Unified Distance-Based Correlation Measure for Dependency Discovery","funder_award_id":"1712947","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8807930097","display_name":null,"funder_award_id":"1901242, 1910300, 1909414, 1853374","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3174073252.pdf","grobid_xml":"https://content.openalex.org/works/W3174073252.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1595372275","https://openalex.org/W2000476863","https://openalex.org/W2006905283","https://openalex.org/W2011438161","https://openalex.org/W2043811931","https://openalex.org/W2083261065","https://openalex.org/W2110156285","https://openalex.org/W2116755374","https://openalex.org/W2148033465","https://openalex.org/W2161696511","https://openalex.org/W2170810629","https://openalex.org/W2294680933","https://openalex.org/W2535547924","https://openalex.org/W2735411563","https://openalex.org/W2736110558","https://openalex.org/W2899272441"],"related_works":[],"abstract_inverted_index":{"A":[0,28],"robotic":[1,30],"system":[2,31,110,144],"continuously":[3],"measures":[4],"its":[5],"own":[6],"motions":[7],"and":[8,39,67,76,118,125,158],"the":[9,55,71],"external":[10],"world":[11],"during":[12],"operation.":[13],"Such":[14],"measurements":[15],"are":[16],"with":[17,92,149,164],"respect":[18],"to":[19,42,49,57,79,156],"some":[20,93],"frame":[21,48,80,116,128],"of":[22,36,74,127,135,173],"reference,":[23],"i.e.,":[24],"a":[25,33,47,107,133],"coordinate":[26],"system.":[27],"nontrivial":[29],"has":[32],"large":[34,72],"number":[35,73],"different":[37],"frames":[38,96],"data":[40],"have":[41],"be":[43,90,98],"translated":[44],"back-and-forth":[45],"from":[46],"another.":[50],"The":[51,130],"onus":[52],"is":[53,64],"on":[54,82,132],"developers":[56,157],"get":[58],"such":[59],"translation":[60],"right.":[61],"However,":[62],"this":[63],"very":[65],"challenging":[66],"error-prone,":[68],"evidenced":[69],"by":[70],"questions":[75],"issues":[77],"related":[78],"uses":[81],"developers'":[83],"forum.":[84],"Since":[85],"any":[86,122],"state":[87],"variable":[88,102],"can":[89,97,112,145],"associated":[91],"frame,":[94],"reference":[95],"naturally":[99],"modeled":[100],"as":[101],"types.":[103],"We":[104,153],"hence":[105],"develop":[106],"novel":[108],"type":[109,123],"that":[111,142],"automatically":[113],"infer":[114],"variables'":[115],"types":[117],"in":[119],"turn":[120],"detect":[121,146],"inconsistencies":[124,148],"violations":[126,172],"conventions.":[129],"evaluation":[131],"set":[134],"180":[136],"publicly":[137],"available":[138],"ROS":[139],"projects":[140],"shows":[141],"our":[143],"190":[147],"154":[150],"true":[151],"positives.":[152],"reported":[154],"52":[155],"received":[159],"18":[160],"responses":[161],"so":[162],"far,":[163],"15":[165],"fixed/acknowledged.":[166],"Our":[167],"technique":[168],"also":[169],"finds":[170],"45":[171],"common":[174],"practices.":[175]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2021-07-05T00:00:00"}