{"id":"https://openalex.org/W4239312221","doi":"https://doi.org/10.1109/micro.2003.1253196","title":"LLVA: a low-level virtual instruction set architecture","display_name":"LLVA: a low-level virtual instruction set architecture","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W4239312221","doi":"https://doi.org/10.1109/micro.2003.1253196"},"language":"en","primary_location":{"id":"doi:10.1109/micro.2003.1253196","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2003.1253196","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 36th Annual IEEE/ACM International Symposium on Microarchitecture, 2003. MICRO-36.","raw_type":"proceedings-article"},"type":"conference-paper","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/A5059017058","display_name":"Vikram Adve","orcid":"https://orcid.org/0000-0002-0760-9690"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V. Adve","raw_affiliation_strings":["University of Illinois, Urbana-Champaign","Computer Science Department, University of Illinois, Urbana-Champaign, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Computer Science Department, University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064241063","display_name":"Chris Lattner","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C. Lattner","raw_affiliation_strings":["University of Illinois, Urbana-Champaign","Computer Science Department, University of Illinois, Urbana-Champaign, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Computer Science Department, University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009930703","display_name":"M. Brukman","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"M. Brukman","raw_affiliation_strings":["University of Illinois, Urbana-Champaign","Computer Science Department, University of Illinois, Urbana-Champaign, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Computer Science Department, University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074311131","display_name":"Anand Kumar Shukla","orcid":"https://orcid.org/0000-0002-3962-4924"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"A. Shukla","raw_affiliation_strings":["University of Illinois, Urbana-Champaign","Computer Science Department, University of Illinois, Urbana-Champaign, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Computer Science Department, University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5018044467","display_name":"B. Gaeke","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"B. Gaeke","raw_affiliation_strings":["University of Illinois, Urbana-Champaign","Computer Science Department, University of Illinois, Urbana-Champaign, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois, Urbana-Champaign","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"Computer Science Department, University of Illinois, Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I157725225"],"apc_list":null,"apc_paid":null,"fwci":0.9312,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.75411323,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"205","last_page":"216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":1.0,"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":1.0,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9976000189781189,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9970999956130981,"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.8820163607597351},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.6380017995834351},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.5961560606956482},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5164520740509033},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.5079365372657776},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48515376448631287},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.45784634351730347},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.45701128244400024},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.45399412512779236},{"id":"https://openalex.org/keywords/program-optimization","display_name":"Program optimization","score":0.4485255777835846},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.4221249222755432},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.412502646446228},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.34825366735458374},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.12360703945159912}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8820163607597351},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.6380017995834351},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.5961560606956482},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5164520740509033},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.5079365372657776},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48515376448631287},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.45784634351730347},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.45701128244400024},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.45399412512779236},{"id":"https://openalex.org/C139571649","wikidata":"https://www.wikidata.org/wiki/Q1156793","display_name":"Program optimization","level":3,"score":0.4485255777835846},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.4221249222755432},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.412502646446228},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.34825366735458374},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.12360703945159912},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/micro.2003.1253196","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2003.1253196","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings. 36th Annual IEEE/ACM International Symposium on Microarchitecture, 2003. MICRO-36.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education","score":0.6200000047683716}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W1644882639","https://openalex.org/W1982205631","https://openalex.org/W2003675210","https://openalex.org/W2045723688","https://openalex.org/W2053707450","https://openalex.org/W2062909992","https://openalex.org/W2069107692","https://openalex.org/W2077944153","https://openalex.org/W2089131124","https://openalex.org/W2096121393","https://openalex.org/W2097685561","https://openalex.org/W2125076237","https://openalex.org/W2128195938","https://openalex.org/W2136884213","https://openalex.org/W2157074753","https://openalex.org/W2157373341","https://openalex.org/W2916411819","https://openalex.org/W4231002400","https://openalex.org/W4232419160","https://openalex.org/W4236999231","https://openalex.org/W4242990635","https://openalex.org/W4247552294","https://openalex.org/W4248542611","https://openalex.org/W4250432526","https://openalex.org/W4252221713","https://openalex.org/W4252854535","https://openalex.org/W6675426412","https://openalex.org/W6679269315","https://openalex.org/W6681476407","https://openalex.org/W6824081738"],"related_works":["https://openalex.org/W2127497159","https://openalex.org/W1582870960","https://openalex.org/W2065608670","https://openalex.org/W2170966469","https://openalex.org/W2049369293","https://openalex.org/W2076425390","https://openalex.org/W4213092069","https://openalex.org/W1482854495","https://openalex.org/W2172096703","https://openalex.org/W1989702012"],"abstract_inverted_index":{"A":[0],"virtual":[1,35,54,63,84,179,190],"instruction":[2,32,77],"set":[3,78,86],"architecture":[4],"(V-ISA)":[5],"implemented":[6],"via":[7],"a":[8,53,61,67,122,134],"processor-specific":[9],"software":[10],"translation":[11,39,68,135,140,203],"layer":[12],"can":[13],"provide":[14],"great":[15],"flexibility":[16],"to":[17,106,113,186,193],"processor":[18],"designers.":[19],"Recent":[20],"examples":[21],"such":[22],"as":[23,34],"Crusoe":[24],"and":[25,40,66,92,96,99,126,141,148,166,201],"DAISY,":[26],"however,":[27],"have":[28],"used":[29],"existing":[30],"hardware":[31,197],"sets":[33],"ISAs,":[36],"which":[37],"complicates":[38],"optimization.":[41],"In":[42],"fact,":[43],"there":[44],"has":[45],"been":[46],"little":[47],"research":[48],"on":[49,73,129,160,199],"specific":[50],"designs":[51],"for":[52,56,70,212],"ISA":[55,64],"processors.":[57],"This":[58],"paper":[59],"proposes":[60],"novel":[62,111],"(LLVA)":[65],"strategy":[69,136],"implementing":[71],"it":[72],"arbitrary":[74],"hardware.":[75,108],"The":[76],"is":[79,182],"typed,":[80],"uses":[81,101],"an":[82],"infinite":[83],"register":[85],"in":[87,184],"static":[88],"single":[89],"assignment":[90],"form,":[91],"provides":[93],"explicit":[94],"control-flow":[95],"dataflow":[97],"information,":[98,150],"yet":[100],"low-level":[102],"operations":[103],"closely":[104],"matched":[105],"traditional":[107],"It":[109,155],"includes":[110],"mechanisms":[112],"allow":[114],"more":[115],"flexible":[116,123],"optimization":[117],"of":[118,145,207],"native":[119,146,187],"code,":[120,189],"including":[121],"exception":[124],"model":[125],"minor":[127],"constraints":[128],"self-modifying":[130],"code.":[131],"We":[132,170],"propose":[133],"that":[137,173],"enables":[138],"offline":[139,143,167],"transparent":[142],"caching":[144],"code":[147,181],"profile":[149],"while":[151],"remaining":[152],"completely":[153],"OS-independent.":[154],"also":[156],"supports":[157],"optimizations":[158],"directly":[159],"the":[161],"representation":[162],"at":[163],"install-time,":[164],"runtime,":[165],"between":[168],"executions.":[169],"show":[171],"experimentally":[172],"despite":[174],"its":[175],"rich":[176],"information":[177],"content,":[178],"object":[180],"comparable":[183],"size":[185],"machine":[188],"instructions":[191,198],"expand":[192],"only":[194],"2-4":[195],"ordinary":[196],"average,":[200],"simple":[202],"costs":[204],"under":[205],"1%":[206],"total":[208],"execution":[209],"time":[210],"except":[211],"very":[213],"short":[214],"runs.":[215]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":3}],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}
