{"id":"https://openalex.org/W3033539186","doi":"https://doi.org/10.1145/3385412.3385987","title":"CARAT: a case for virtual memory through compiler- and runtime-based address translation","display_name":"CARAT: a case for virtual memory through compiler- and runtime-based address translation","publication_year":2020,"publication_date":"2020-06-07","ids":{"openalex":"https://openalex.org/W3033539186","doi":"https://doi.org/10.1145/3385412.3385987","mag":"3033539186"},"language":"en","primary_location":{"id":"doi:10.1145/3385412.3385987","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3385987","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","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/A5024206336","display_name":"Brian Suchy","orcid":"https://orcid.org/0000-0002-1559-9322"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Brian Suchy","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084389543","display_name":"Simone Campanoni","orcid":"https://orcid.org/0000-0001-9806-7016"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Simone Campanoni","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5077219627","display_name":"Nikos Hardavellas","orcid":"https://orcid.org/0000-0002-1137-8100"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nikos Hardavellas","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077304920","display_name":"Peter A. Dinda","orcid":"https://orcid.org/0000-0001-5315-5987"},"institutions":[{"id":"https://openalex.org/I111979921","display_name":"Northwestern University","ror":"https://ror.org/000e0be47","country_code":"US","type":"education","lineage":["https://openalex.org/I111979921"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Peter Dinda","raw_affiliation_strings":["Northwestern University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Northwestern University, USA","institution_ids":["https://openalex.org/I111979921"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.8883,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.85505001,"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":"329","last_page":"345"},"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.9998999834060669,"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.9998999834060669,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9988999962806702,"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.8887795209884644},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6656253933906555},{"id":"https://openalex.org/keywords/virtual-memory","display_name":"Virtual memory","score":0.5877055525779724},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.5335999131202698},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.43473803997039795},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4291480481624603},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4014620780944824},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.36242738366127014},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35591351985931396},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3243595361709595},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.08730891346931458}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8887795209884644},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6656253933906555},{"id":"https://openalex.org/C76399640","wikidata":"https://www.wikidata.org/wiki/Q189401","display_name":"Virtual memory","level":4,"score":0.5877055525779724},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.5335999131202698},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.43473803997039795},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4291480481624603},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4014620780944824},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.36242738366127014},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35591351985931396},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3243595361709595},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.08730891346931458},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3385412.3385987","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3385987","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6200000047683716,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1695441393","display_name":null,"funder_award_id":"CNS-1763743","funder_id":"https://openalex.org/F4320315254","funder_display_name":"Innovative Research Group Project of the National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320315254","display_name":"Innovative Research Group Project of the National Natural Science Foundation of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W2363194","https://openalex.org/W1520961854","https://openalex.org/W2010204191","https://openalex.org/W2020733012","https://openalex.org/W2034711041","https://openalex.org/W2065439108","https://openalex.org/W2068602747","https://openalex.org/W2077076195","https://openalex.org/W2079029390","https://openalex.org/W2083355374","https://openalex.org/W2100430002","https://openalex.org/W2105349588","https://openalex.org/W2120138088","https://openalex.org/W2120951650","https://openalex.org/W2121687577","https://openalex.org/W2122244113","https://openalex.org/W2125550683","https://openalex.org/W2126987530","https://openalex.org/W2131135493","https://openalex.org/W2144344516","https://openalex.org/W2147077996","https://openalex.org/W2150769115","https://openalex.org/W2153185479","https://openalex.org/W2164155474","https://openalex.org/W2293164505","https://openalex.org/W2297774820","https://openalex.org/W2313437295","https://openalex.org/W2318490588","https://openalex.org/W2330744268","https://openalex.org/W2493908551","https://openalex.org/W2508295954","https://openalex.org/W2581371485","https://openalex.org/W2593225823","https://openalex.org/W2626823825","https://openalex.org/W2760957981","https://openalex.org/W2767156774","https://openalex.org/W2787928226","https://openalex.org/W2792929085","https://openalex.org/W2793681106","https://openalex.org/W2800156448","https://openalex.org/W2884735227","https://openalex.org/W2885000039","https://openalex.org/W2912090731","https://openalex.org/W2914237411","https://openalex.org/W2953357877","https://openalex.org/W4231764952","https://openalex.org/W4241642066","https://openalex.org/W4255681033","https://openalex.org/W4256236061"],"related_works":["https://openalex.org/W1976766385","https://openalex.org/W2078640694","https://openalex.org/W261562921","https://openalex.org/W1421493983","https://openalex.org/W4243333834","https://openalex.org/W1698699620","https://openalex.org/W71081774","https://openalex.org/W2138847","https://openalex.org/W2373327185","https://openalex.org/W2381395788"],"abstract_inverted_index":{"Virtual":[0],"memory":[1,127],"is":[2,14,59,131],"a":[3,42,45,60,83,111,165],"critical":[4],"abstraction":[5],"in":[6,110],"modern":[7],"computer":[8],"systems.":[9],"Its":[10],"common":[11],"model,":[12,86],"paging,":[13],"currently":[15],"seeing":[16],"considerable":[17],"innovation,":[18],"yet":[19],"its":[20],"implementations":[21],"continue":[22],"to":[23,104,120,129,185],"be":[24,80,183],"co-designs":[25],"between":[26,62],"power-hungry/latency-adding":[27],"hardware":[28,74,91],"(e.g.,":[29],"TLBs,":[30],"pagewalk":[31],"caches,":[32],"pagewalkers,":[33],"etc)":[34],"and":[35,52,65,87,97,123,151,161,188],"software":[36],"(the":[37],"OS":[38,67],"kernel).":[39],"We":[40,137],"make":[41],"case":[43],"for":[44,48,139],"new":[46],"model":[47],"virtual":[49,135],"memory,":[50],"compiler-":[51],"runtime-based":[53],"address":[54,113],"translation":[55],"(CARAT),":[56],"which":[57],"instead":[58],"co-design":[61],"the":[63,66,118,140,158,173],"compiler":[64],"kernel.":[68],"CARAT":[69,93,143,166],"can":[70,182],"operate":[71],"without":[72],"any":[73],"support,":[75],"although":[76],"it":[77,181],"could":[78,88],"also":[79],"retrofitted":[81],"into":[82],"traditional":[84,134],"paging":[85],"leverage":[89],"simpler":[90],"support.":[92],"uses":[94],"compile-time":[95],"transformations":[96],"optimizations":[98],"combined":[99],"with":[100,191],"tightly-coupled":[101],"runtime/kernel":[102],"interaction":[103],"generate":[105],"programs":[106,190],"that":[107],"run":[108],"efficiently":[109],"physical":[112,126],"space,":[114],"but":[115],"nonetheless":[116],"allow":[117],"kernel":[119,152],"maintain":[121],"protection":[122],"dynamically":[124],"manage":[125],"similar":[128],"what":[130],"possible":[132],"using":[133],"memory.":[136],"argue":[138],"feasibility":[141],"of":[142,148,164],"through":[144,157],"an":[145],"empirical":[146],"study":[147],"application":[149],"characteristics":[150],"behavior,":[153],"as":[154,156],"well":[155],"design,":[159],"implementation,":[160],"performance":[162],"evaluation":[163],"prototype.":[167],"Because":[168],"our":[169],"prototype":[170],"works":[171],"at":[172],"IR":[174],"level":[175],"(in":[176],"particular,":[177],"via":[178],"LLVM":[179],"bitcode),":[180],"applied":[184],"most":[186],"C":[187],"C++":[189],"minimal":[192],"or":[193],"no":[194],"restrictions.":[195]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}