{"id":"https://openalex.org/W4282978695","doi":"https://doi.org/10.1145/3524059.3532393","title":"VICO","display_name":"VICO","publication_year":2022,"publication_date":"2022-06-16","ids":{"openalex":"https://openalex.org/W4282978695","doi":"https://doi.org/10.1145/3524059.3532393"},"language":"en","primary_location":{"id":"doi:10.1145/3524059.3532393","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3524059.3532393","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3524059.3532393","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM International Conference on Supercomputing","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3524059.3532393","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009383888","display_name":"Sharjeel Khan","orcid":"https://orcid.org/0000-0002-4563-4619"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sharjeel Khan","raw_affiliation_strings":["Georgia Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080183088","display_name":"Bodhisatwa Chatterjee","orcid":"https://orcid.org/0000-0003-3098-6256"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bodhisatwa Chatterjee","raw_affiliation_strings":["Georgia Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061235810","display_name":"Santosh Pande","orcid":"https://orcid.org/0000-0001-6723-8062"},"institutions":[{"id":"https://openalex.org/I130701444","display_name":"Georgia Institute of Technology","ror":"https://ror.org/01zkghx44","country_code":"US","type":"education","lineage":["https://openalex.org/I130701444"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Santosh Pande","raw_affiliation_strings":["Georgia Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Georgia Institute of Technology","institution_ids":["https://openalex.org/I130701444"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I130701444"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05701625,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"14"},"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.9997000098228455,"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.9997000098228455,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9940999746322632,"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/T10126","display_name":"Logic, programming, and type systems","score":0.993399977684021,"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/compiler","display_name":"Compiler","score":0.8560619950294495},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8083463311195374},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.7683944702148438},{"id":"https://openalex.org/keywords/speedup","display_name":"Speedup","score":0.7018969058990479},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5916269421577454},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.522139847278595},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45107290148735046},{"id":"https://openalex.org/keywords/compile-time","display_name":"Compile time","score":0.42559635639190674}],"concepts":[{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8560619950294495},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8083463311195374},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.7683944702148438},{"id":"https://openalex.org/C68339613","wikidata":"https://www.wikidata.org/wiki/Q1549489","display_name":"Speedup","level":2,"score":0.7018969058990479},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5916269421577454},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.522139847278595},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45107290148735046},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.42559635639190674}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3524059.3532393","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3524059.3532393","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3524059.3532393","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM International Conference on Supercomputing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3524059.3532393","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3524059.3532393","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3524059.3532393","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th ACM International Conference on Supercomputing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4504108201","display_name":null,"funder_award_id":"N00014-17-1","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8568027321","display_name":null,"funder_award_id":"N00014-17-1-2895","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"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/W4282978695.pdf","grobid_xml":"https://content.openalex.org/works/W4282978695.grobid-xml"},"referenced_works_count":69,"referenced_works":["https://openalex.org/W93272017","https://openalex.org/W121297392","https://openalex.org/W145069693","https://openalex.org/W280231913","https://openalex.org/W563453116","https://openalex.org/W600598432","https://openalex.org/W777621473","https://openalex.org/W1494930385","https://openalex.org/W1507006488","https://openalex.org/W1524877046","https://openalex.org/W1598202309","https://openalex.org/W1837593827","https://openalex.org/W1883303451","https://openalex.org/W1971782746","https://openalex.org/W1996146601","https://openalex.org/W2017351599","https://openalex.org/W2034591560","https://openalex.org/W2034761517","https://openalex.org/W2044636417","https://openalex.org/W2051345428","https://openalex.org/W2064441385","https://openalex.org/W2071470850","https://openalex.org/W2074743336","https://openalex.org/W2079235644","https://openalex.org/W2082576283","https://openalex.org/W2083056254","https://openalex.org/W2090268225","https://openalex.org/W2099017529","https://openalex.org/W2102890180","https://openalex.org/W2104659803","https://openalex.org/W2106472852","https://openalex.org/W2108251255","https://openalex.org/W2108315152","https://openalex.org/W2111695742","https://openalex.org/W2114006602","https://openalex.org/W2116176472","https://openalex.org/W2121492601","https://openalex.org/W2130427425","https://openalex.org/W2131135493","https://openalex.org/W2132331020","https://openalex.org/W2139381299","https://openalex.org/W2143549041","https://openalex.org/W2145625133","https://openalex.org/W2148662736","https://openalex.org/W2157099283","https://openalex.org/W2157273783","https://openalex.org/W2179329940","https://openalex.org/W2294933397","https://openalex.org/W2397875151","https://openalex.org/W2506054026","https://openalex.org/W2516139633","https://openalex.org/W2740442565","https://openalex.org/W2748224507","https://openalex.org/W2762833920","https://openalex.org/W2796645376","https://openalex.org/W3003698748","https://openalex.org/W3009106325","https://openalex.org/W3030068990","https://openalex.org/W3102168869","https://openalex.org/W3148529197","https://openalex.org/W3151087846","https://openalex.org/W3151489216","https://openalex.org/W3170867561","https://openalex.org/W4235258810","https://openalex.org/W4246166885","https://openalex.org/W4251798485","https://openalex.org/W4252737723","https://openalex.org/W4253740569","https://openalex.org/W4295882484"],"related_works":["https://openalex.org/W2187181201","https://openalex.org/W2371266106","https://openalex.org/W2164604526","https://openalex.org/W2117382851","https://openalex.org/W3006505070","https://openalex.org/W2382449560","https://openalex.org/W2767298477","https://openalex.org/W2110432562","https://openalex.org/W2002505081","https://openalex.org/W2778498407"],"abstract_inverted_index":{"In":[0,71,254],"spite":[1],"of":[2,32,57,84,207,241],"tremendous":[3],"advances":[4],"in":[5,36,130,135,212,219,223,233,265,281],"data":[6],"dependence":[7,38,208,234],"and":[8,20,117,150,182,188,191,229,247,269,285],"dataflow":[9],"analysis":[10,209,261],"techniques,":[11],"state-of-the-art":[12],"optimizing":[13],"compilers":[14],"continue":[15],"to":[16,65,154,171,216,237,263],"suffer":[17],"from":[18,28],"imprecisions":[19,26],"miss":[21],"potential":[22,115,155],"optimization":[23,77,218],"opportunities.":[24],"These":[25,109],"result":[27],"statically":[29],"unknown":[30],"characteristics":[31],"variables":[33],"that":[34,42,157,202],"participate":[35],"the":[37,54,82,98,127,131,147,186,197,205],"systems,":[39,61],"or":[40],"aliases":[41],"affect":[43],"key":[44],"safety":[45],"properties,":[46],"which":[47,133],"must":[48],"be":[49,69],"conservatively":[50],"assumed.":[51],"However,":[52],"with":[53,81,288],"increased":[55],"tractability":[56],"verification":[58,163,291],"on":[59,120,243,249],"modern":[60],"a":[62,121],"demand-driven":[63,122],"solution":[64],"this":[66,72,139],"problem":[67],"can":[68],"envisioned.":[70],"work,":[73],"we":[74],"model":[75],"loop":[76,183],"constraints":[78,100,110,144],"as":[79,114],"loop-invariants,":[80],"goal":[83],"proving":[85],"their":[86],"runtime":[87],"behaviour":[88],"under":[89],"all":[90],"inputs.":[91],"Our":[92,199],"proposed":[93],"framework":[94],"VICO,":[95],"first":[96],"detects":[97],"unresolved":[99],"whose":[101],"conservative":[102,143],"assumption":[103],"negatively":[104],"affects":[105],"specific":[106],"compiler":[107,149],"optimizations.":[108],"are":[111,118,158],"then":[112],"modeled":[113],"invariants":[116,129],"verified":[119,128,160],"basis.":[123],"Finally,":[124],"VICO":[125,141,203,256],"incorporates":[126],"analysis,":[132],"results":[134,200],"superior":[136,217],"optimization.":[137],"For":[138],"purpose,":[140],"converts":[142],"identified":[145],"by":[146,161,210,273,279],"LLVM":[148,266],"parallelization":[151,181],"tool":[152],"PLuTo,":[153],"invariants,":[156],"further":[159],"SMACK":[162],"tool.":[164],"Following":[165],"such":[166],"an":[167,238],"approach":[168],"enables":[169],"us":[170],"target":[172],"numerous":[173,282],"optimizations":[174,268],"at":[175,185,196],"different":[176,224],"compilation":[177],"phases":[178],"-":[179],"automatic":[180],"transformations":[184],"source-level,":[187],"register":[189],"allocation,":[190],"global":[192],"value":[193],"numbering":[194],"(GVN),":[195],"IR-level.":[198],"show":[201],"improves":[204],"precision":[206,235],"45%":[211],"real-world":[213],"cases,":[214],"leading":[215,262],"over":[220],"75":[221],"loops":[222],"scenarios":[225],"like":[226],"mathematical":[227],"simulations":[228],"solvers.":[230],"The":[231],"improvement":[232],"led":[236],"average":[239],"speedup":[240],"14.7x":[242],"Apple":[244],"M1":[245],"Pro":[246],"6.07x":[248],"Intel":[250],"Xeon":[251],"E5-2660":[252],"systems.":[253],"addition,":[255],"also":[257],"enhances":[258],"LLVM's":[259],"alias":[260],"improvements":[264],"backend":[267],"decreased":[270],"code":[271],"size":[272],"4%":[274],"alongside":[275],"improved":[276],"execution":[277],"time":[278],"2.2%":[280],"linux":[283],"programs":[284],"SPEC":[286],"benchmarks":[287],"(mostly)":[289],"low":[290],"time.":[292]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2022-06-17T00:00:00"}