{"id":"https://openalex.org/W2906701300","doi":"https://doi.org/10.1145/3290342","title":"Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures","display_name":"Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures","publication_year":2019,"publication_date":"2019-01-02","ids":{"openalex":"https://openalex.org/W2906701300","doi":"https://doi.org/10.1145/3290342","mag":"2906701300"},"language":"en","primary_location":{"id":"doi:10.1145/3290342","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3290342","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3290342","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/3290342","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5000346761","display_name":"David Castro","orcid":"https://orcid.org/0000-0002-6939-4189"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"David Castro","raw_affiliation_strings":["Imperial College London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"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/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Raymond Hu","raw_affiliation_strings":["Imperial College London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049418170","display_name":"Sung-Shik Jongmans","orcid":"https://orcid.org/0000-0002-4394-8745"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]},{"id":"https://openalex.org/I7876267","display_name":"Open University of the Netherlands","ror":"https://ror.org/018dfmf50","country_code":"NL","type":"education","lineage":["https://openalex.org/I7876267"]}],"countries":["GB","NL"],"is_corresponding":false,"raw_author_name":"Sung-Shik Jongmans","raw_affiliation_strings":["Open University of the Netherlands, Netherlands / Imperial College London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Open University of the Netherlands, Netherlands / Imperial College London, UK","institution_ids":["https://openalex.org/I7876267","https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103910479","display_name":"Nicholas Ng","orcid":null},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nicholas Ng","raw_affiliation_strings":["Imperial College London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054171989","display_name":"Nobuko Yoshida","orcid":"https://orcid.org/0000-0002-3925-8557"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nobuko Yoshida","raw_affiliation_strings":["Imperial College London, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Imperial College London, UK","institution_ids":["https://openalex.org/I47508984"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.6397,"has_fulltext":true,"cited_by_count":55,"citation_normalized_percentile":{"value":0.96657606,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"3","issue":"POPL","first_page":"1","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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.9983000159263611,"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/T11424","display_name":"Security and Verification in Computing","score":0.9966999888420105,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8393836617469788},{"id":"https://openalex.org/keywords/protocol","display_name":"Protocol (science)","score":0.5991755127906799},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5633854866027832},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5517480373382568},{"id":"https://openalex.org/keywords/toolchain","display_name":"Toolchain","score":0.5304640531539917},{"id":"https://openalex.org/keywords/session","display_name":"Session (web analytics)","score":0.4976802170276642},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49055618047714233},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.4751412868499756},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type inference","score":0.42612382769584656},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3305387496948242},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.3077595829963684},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10346749424934387}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8393836617469788},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.5991755127906799},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5633854866027832},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5517480373382568},{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.5304640531539917},{"id":"https://openalex.org/C2779182362","wikidata":"https://www.wikidata.org/wiki/Q17126187","display_name":"Session (web analytics)","level":2,"score":0.4976802170276642},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49055618047714233},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.4751412868499756},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.42612382769584656},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3305387496948242},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.3077595829963684},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10346749424934387},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C142724271","wikidata":"https://www.wikidata.org/wiki/Q7208","display_name":"Pathology","level":1,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C204787440","wikidata":"https://www.wikidata.org/wiki/Q188504","display_name":"Alternative medicine","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3290342","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3290342","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3290342","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:research.ou.nl:publications/db262064-c216-49c7-991e-78c527700842","is_oa":true,"landing_page_url":"https://dl.acm.org/toc/pacmpl/2019/3/POPL","pdf_url":null,"source":{"id":"https://openalex.org/S4406922485","display_name":"Open University of the Netherlands Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"Castro, D, Hu, R, Jongmans, S-S, Ng, N & Yoshida, N 2019, Distributed programming using role-parametric session types in go : statically-typed endpoint APIs for dynamically-instantiated communication structures . in P Wadler (ed.), Proceedings of the ACM on Programming Languages. POPL edn, vol. 3, Association for Computing Machinery (ACM), New York, NY, Proceedings of the ACM on Programming Languages, pp. 1-30, 46th ACM SIGPLAN Symposium on Principles of Programming Languages, Cascais, Portugal, 13/01/19. https://doi.org/10.1145/3290342","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/66321","is_oa":true,"landing_page_url":"http://hdl.handle.net/10044/1/66321","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"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":"Journal Article"},{"id":"pmh:ou:oai:research.ou.nl:publications/db262064-c216-49c7-991e-78c527700842","is_oa":true,"landing_page_url":"https://research.ou.nl/en/publications/db262064-c216-49c7-991e-78c527700842","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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":"Proceedings of the ACM on Programming Languages, 3(POPL), 1 - 30","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"doi:10.1145/3290342","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3290342","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3290342","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.41999998688697815,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[{"id":"https://openalex.org/G1798638720","display_name":"From Data Types to Session Types---A Basis for Concurrency and Distribution","funder_award_id":"EP/K034413/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G2725184853","display_name":"Conversation-Based Governance for Distributed Systems by Multiparty Session Types","funder_award_id":"EP/K011715/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G469955813","display_name":"Turtles: Protocol-Based Foundations for Distributed Multiagent Systems","funder_award_id":"EP/N027833/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G556591498","display_name":null,"funder_award_id":"EP/K011715/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6025297107","display_name":"Border Patrol: Improving Smart Device Security through Type-Aware Systems Design","funder_award_id":"EP/N028201/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6739708954","display_name":null,"funder_award_id":"EP/N027833/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6968114954","display_name":"Exploiting Parallelism through Type Transformations for Hybrid Manycore Systems","funder_award_id":"EP/L00058X/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7505775425","display_name":null,"funder_award_id":"IC1402","funder_id":"https://openalex.org/F4320320366","funder_display_name":"European Cooperation in Science and Technology"},{"id":"https://openalex.org/G7918631928","display_name":null,"funder_award_id":"EP/K034413/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G7996886086","display_name":null,"funder_award_id":"EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1, EP/N028201/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G8261310601","display_name":null,"funder_award_id":"EP/K034413/1, EP/K011715/1, EP/L00058X/1, EP/N027833/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320366","display_name":"European Cooperation in Science and Technology","ror":"https://ror.org/01bstzn19"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2906701300.pdf","grobid_xml":"https://content.openalex.org/works/W2906701300.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W18866292","https://openalex.org/W216355022","https://openalex.org/W835760671","https://openalex.org/W1545681762","https://openalex.org/W1595450046","https://openalex.org/W1838213248","https://openalex.org/W1859947016","https://openalex.org/W1970789400","https://openalex.org/W1971591193","https://openalex.org/W2003314287","https://openalex.org/W2023489866","https://openalex.org/W2025970201","https://openalex.org/W2044590882","https://openalex.org/W2046488919","https://openalex.org/W2076742248","https://openalex.org/W2103560923","https://openalex.org/W2111531191","https://openalex.org/W2119992090","https://openalex.org/W2148186462","https://openalex.org/W2158106499","https://openalex.org/W2171043779","https://openalex.org/W2238703166","https://openalex.org/W2296352734","https://openalex.org/W2325347394","https://openalex.org/W2329205359","https://openalex.org/W2402424078","https://openalex.org/W2482080645","https://openalex.org/W2512167970","https://openalex.org/W2518106139","https://openalex.org/W2564372592","https://openalex.org/W2584381671","https://openalex.org/W2603624497","https://openalex.org/W2619342549","https://openalex.org/W2725986590","https://openalex.org/W2795275488","https://openalex.org/W2797112223","https://openalex.org/W2917119418","https://openalex.org/W4205907492","https://openalex.org/W4242423436","https://openalex.org/W4301028326"],"related_works":["https://openalex.org/W2013037783","https://openalex.org/W2909413202","https://openalex.org/W4379251913","https://openalex.org/W1941412300","https://openalex.org/W2804371217","https://openalex.org/W4297831890","https://openalex.org/W2963764498","https://openalex.org/W1836373119","https://openalex.org/W2068383718","https://openalex.org/W4246881098"],"abstract_inverted_index":{"This":[0,71],"paper":[1],"presents":[2],"a":[3,54,118,147,197],"framework":[4,44],"for":[5,120,142],"the":[6,17,28,47,66,77,99,109,164,169,175,203],"static":[7],"specification":[8,176],"and":[9,19,60,105,108,138,177,193,205,214],"safe":[10,73],"programming":[11,75,121,199],"of":[12,21,31,50,65,76,101,111,135,171,179,208],"message":[13],"passing":[14,195],"protocols":[15,40,125],"where":[16],"number":[18],"kinds":[20,49],"participants":[22,51],"are":[23],"dynamically":[24],"instantiated.":[25],"We":[26,97,113,167,201],"develop":[27],"first":[29],"theory":[30,116],"distributed":[32,81],"multiparty":[33],"session":[34],"types":[35],"(MPST)":[36],"to":[37,131,173],"support":[38,174],"parameterised":[39,78],"with":[41],"indexed":[42],"roles\u2014our":[43],"statically":[45],"infers":[46],"different":[48,90,93],"induced":[52],"by":[53,89],"protocol":[55,67],"definition":[56],"as":[57,117],"role":[58,102],"variants,":[59],"produces":[61],"decoupled":[62],"endpoint":[63,84,150],"projections":[64],"onto":[68],"each":[69,83],"variant.":[70],"enables":[72],"MPST-based":[74],"endpoints":[79],"in":[80,126],"settings:":[82],"can":[85],"be":[86],"implemented":[87],"separately":[88],"programmers,":[91],"using":[92,212],"techniques":[94],"(or":[95],"languages).":[96],"prove":[98],"decidability":[100],"variant":[103],"inference":[104],"well-formedness":[106],"checking,":[107],"correctness":[110],"projection.":[112],"implement":[114],"our":[115,209],"toolchain":[119],"such":[122],"role-parametric":[123],"MPST":[124,172],"Go.":[127],"Our":[128],"approach":[129],"is":[130],"generate":[132],"API":[133],"families":[134],"lightweight,":[136],"protocol-":[137],"variant-specific":[139],"type":[140,155],"wrappers":[141],"I/O.":[143],"The":[144],"APIs":[145,211],"ensure":[146],"well-typed":[148],"Go":[149,154,180,190],"program":[151],"(by":[152],"native":[153],"checking)":[156],"will":[157],"perform":[158],"only":[159],"compliant":[160],"I/O":[161],"actions":[162],"w.r.t.":[163],"source":[165],"protocol.":[166],"leverage":[168],"abstractions":[170],"implementation":[178],"applications":[181],"involving":[182],"multiple":[183],"channels,":[184,191],"possibly":[185],"over":[186],"mixed":[187],"transports":[188],"(e.g.,":[189],"TCP),":[192],"channel":[194],"via":[196],"unified":[198],"interface.":[200],"evaluate":[202],"applicability":[204],"run-time":[206],"performance":[207],"generated":[210],"microbenchmarks":[213],"real-world":[215],"applications.":[216]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":14},{"year":2019,"cited_by_count":10}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2019-01-11T00:00:00"}