{"id":"https://openalex.org/W4387674264","doi":"https://doi.org/10.1145/3622854","title":"Validating IoT Devices with Rate-Based Session Types","display_name":"Validating IoT Devices with Rate-Based Session Types","publication_year":2023,"publication_date":"2023-10-16","ids":{"openalex":"https://openalex.org/W4387674264","doi":"https://doi.org/10.1145/3622854"},"language":"en","primary_location":{"id":"doi:10.1145/3622854","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622854","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622854","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3622854","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033306891","display_name":"Grant Iraci","orcid":"https://orcid.org/0009-0005-4138-5001"},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Grant Iraci","raw_affiliation_strings":["University at Buffalo, Buffalo, USA"],"raw_orcid":"https://orcid.org/0009-0005-4138-5001","affiliations":[{"raw_affiliation_string":"University at Buffalo, Buffalo, USA","institution_ids":["https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042550910","display_name":"Cheng-En Chuang","orcid":"https://orcid.org/0000-0002-3961-7118"},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Cheng-En Chuang","raw_affiliation_strings":["University at Buffalo, Buffalo, USA"],"raw_orcid":"https://orcid.org/0000-0002-3961-7118","affiliations":[{"raw_affiliation_string":"University at Buffalo, Buffalo, USA","institution_ids":["https://openalex.org/I63190737"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102840586","display_name":"Raymond Hu","orcid":"https://orcid.org/0000-0003-4361-6772"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Raymond Hu","raw_affiliation_strings":["Queen Mary University of London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-4361-6772","affiliations":[{"raw_affiliation_string":"Queen Mary University of London, London, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027309456","display_name":"Lukasz Ziarek","orcid":"https://orcid.org/0000-0003-4353-1998"},"institutions":[{"id":"https://openalex.org/I63190737","display_name":"University at Buffalo, State University of New York","ror":"https://ror.org/01y64my43","country_code":"US","type":"education","lineage":["https://openalex.org/I63190737"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lukasz Ziarek","raw_affiliation_strings":["University at Buffalo, Buffalo, USA"],"raw_orcid":"https://orcid.org/0000-0003-4353-1998","affiliations":[{"raw_affiliation_string":"University at Buffalo, Buffalo, USA","institution_ids":["https://openalex.org/I63190737"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6526,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75536646,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"7","issue":"OOPSLA2","first_page":"1589","last_page":"1617"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8173216581344604},{"id":"https://openalex.org/keywords/word-error-rate","display_name":"Word error rate","score":0.4196588695049286},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.393924742937088},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3466147184371948},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1195092499256134}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8173216581344604},{"id":"https://openalex.org/C40969351","wikidata":"https://www.wikidata.org/wiki/Q3516228","display_name":"Word error rate","level":2,"score":0.4196588695049286},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.393924742937088},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3466147184371948},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1195092499256134}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3622854","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622854","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622854","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},{"id":"pmh:oai:qmro.qmul.ac.uk:123456789/91845","is_oa":true,"landing_page_url":"https://qmro.qmul.ac.uk/xmlui/handle/123456789/91845","pdf_url":"https://qmro.qmul.ac.uk/xmlui/bitstream/123456789/91845/2/Hu%20Validating%20IoT%20Devices%202023%20Accepted.pdf","source":{"id":"https://openalex.org/S4306400530","display_name":"Queen Mary Research Online (Queen Mary University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I166337079","host_organization_name":"Queen Mary University of London","host_organization_lineage":["https://openalex.org/I166337079"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":{"id":"doi:10.1145/3622854","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3622854","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3622854","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"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 ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.7400000095367432,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G2951266961","display_name":"Collaborative Research: SHF: Medium: Integrated Verification of IoT and Real-time Communication Protocols","funder_award_id":"2211997","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4077758205","display_name":"CAREER: Enabling Adaptable, Object Oriented, Real-time Systems","funder_award_id":"1749539","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8964405759","display_name":null,"funder_award_id":"SHF 1749539","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387674264.pdf","grobid_xml":"https://content.openalex.org/works/W4387674264.grobid-xml"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W169399732","https://openalex.org/W1516360493","https://openalex.org/W1607623316","https://openalex.org/W1784055113","https://openalex.org/W1993460177","https://openalex.org/W2027725197","https://openalex.org/W2034870916","https://openalex.org/W2040105559","https://openalex.org/W2088962847","https://openalex.org/W2092488511","https://openalex.org/W2109488193","https://openalex.org/W2164293299","https://openalex.org/W2170239483","https://openalex.org/W2301051641","https://openalex.org/W2581964379","https://openalex.org/W2596636257","https://openalex.org/W2753352514","https://openalex.org/W2899726318","https://openalex.org/W2910597635","https://openalex.org/W2912682974","https://openalex.org/W2913500385","https://openalex.org/W2948543573","https://openalex.org/W3005030212","https://openalex.org/W3091175778","https://openalex.org/W4243100843","https://openalex.org/W4387674302"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2530322880","https://openalex.org/W1596801655","https://openalex.org/W2359140296"],"abstract_inverted_index":{"We":[0,58,140,168,189],"develop":[1],"a":[2,35,40,60,68,74,116,122,136,153,164,170,194],"session":[3,65,70,90],"types":[4,66,71,91],"based":[5,64,159],"framework":[6,192],"for":[7,148,156,163],"implementing":[8],"and":[9,30,51,73,134,144,151,209],"validating":[10],"rate-based":[11,49],"message":[12],"passing":[13],"systems":[14],"in":[15,27,67],"Internet":[16],"of":[17,62,119,129,166,172,187,196],"Things":[18],"(IoT)":[19],"domains.":[20,57],"To":[21],"model":[22,48],"the":[23,88,108,183],"indefinite":[24],"repetition":[25],"present":[26],"many":[28],"embedded":[29],"IoT":[31],"systems,":[32],"we":[33,79],"introduce":[34,59],"timed":[36],"process":[37],"calculus":[38],"with":[39],"periodic":[41],"recursion":[42],"primitive.":[43],"This":[44],"allows":[45,125],"us":[46],"to":[47,54,193],"computations":[50],"communications":[52],"inherent":[53],"these":[55],"application":[56],"definition":[61],"rate":[63,81,96,145,177],"binary":[69],"setting":[72],"new":[75,117],"compatibility":[76,112,178],"relationship,":[77],"which":[78,84,102],"call":[80],"compatibility.":[82],"Programs":[83],"type":[85,120,142,157,174,185],"check":[86],"enjoy":[87],"standard":[89],"guarantees":[92],"as":[93,95,203],"well":[94],"error":[97,146],"freedom":[98,147],"---":[99],"meaning":[100],"processes":[101,128],"exchanges":[103],"messages":[104],"do":[105],"so":[106],"at":[107],"same":[109],"rate.":[110],"Rate":[111],"is":[113],"defined":[114],"through":[115],"notion":[118],"expansion,":[121],"relation":[123],"that":[124],"communication":[126],"between":[127],"differing":[130],"periods":[131],"by":[132],"synthesizing":[133],"checking":[135,158],"common":[137],"superperiod":[138],"type.":[139],"prove":[141],"preservation":[143],"our":[149,173,199],"system,":[150],"show":[152],"decidable":[154],"method":[155],"on":[160],"computing":[161],"superperiods":[162],"collection":[165],"processes.":[167],"implement":[169],"prototype":[171],"system":[175,186],"including":[176],"via":[179],"an":[180],"embedding":[181],"into":[182],"native":[184],"Rust.":[188],"apply":[190],"this":[191],"range":[195],"examples":[197],"from":[198],"target":[200],"domain":[201],"such":[202],"Android":[204],"software":[205],"sensors,":[206],"wearable":[207],"devices,":[208],"sound":[210],"processing.":[211]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}