{"id":"https://openalex.org/W2605010570","doi":"https://doi.org/10.1145/3037697.3037726","title":"Typed Architectures","display_name":"Typed Architectures","publication_year":2017,"publication_date":"2017-04-04","ids":{"openalex":"https://openalex.org/W2605010570","doi":"https://doi.org/10.1145/3037697.3037726","mag":"2605010570"},"language":"en","primary_location":{"id":"doi:10.1145/3037697.3037726","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3037697.3037726","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064194126","display_name":"Channoh Kim","orcid":null},"institutions":[{"id":"https://openalex.org/I848706","display_name":"Sungkyunkwan University","ror":"https://ror.org/04q78tk20","country_code":"KR","type":"education","lineage":["https://openalex.org/I848706"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Channoh Kim","raw_affiliation_strings":["Sungkyunkwan University, Suwon, South Korea"],"affiliations":[{"raw_affiliation_string":"Sungkyunkwan University, Suwon, South Korea","institution_ids":["https://openalex.org/I848706"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049810910","display_name":"Jaehyeok Kim","orcid":"https://orcid.org/0000-0002-8847-5734"},"institutions":[{"id":"https://openalex.org/I848706","display_name":"Sungkyunkwan University","ror":"https://ror.org/04q78tk20","country_code":"KR","type":"education","lineage":["https://openalex.org/I848706"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jaehyeok Kim","raw_affiliation_strings":["Sungkyunkwan University, Suwon, South Korea"],"affiliations":[{"raw_affiliation_string":"Sungkyunkwan University, Suwon, South Korea","institution_ids":["https://openalex.org/I848706"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100445919","display_name":"Sung\u2010Min Kim","orcid":"https://orcid.org/0000-0003-3518-966X"},"institutions":[{"id":"https://openalex.org/I848706","display_name":"Sungkyunkwan University","ror":"https://ror.org/04q78tk20","country_code":"KR","type":"education","lineage":["https://openalex.org/I848706"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Sungmin Kim","raw_affiliation_strings":["Sungkyunkwan University, Suwon, South Korea"],"affiliations":[{"raw_affiliation_string":"Sungkyunkwan University, Suwon, South Korea","institution_ids":["https://openalex.org/I848706"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101502455","display_name":"Dooyoung Kim","orcid":"https://orcid.org/0000-0002-6003-2181"},"institutions":[{"id":"https://openalex.org/I848706","display_name":"Sungkyunkwan University","ror":"https://ror.org/04q78tk20","country_code":"KR","type":"education","lineage":["https://openalex.org/I848706"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Dooyoung Kim","raw_affiliation_strings":["Sungkyunkwan University, Suwon, South Korea"],"affiliations":[{"raw_affiliation_string":"Sungkyunkwan University, Suwon, South Korea","institution_ids":["https://openalex.org/I848706"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101572632","display_name":"Nam\u2010Ho Kim","orcid":"https://orcid.org/0000-0003-4865-4030"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Namho Kim","raw_affiliation_strings":["Seoul National University, Seoul, South Korea"],"affiliations":[{"raw_affiliation_string":"Seoul National University, Seoul, South Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057732792","display_name":"Gitae Na","orcid":null},"institutions":[{"id":"https://openalex.org/I848706","display_name":"Sungkyunkwan University","ror":"https://ror.org/04q78tk20","country_code":"KR","type":"education","lineage":["https://openalex.org/I848706"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Gitae Na","raw_affiliation_strings":["Sungkyunkwan University, Suwon, South Korea"],"affiliations":[{"raw_affiliation_string":"Sungkyunkwan University, Suwon, South Korea","institution_ids":["https://openalex.org/I848706"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101979936","display_name":"Young H. Oh","orcid":"https://orcid.org/0000-0001-5971-9093"},"institutions":[{"id":"https://openalex.org/I848706","display_name":"Sungkyunkwan University","ror":"https://ror.org/04q78tk20","country_code":"KR","type":"education","lineage":["https://openalex.org/I848706"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Young H. Oh","raw_affiliation_strings":["Sungkyunkwan University, Suwon, South Korea"],"affiliations":[{"raw_affiliation_string":"Sungkyunkwan University, Suwon, South Korea","institution_ids":["https://openalex.org/I848706"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087197493","display_name":"Hyeon Gyu Cho","orcid":null},"institutions":[{"id":"https://openalex.org/I848706","display_name":"Sungkyunkwan University","ror":"https://ror.org/04q78tk20","country_code":"KR","type":"education","lineage":["https://openalex.org/I848706"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Hyeon Gyu Cho","raw_affiliation_strings":["Sungkyunkwan University, Suwon, South Korea"],"affiliations":[{"raw_affiliation_string":"Sungkyunkwan University, Suwon, South Korea","institution_ids":["https://openalex.org/I848706"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5100415731","display_name":"Jae W. Lee","orcid":"https://orcid.org/0000-0002-4266-4919"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jae W. Lee","raw_affiliation_strings":["Seoul National University, Seoul, South Korea"],"affiliations":[{"raw_affiliation_string":"Seoul National University, Seoul, South Korea","institution_ids":["https://openalex.org/I139264467"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5064194126"],"corresponding_institution_ids":["https://openalex.org/I848706"],"apc_list":null,"apc_paid":null,"fwci":1.8025,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.85938802,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"77","last_page":"90"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9983000159263611,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9958000183105469,"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.8729698061943054},{"id":"https://openalex.org/keywords/scripting-language","display_name":"Scripting language","score":0.4683021306991577},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4366893768310547},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.4160010516643524},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.38406941294670105},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3516371250152588},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3200826048851013}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8729698061943054},{"id":"https://openalex.org/C61423126","wikidata":"https://www.wikidata.org/wiki/Q187432","display_name":"Scripting language","level":2,"score":0.4683021306991577},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4366893768310547},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.4160010516643524},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.38406941294670105},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3516371250152588},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3200826048851013}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3037697.3037726","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3037697.3037726","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:s-space.snu.ac.kr:10371/192903","is_oa":false,"landing_page_url":"https://hdl.handle.net/10371/192903","pdf_url":null,"source":{"id":"https://openalex.org/S4306401345","display_name":"Seoul National University Open Repository (Seoul National University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I139264467","host_organization_name":"Seoul National University","host_organization_lineage":["https://openalex.org/I139264467"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.8700000047683716}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W42576273","https://openalex.org/W1987898580","https://openalex.org/W2004211666","https://openalex.org/W2036329595","https://openalex.org/W2043319140","https://openalex.org/W2055578361","https://openalex.org/W2100530163","https://openalex.org/W2100666033","https://openalex.org/W2106840980","https://openalex.org/W2107612966","https://openalex.org/W2108668768","https://openalex.org/W2113486106","https://openalex.org/W2117470854","https://openalex.org/W2128457714","https://openalex.org/W2128769765","https://openalex.org/W2129482816","https://openalex.org/W2141365240","https://openalex.org/W2149932055","https://openalex.org/W2156487548","https://openalex.org/W2166431824","https://openalex.org/W2168176277","https://openalex.org/W2168264487","https://openalex.org/W2171482413","https://openalex.org/W2247553140","https://openalex.org/W2513923381","https://openalex.org/W2898051564","https://openalex.org/W2987803397","https://openalex.org/W4301715052"],"related_works":["https://openalex.org/W4240253816","https://openalex.org/W3096456556","https://openalex.org/W2046765700","https://openalex.org/W2780629932","https://openalex.org/W2169584677","https://openalex.org/W1713081424","https://openalex.org/W2127315869","https://openalex.org/W1523769955","https://openalex.org/W2245390655","https://openalex.org/W4379536100"],"abstract_inverted_index":{"Dynamic":[0],"scripting":[1,99,226],"languages":[2],"are":[3,150],"becoming":[4],"more":[5,7],"and":[6,41,63,116,184,214,221,230,245],"widely":[8],"adopted":[9],"not":[10],"only":[11],"for":[12,17,81,97,137,177,223,228,243,247],"fast":[13],"prototyping":[14],"but":[15],"also":[16],"developing":[18],"production-grade":[19,225],"applications.":[20,83],"They":[21],"provide":[22,174],"high-productivity":[23,74],"programming":[24,39,75],"environments":[25],"featuring":[26],"high":[27],"levels":[28],"of":[29,54,58,121,191,212,219,253],"abstraction":[30],"with":[31,216,249],"powerful":[32],"built-in":[33],"functions,":[34],"automatic":[35],"memory":[36,61],"management,":[37],"object-oriented":[38],"paradigm":[40],"dynamic":[42,47,98,119,138],"typing.":[43],"However,":[44],"their":[45],"flexible,":[46],"type":[48,107,120,139,181],"systems":[49],"easily":[50],"become":[51],"the":[52,118,153,160,237],"source":[53],"inefficiency":[55],"in":[56,125,130],"terms":[57],"instruction":[59,135,156],"count,":[60],"footprint,":[62],"energy":[64],"consumption.":[65],"This":[66],"overhead":[67,252],"makes":[68],"it":[69],"challenging":[70],"to":[71,152,166],"deploy":[72],"these":[73],"technologies":[76],"on":[77,203],"emerging":[78],"single-board":[79],"computers":[80],"IoT":[82],"Addressing":[84],"this":[85,87],"challenge,":[86],"paper":[88],"introduces":[89],"Typed":[90,113,142,172,207,234],"Architectures,":[91],"a":[92,197,256],"high-efficiency,":[93],"low-cost":[94],"execution":[95],"substrate":[96],"languages,":[100],"where":[101],"each":[102,122],"data":[103,188],"variable":[104,123],"retains":[105],"high-level":[106],"information":[108],"at":[109,157,255],"an":[110,250],"ISA":[111],"level.":[112],"Architectures":[114,143,173,208,235],"calculate":[115],"check":[117],"implicitly":[124],"hardware,":[126],"rather":[127],"than":[128],"explicitly":[129],"software,":[131],"hence":[132],"significantly":[133],"reducing":[134],"count":[136],"checking.":[140],"Besides,":[141],"introduce":[144],"polymorphic":[145,169],"instructions":[146],"(e.g.,":[147,162],"xadd),":[148],"which":[149],"bound":[151],"correct":[154],"native":[155],"runtime":[158],"within":[159],"pipeline":[161],"add":[163],"or":[164],"fadd)":[165],"efficiently":[167],"implement":[168],"operators.":[170],"Finally,":[171],"hardware":[175],"support":[176],"flexible":[178],"yet":[179],"efficient":[180],"tag":[182],"extraction":[183],"insertion,":[185],"capturing":[186],"common":[187],"layout":[189],"patterns":[190],"tag-value":[192],"pairs.":[193],"Our":[194],"evaluation":[195],"using":[196],"fully":[198],"synthesizable":[199],"RISC-V":[200],"RTL":[201],"design":[202],"FPGA":[204],"shows":[205],"that":[206],"achieve":[209],"geomean":[210],"speedups":[211,218],"11.2%":[213],"9.9%":[215],"maximum":[217],"32.6%":[220],"43.5%":[222],"two":[224],"engines":[227],"JavaScript":[229,244],"Lua,":[231],"respectively.":[232],"Moreover,":[233],"improve":[236],"energy-delay":[238],"product":[239],"(EDP)":[240],"by":[241],"19.3%":[242],"16.5%":[246],"Lua":[248],"area":[251],"1.6%":[254],"40nm":[257],"technology":[258],"node.":[259]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}