{"id":"https://openalex.org/W2049311281","doi":"https://doi.org/10.1145/2590811","title":"Global Sparse Analysis Framework","display_name":"Global Sparse Analysis Framework","publication_year":2014,"publication_date":"2014-09-25","ids":{"openalex":"https://openalex.org/W2049311281","doi":"https://doi.org/10.1145/2590811","mag":"2049311281"},"language":"en","primary_location":{"id":"doi:10.1145/2590811","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2590811","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2590811","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":"ACM Transactions on Programming Languages and Systems","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/2590811","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042036026","display_name":"Hakjoo Oh","orcid":"https://orcid.org/0000-0002-1900-7654"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":true,"raw_author_name":"Hakjoo Oh","raw_affiliation_strings":["Seoul National University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Seoul National University, Seoul, Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071661688","display_name":"Kihong Heo","orcid":"https://orcid.org/0000-0003-2671-0142"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Kihong Heo","raw_affiliation_strings":["Seoul National University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Seoul National University, Seoul, Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103167846","display_name":"Wonchan Lee","orcid":"https://orcid.org/0000-0001-8364-5784"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Wonchan Lee","raw_affiliation_strings":["Seoul National University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Seoul National University, Seoul, Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076120088","display_name":"Woosuk Lee","orcid":"https://orcid.org/0000-0002-1884-619X"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Woosuk Lee","raw_affiliation_strings":["Seoul National University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Seoul National University, Seoul, Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103027911","display_name":"Daejun Park","orcid":"https://orcid.org/0000-0001-9255-071X"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Daejun Park","raw_affiliation_strings":["Seoul National University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Seoul National University, Seoul, Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078763719","display_name":"Jeehoon Kang","orcid":"https://orcid.org/0000-0002-2115-0871"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jeehoon Kang","raw_affiliation_strings":["Seoul National University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Seoul National University, Seoul, Korea","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101789148","display_name":"Kwangkeun Yi","orcid":"https://orcid.org/0009-0007-5027-2177"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Kwangkeun Yi","raw_affiliation_strings":["Seoul National University, Seoul, Korea"],"affiliations":[{"raw_affiliation_string":"Seoul National University, Seoul, Korea","institution_ids":["https://openalex.org/I139264467"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5042036026"],"corresponding_institution_ids":["https://openalex.org/I139264467"],"apc_list":null,"apc_paid":null,"fwci":2.9599,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.92197331,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"36","issue":"3","first_page":"1","last_page":"44"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9990000128746033,"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.8902886509895325},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.7658828496932983},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.7420847415924072},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.6684187650680542},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.61464524269104},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5296347737312317},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4699214696884155},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4490155875682831},{"id":"https://openalex.org/keywords/spectrum-analyzer","display_name":"Spectrum analyzer","score":0.44212061166763306},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4241890609264374},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39570850133895874},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.32955417037010193},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08173242211341858}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8902886509895325},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.7658828496932983},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.7420847415924072},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.6684187650680542},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.61464524269104},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5296347737312317},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4699214696884155},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4490155875682831},{"id":"https://openalex.org/C158007255","wikidata":"https://www.wikidata.org/wiki/Q1055222","display_name":"Spectrum analyzer","level":2,"score":0.44212061166763306},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4241890609264374},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39570850133895874},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.32955417037010193},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08173242211341858},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2590811","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2590811","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2590811","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/2590811","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2590811","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2590811","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"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":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2706292587","display_name":null,"funder_award_id":"NRF-2008-0062609","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G3111357103","display_name":null,"funder_award_id":"NRF-2008-0062609","funder_id":"https://openalex.org/F4320322030","funder_display_name":"Ministry of Science, ICT and Future Planning"},{"id":"https://openalex.org/G4269663801","display_name":null,"funder_award_id":"2008-0062609","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"},{"id":"https://openalex.org/G982292920","display_name":null,"funder_award_id":"NRF-20","funder_id":"https://openalex.org/F4320322120","funder_display_name":"National Research Foundation of Korea"}],"funders":[{"id":"https://openalex.org/F4320320671","display_name":"National Research Foundation","ror":"https://ror.org/05s0g1g46"},{"id":"https://openalex.org/F4320322030","display_name":"Ministry of Science, ICT and Future Planning","ror":"https://ror.org/032e49973"},{"id":"https://openalex.org/F4320322120","display_name":"National Research Foundation of Korea","ror":"https://ror.org/013aysd81"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2049311281.pdf","grobid_xml":"https://content.openalex.org/works/W2049311281.grobid-xml"},"referenced_works_count":57,"referenced_works":["https://openalex.org/W2852225","https://openalex.org/W7096863","https://openalex.org/W19219339","https://openalex.org/W198958201","https://openalex.org/W1508482211","https://openalex.org/W1515906028","https://openalex.org/W1518247129","https://openalex.org/W1552117776","https://openalex.org/W1582456956","https://openalex.org/W1602885681","https://openalex.org/W1891117775","https://openalex.org/W1974662185","https://openalex.org/W1975914482","https://openalex.org/W1982205631","https://openalex.org/W1988949749","https://openalex.org/W1999517284","https://openalex.org/W2009288822","https://openalex.org/W2014323361","https://openalex.org/W2014764321","https://openalex.org/W2032854624","https://openalex.org/W2033942886","https://openalex.org/W2043100293","https://openalex.org/W2048173326","https://openalex.org/W2048229966","https://openalex.org/W2053152889","https://openalex.org/W2065826255","https://openalex.org/W2068374154","https://openalex.org/W2080205938","https://openalex.org/W2084875723","https://openalex.org/W2096199323","https://openalex.org/W2096614659","https://openalex.org/W2102890180","https://openalex.org/W2106108278","https://openalex.org/W2109027606","https://openalex.org/W2110507526","https://openalex.org/W2111996055","https://openalex.org/W2118692759","https://openalex.org/W2119648923","https://openalex.org/W2121457325","https://openalex.org/W2132661148","https://openalex.org/W2134569009","https://openalex.org/W2137726309","https://openalex.org/W2138245690","https://openalex.org/W2140809377","https://openalex.org/W2141373773","https://openalex.org/W2147004007","https://openalex.org/W2153578567","https://openalex.org/W2154847114","https://openalex.org/W2165086189","https://openalex.org/W2170736936","https://openalex.org/W2903128504","https://openalex.org/W3100198463","https://openalex.org/W3158747708","https://openalex.org/W4235733131","https://openalex.org/W4242622158","https://openalex.org/W4243742593","https://openalex.org/W4250522981"],"related_works":["https://openalex.org/W2020973245","https://openalex.org/W1508927144","https://openalex.org/W4232090216","https://openalex.org/W2968467529","https://openalex.org/W111020846","https://openalex.org/W3099266052","https://openalex.org/W1480767630","https://openalex.org/W3184046748","https://openalex.org/W2074638034","https://openalex.org/W2465429106"],"abstract_inverted_index":{"In":[0,134],"this":[1,70],"article,":[2],"we":[3,136],"present":[4,118,152],"a":[5,31,59,172],"general":[6,32],"method":[7,96],"for":[8,45],"achieving":[9],"global":[10,60],"static":[11,63,73,148],"analyzers":[12],"that":[13,36,103,123,156,177],"are":[14,127],"precise":[15],"and":[16,61,121,146],"sound,":[17],"yet":[18],"also":[19,170],"scalable.":[20],"Our":[21,95],"method,":[22],"on":[23],"top":[24],"of":[25,91,112,131,143,166,174],"the":[26,53,89,92,104,110,113,186],"abstract":[27,54],"interpretation":[28,55],"framework,":[29],"is":[30,67],"sparse":[33,80,106,125,144,187],"analysis":[34,75,81,188],"technique":[35],"supports":[37],"relational":[38,147],"as":[39,41],"well":[40],"nonrelational":[42,145],"semantics":[43],"properties":[44],"various":[46],"programming":[47],"languages.":[48],"Analysis":[49],"designers":[50,76],"first":[51],"use":[52],"framework":[56,120],"to":[57,83,99,101,158,162,180,183],"have":[58],"correct":[62],"analyzer":[64],"whose":[65],"scalability":[66,86],"unattended.":[68],"Upon":[69],"underlying":[71,93,114],"sound":[72],"analyzer,":[74],"add":[77],"our":[78,119,132],"generalized":[79],"techniques":[82,176],"improve":[84],"its":[85],"while":[87],"preserving":[88],"precision":[90,111],"analysis.":[94],"prescribes":[97],"what":[98],"prove":[100],"guarantee":[102],"resulting":[105],"version":[107],"should":[108],"preserve":[109],"analyzer.":[115],"We":[116,150,169],"formally":[117],"show":[122,137,171],"existing":[124],"analyses":[126],"all":[128],"restricted":[129],"instances":[130],"framework.":[133],"addition,":[135],"more":[138],"semantically":[139],"elaborate":[140],"design":[141],"examples":[142],"analyses.":[149],"then":[151],"their":[153],"implementation":[154,175],"results":[155],"scale":[157],"globally":[159],"analyze":[160],"up":[161],"one":[163],"million":[164],"lines":[165],"C":[167],"programs.":[168],"set":[173],"turn":[178],"out":[179],"be":[181],"critical":[182],"economically":[184],"support":[185],"process.":[189]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":5},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}