{"id":"https://openalex.org/W4312050171","doi":"https://doi.org/10.1145/3570922","title":"OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-program Specialization","display_name":"OCCAM-v2: Combining Static and Dynamic Analysis for Effective and Efficient Whole-program Specialization","publication_year":2022,"publication_date":"2022-10-31","ids":{"openalex":"https://openalex.org/W4312050171","doi":"https://doi.org/10.1145/3570922"},"language":"en","primary_location":{"id":"doi:10.1145/3570922","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3570922","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3570922","source":{"id":"https://openalex.org/S45584542","display_name":"Queue","issn_l":"1542-7730","issn":["1542-7730","1542-7749"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Queue","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3570922","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5026684100","display_name":"Jorge A. Navas","orcid":"https://orcid.org/0000-0002-0516-1167"},"institutions":[{"id":"https://openalex.org/I4210092647","display_name":"Research and Studies Telecommunications Centre","ror":"https://ror.org/00ga0xw04","country_code":"TN","type":"facility","lineage":["https://openalex.org/I4210092647"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Jorge A. Navas","raw_affiliation_strings":["Certora"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Certora","institution_ids":["https://openalex.org/I4210092647"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035466033","display_name":"Ashish Gehani","orcid":"https://orcid.org/0000-0002-3940-2467"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ashish Gehani","raw_affiliation_strings":["SRI"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SRI","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.1275494,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"5","first_page":"58","last_page":"85"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9980999827384949,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/occam","display_name":"occam","score":0.9142082929611206},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8801729679107666},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.6875357627868652},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6424900889396667},{"id":"https://openalex.org/keywords/residual","display_name":"Residual","score":0.5348675847053528},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4865233302116394},{"id":"https://openalex.org/keywords/pointer-analysis","display_name":"Pointer analysis","score":0.4811497926712036},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.47341400384902954},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.45929402112960815},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.42899876832962036},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3045080304145813},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18198952078819275},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1109687089920044}],"concepts":[{"id":"https://openalex.org/C78469957","wikidata":"https://www.wikidata.org/wiki/Q838062","display_name":"occam","level":2,"score":0.9142082929611206},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8801729679107666},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.6875357627868652},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6424900889396667},{"id":"https://openalex.org/C155512373","wikidata":"https://www.wikidata.org/wiki/Q287450","display_name":"Residual","level":2,"score":0.5348675847053528},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4865233302116394},{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.4811497926712036},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47341400384902954},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.45929402112960815},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.42899876832962036},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3045080304145813},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18198952078819275},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1109687089920044}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3570922","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3570922","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3570922","source":{"id":"https://openalex.org/S45584542","display_name":"Queue","issn_l":"1542-7730","issn":["1542-7730","1542-7749"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Queue","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3570922","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3570922","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3570922","source":{"id":"https://openalex.org/S45584542","display_name":"Queue","issn_l":"1542-7730","issn":["1542-7730","1542-7749"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Queue","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4","score":0.4399999976158142}],"awards":[{"id":"https://openalex.org/G2603885644","display_name":null,"funder_award_id":"N68335-17-C-0558","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G3951140497","display_name":"SI2-SSE: Synthesizing Self-Contained Scientific Software","funder_award_id":"1440800","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4312050171.pdf","grobid_xml":"https://content.openalex.org/works/W4312050171.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1969501726","https://openalex.org/W2043100293","https://openalex.org/W2088628452","https://openalex.org/W2111422217","https://openalex.org/W2131135493","https://openalex.org/W2132661148","https://openalex.org/W2162800072","https://openalex.org/W2297774820","https://openalex.org/W2486330015","https://openalex.org/W2512784977","https://openalex.org/W2612418998","https://openalex.org/W2888445849","https://openalex.org/W2888850628","https://openalex.org/W2989324102","https://openalex.org/W3158747708","https://openalex.org/W3181319689","https://openalex.org/W4212958517"],"related_works":["https://openalex.org/W2101609933","https://openalex.org/W2213281886","https://openalex.org/W3121955897","https://openalex.org/W2127929122","https://openalex.org/W4243717981","https://openalex.org/W2134569009","https://openalex.org/W1572250586","https://openalex.org/W3147482974","https://openalex.org/W2065476456","https://openalex.org/W2520889855"],"abstract_inverted_index":{"OCCAM-v2":[0,83,140],"leverages":[1],"scalable":[2],"pointer":[3,86],"analysis,":[4,6,120],"value":[5],"and":[7,14,127],"dynamic":[8],"analysis":[9,87,110],"to":[10,38,88,93,143],"create":[11],"an":[12],"effective":[13],"efficient":[15],"tool":[16],"for":[17,72,118,132],"specializing":[18],"LLVM":[19],"bitcode.":[20],"The":[21,69,108],"extent":[22],"of":[23,60,98,137,156],"the":[24,30,77,95,135,145],"code-size":[25],"reduction":[26],"achieved":[27],"depends":[28],"on":[29,151],"specific":[31],"deployment":[32],"configuration.":[33],"Each":[34],"application":[35],"that":[36,46,50,63,100,115],"is":[37,41],"be":[39,65],"specialized":[40],"accompanied":[42],"by":[43,104,148],"a":[44,53,58,85,154],"manifest":[45],"specifies":[47],"concrete":[48],"arguments":[49,62,78],"are":[51,79,101,116],"known":[52],"priori,":[54],"as":[55,57,122],"well":[56],"count":[59,147],"residual":[61],"will":[64],"provided":[66],"at":[67],"runtime.":[68],"best":[70],"case":[71],"partial":[73],"evaluation":[74],"occurs":[75],"when":[76],"completely":[80],"concretely":[81],"specified.":[82],"uses":[84],"devirtualize":[89],"calls,":[90],"allowing":[91],"it":[92],"eliminate":[94],"entire":[96],"body":[97],"functions":[99],"not":[102],"reachable":[103],"any":[105],"direct":[106],"calls.":[107],"hybrid":[109],"feature":[111],"can":[112],"handle":[113],"cases":[114],"challenging":[117],"static":[119],"such":[121],"input":[123],"loops,":[124],"string":[125],"processing,":[126],"external":[128],"data":[129],"(in":[130],"files,":[131],"example).":[133],"On":[134],"suite":[136],"evaluated":[138],"programs,":[139],"was":[141],"able":[142],"reduce":[144],"instruction":[146],"40.6":[149],"percent":[150],"average,":[152],"taking":[153],"median":[155],"2.4":[157],"seconds.":[158]},"counts_by_year":[],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}