{"id":"https://openalex.org/W4250893843","doi":"https://doi.org/10.1109/micro.2016.7783727","title":"CrystalBall: Statically analyzing runtime behavior via deep sequence learning","display_name":"CrystalBall: Statically analyzing runtime behavior via deep sequence learning","publication_year":2016,"publication_date":"2016-10-01","ids":{"openalex":"https://openalex.org/W4250893843","doi":"https://doi.org/10.1109/micro.2016.7783727"},"language":"en","primary_location":{"id":"doi:10.1109/micro.2016.7783727","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2016.7783727","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)","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/A5059321985","display_name":"Stephen A. Zekany","orcid":"https://orcid.org/0000-0003-1914-9318"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Stephen Zekany","raw_affiliation_strings":["University of Michigan - Ann Arbor, MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan - Ann Arbor, MI","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041108470","display_name":"Daniel Rings","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Daniel Rings","raw_affiliation_strings":["University of Michigan - Ann Arbor, MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan - Ann Arbor, MI","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062843392","display_name":"Nathan Harada","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Nathan Harada","raw_affiliation_strings":["University of Michigan - Ann Arbor, MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Michigan - Ann Arbor, MI","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058184922","display_name":"Michael A. Laurenzano","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael A. Laurenzano","raw_affiliation_strings":["Clinc Inc. - Ann Arbor, MI","University of Michigan - Ann Arbor, MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Clinc Inc. - Ann Arbor, MI","institution_ids":[]},{"raw_affiliation_string":"University of Michigan - Ann Arbor, MI","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065128438","display_name":"Lingjia Tang","orcid":"https://orcid.org/0000-0002-5609-7775"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Lingjia Tang","raw_affiliation_strings":["Clinc Inc. - Ann Arbor, MI","University of Michigan - Ann Arbor, MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Clinc Inc. - Ann Arbor, MI","institution_ids":[]},{"raw_affiliation_string":"University of Michigan - Ann Arbor, MI","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053236545","display_name":"Jason Mars","orcid":"https://orcid.org/0000-0002-7029-5292"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jason Mars","raw_affiliation_strings":["Clinc Inc. - Ann Arbor, MI","University of Michigan - Ann Arbor, MI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Clinc Inc. - Ann Arbor, MI","institution_ids":[]},{"raw_affiliation_string":"University of Michigan - Ann Arbor, MI","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5059321985"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":3.4503,"has_fulltext":false,"cited_by_count":15,"citation_normalized_percentile":{"value":0.9415284,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10260","display_name":"Software Engineering Research","score":0.9976999759674072,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9973000288009644,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9937999844551086,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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.8675178289413452},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.8034578561782837},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5498145818710327},{"id":"https://openalex.org/keywords/spec#","display_name":"Spec#","score":0.5462155342102051},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.524617075920105},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.49525418877601624},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.46526387333869934},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.4578077495098114},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.4470170736312866},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.42965370416641235},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.42681193351745605},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.4229470491409302},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.36972635984420776},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.36136651039123535}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8675178289413452},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.8034578561782837},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5498145818710327},{"id":"https://openalex.org/C2778565505","wikidata":"https://www.wikidata.org/wiki/Q2207566","display_name":"Spec#","level":2,"score":0.5462155342102051},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.524617075920105},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.49525418877601624},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.46526387333869934},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.4578077495098114},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.4470170736312866},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.42965370416641235},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.42681193351745605},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.4229470491409302},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.36972635984420776},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.36136651039123535},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/micro.2016.7783727","is_oa":false,"landing_page_url":"https://doi.org/10.1109/micro.2016.7783727","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 49th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W46659105","https://openalex.org/W51862524","https://openalex.org/W179875071","https://openalex.org/W1503398984","https://openalex.org/W1559570474","https://openalex.org/W1964345099","https://openalex.org/W1969012464","https://openalex.org/W1969962573","https://openalex.org/W1994790794","https://openalex.org/W2008438324","https://openalex.org/W2047226031","https://openalex.org/W2064675550","https://openalex.org/W2070133749","https://openalex.org/W2081211681","https://openalex.org/W2099517310","https://openalex.org/W2101134669","https://openalex.org/W2107588378","https://openalex.org/W2108112890","https://openalex.org/W2121470602","https://openalex.org/W2123804192","https://openalex.org/W2126005815","https://openalex.org/W2130942839","https://openalex.org/W2136848157","https://openalex.org/W2138952175","https://openalex.org/W2141670850","https://openalex.org/W2143017915","https://openalex.org/W2143612262","https://openalex.org/W2144433126","https://openalex.org/W2144499799","https://openalex.org/W2150355110","https://openalex.org/W2152175008","https://openalex.org/W2155653793","https://openalex.org/W2158798798","https://openalex.org/W2161407365","https://openalex.org/W4235788944","https://openalex.org/W4238502383","https://openalex.org/W4239813889","https://openalex.org/W4240102993","https://openalex.org/W4246166885","https://openalex.org/W4250948891","https://openalex.org/W4255078887","https://openalex.org/W4256018993","https://openalex.org/W6602002561","https://openalex.org/W6602075438","https://openalex.org/W6607333740","https://openalex.org/W6630177651","https://openalex.org/W6633408921","https://openalex.org/W6638051570","https://openalex.org/W6675115123","https://openalex.org/W6676351392","https://openalex.org/W6679436768","https://openalex.org/W6680873320","https://openalex.org/W6683478887"],"related_works":["https://openalex.org/W345638404","https://openalex.org/W2006860739","https://openalex.org/W2514597554","https://openalex.org/W2401568214","https://openalex.org/W3026405340","https://openalex.org/W2152565783","https://openalex.org/W3134905881","https://openalex.org/W2996310549","https://openalex.org/W2082172430","https://openalex.org/W4245197793"],"abstract_inverted_index":{"Understanding":[0],"dynamic":[1,32],"program":[2,33,84],"behavior":[3,34,77],"is":[4,88],"critical":[5],"in":[6,83],"many":[7],"stages":[8],"of":[9,30,55,65,74,78,80,123,138,151,171],"the":[10,28,72,76,94,102,121,136,141,159],"software":[11],"development":[12],"lifecycle,":[13],"for":[14,127],"purposes":[15],"as":[16,18,99,132],"diverse":[17],"optimization,":[19],"debugging,":[20],"testing,":[21],"and":[22,134],"security.":[23],"This":[24,67],"paper":[25],"focuses":[26],"on":[27,93,112,154],"problem":[29,73],"predicting":[31],"statically.":[35],"We":[36,119],"introduce":[37],"a":[38,148],"novel":[39],"technique":[40,87,153],"to":[41,52,58,71,91,101],"statically":[42],"identify":[43],"hot":[44,128],"paths":[45],"that":[46,108,157,165],"leverages":[47],"emerging":[48],"deep":[49],"learning":[50],"techniques":[51,107],"take":[53],"advantage":[54],"their":[56],"ability":[57],"learn":[59],"subtle,":[60],"complex":[61,155],"relationships":[62],"between":[63],"sequences":[64,79],"inputs.":[66],"approach":[68,117,167],"maps":[69],"well":[70],"identifying":[75],"basic":[81],"blocks":[82],"execution.":[85],"Our":[86],"also":[89],"designed":[90],"operate":[92],"compiler's":[95],"intermediate":[96],"representation":[97],"(IR),":[98],"opposed":[100],"approaches":[103],"taken":[104],"by":[105],"prior":[106],"have":[109],"focused":[110],"primarily":[111],"source":[113],"code,":[114],"giving":[115],"our":[116,152,166],"language-independence.":[118],"describe":[120],"pitfalls":[122],"conventional":[124],"metrics":[125],"used":[126],"path":[129],"prediction":[130],"such":[131],"accuracy,":[133],"motivate":[135],"use":[137],"Area":[139],"Under":[140],"Receiver":[142],"Operating":[143],"Characteristic":[144],"curve":[145],"(AUROC).":[146],"Through":[147],"thorough":[149],"evaluation":[150],"applications":[156],"include":[158],"SPEC":[160],"CPU2006":[161],"benchmarks,":[162],"we":[163],"show":[164],"achieves":[168],"an":[169],"AUROC":[170],"0.85.":[172]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":5}],"updated_date":"2026-05-05T08:41:31.759640","created_date":"2025-10-10T00:00:00"}