{"id":"https://openalex.org/W4378800831","doi":"https://doi.org/10.1145/3583781.3590308","title":"SVP: Safe and Efficient Speculative Execution Mechanism through Value Prediction","display_name":"SVP: Safe and Efficient Speculative Execution Mechanism through Value Prediction","publication_year":2023,"publication_date":"2023-05-31","ids":{"openalex":"https://openalex.org/W4378800831","doi":"https://doi.org/10.1145/3583781.3590308"},"language":"en","primary_location":{"id":"doi:10.1145/3583781.3590308","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3583781.3590308","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Great Lakes Symposium on VLSI 2023","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/A5112535082","display_name":"Kaixuan Wang","orcid":null},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kaixuan Wang","raw_affiliation_strings":["State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-4523-4201","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082441424","display_name":"Xinyu Qin","orcid":"https://orcid.org/0009-0005-8586-2260"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinyu Qin","raw_affiliation_strings":["State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0005-8586-2260","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100459963","display_name":"Zhuoyuan Yang","orcid":"https://orcid.org/0009-0007-7328-957X"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhuoyuan Yang","raw_affiliation_strings":["State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0007-7328-957X","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101894190","display_name":"Weiliang He","orcid":"https://orcid.org/0009-0007-4048-933X"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiliang He","raw_affiliation_strings":["State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0007-4048-933X","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092052176","display_name":"Yifan Liu","orcid":"https://orcid.org/0009-0008-6357-8906"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yifan Liu","raw_affiliation_strings":["State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0009-0008-6357-8906","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066674438","display_name":"Jun Han","orcid":"https://orcid.org/0000-0002-5245-0754"},"institutions":[{"id":"https://openalex.org/I24943067","display_name":"Fudan University","ror":"https://ror.org/013q1eq08","country_code":"CN","type":"education","lineage":["https://openalex.org/I24943067"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jun Han","raw_affiliation_strings":["State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China"],"raw_orcid":"https://orcid.org/0000-0002-5245-0754","affiliations":[{"raw_affiliation_string":"State Key Laboratory of Integrated Chips and Systems, Fudan University, Shanghai, China","institution_ids":["https://openalex.org/I24943067"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05070557,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"433","last_page":"437"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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/T10502","display_name":"Advanced Memory and Neural Computing","score":0.9954000115394592,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10478","display_name":"Diamond and Carbon-based Materials Research","score":0.9873999953269958,"subfield":{"id":"https://openalex.org/subfields/2505","display_name":"Materials Chemistry"},"field":{"id":"https://openalex.org/fields/25","display_name":"Materials 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.8419430255889893},{"id":"https://openalex.org/keywords/operand","display_name":"Operand","score":0.8019366264343262},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6885477900505066},{"id":"https://openalex.org/keywords/speculative-execution","display_name":"Speculative execution","score":0.6460834741592407},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.6449781656265259},{"id":"https://openalex.org/keywords/value","display_name":"Value (mathematics)","score":0.5492694973945618},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.516623318195343},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5079477429389954},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5033623576164246},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.4270828366279602},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4199373722076416},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.38941431045532227},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.22645220160484314},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1061764657497406},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.06779330968856812}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8419430255889893},{"id":"https://openalex.org/C55526617","wikidata":"https://www.wikidata.org/wiki/Q719375","display_name":"Operand","level":2,"score":0.8019366264343262},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6885477900505066},{"id":"https://openalex.org/C141331961","wikidata":"https://www.wikidata.org/wiki/Q2164465","display_name":"Speculative execution","level":2,"score":0.6460834741592407},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.6449781656265259},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.5492694973945618},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.516623318195343},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5079477429389954},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5033623576164246},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.4270828366279602},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4199373722076416},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.38941431045532227},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.22645220160484314},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1061764657497406},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.06779330968856812},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3583781.3590308","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3583781.3590308","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Great Lakes Symposium on VLSI 2023","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W2053496002","https://openalex.org/W2808110847","https://openalex.org/W2810584084","https://openalex.org/W2884163605","https://openalex.org/W2952322674","https://openalex.org/W2963311060","https://openalex.org/W2978325751","https://openalex.org/W3036557299","https://openalex.org/W3101300690","https://openalex.org/W3153564332"],"related_works":["https://openalex.org/W2556282987","https://openalex.org/W1533508804","https://openalex.org/W17155033","https://openalex.org/W3207760230","https://openalex.org/W1496222301","https://openalex.org/W1590307681","https://openalex.org/W2536018345","https://openalex.org/W4312814274","https://openalex.org/W2904129921","https://openalex.org/W3083271878"],"abstract_inverted_index":{"Speculative":[0,66],"execution":[1,11],"attacks":[2],"such":[3],"as":[4],"Spectre":[5,122],"and":[6,72,89,127],"Meltdown":[7],"exploit":[8],"the":[9,75,85,97,107,115,121,129],"wrong":[10],"patch":[12],"to":[13,70],"leak":[14],"private":[15],"data.":[16],"In":[17],"current":[18],"state-of-the-art":[19,116],"defense":[20,63,117],"strategies,":[21],"executions":[22],"of":[23,99],"all":[24],"memory":[25,44,78],"accesses":[26,45,79],"that":[27,41,104],"use":[28],"speculatively-loaded":[29],"addresses":[30],"are":[31],"blocked,":[32],"resulting":[33],"in":[34,120,128],"high":[35],"overhead.":[36],"Our":[37],"key":[38],"observation":[39],"is":[40,93],"these":[42],"blocked":[43],"can":[46],"be":[47],"executed":[48],"without":[49],"operand-dependent":[50],"hardware":[51,62],"resource":[52],"usage":[53],"through":[54],"value":[55,100,108],"prediction.":[56],"Therefore,":[57],"we":[58],"propose":[59],"a":[60],"novel":[61],"framework,":[64],"named":[65],"Value":[67],"Prediction":[68],"(SVP),":[69],"safely":[71],"efficiently":[73],"execute":[74],"potentially":[76],"unsafe":[77],"earlier.":[80],"We":[81],"build":[82],"SVP":[83,113],"on":[84],"cycle-accurate":[86],"Gem5":[87],"simulator":[88],"its":[90],"performance":[91],"improvement":[92],"positively":[94],"correlated":[95],"with":[96,110],"coverage":[98],"predictors.":[101],"Experiments":[102],"show":[103],"when":[105],"using":[106],"predictor":[109],"30%/60%/100%":[111],"coverage,":[112],"outperforms":[114],"mechanism":[118],"STT":[119],"model":[123,131],"by":[124,132],"21.5%/50.3%/107.7%":[125],"respectively,":[126],"Futuristic":[130],"28.7%/55.4%/105.7%":[133],"respectively.":[134]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}