{"id":"https://openalex.org/W2289498116","doi":"https://doi.org/10.1145/2854038.2854043","title":"Sparse flow-sensitive pointer analysis for multithreaded programs","display_name":"Sparse flow-sensitive pointer analysis for multithreaded programs","publication_year":2016,"publication_date":"2016-02-29","ids":{"openalex":"https://openalex.org/W2289498116","doi":"https://doi.org/10.1145/2854038.2854043","mag":"2289498116"},"language":"en","primary_location":{"id":"doi:10.1145/2854038.2854043","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2854038.2854043","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 International Symposium on Code Generation and Optimization","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/1959.4/unsworks_42003","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5053058502","display_name":"Yulei Sui","orcid":"https://orcid.org/0000-0002-9510-6574"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Yulei Sui","raw_affiliation_strings":["UNSW, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5000833287","display_name":"Peng Di","orcid":"https://orcid.org/0000-0002-5799-5876"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Peng Di","raw_affiliation_strings":["UNSW, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024664385","display_name":"Jingling Xue","orcid":"https://orcid.org/0000-0003-0380-3506"},"institutions":[{"id":"https://openalex.org/I31746571","display_name":"UNSW Sydney","ror":"https://ror.org/03r8z3t63","country_code":"AU","type":"education","lineage":["https://openalex.org/I31746571"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Jingling Xue","raw_affiliation_strings":["UNSW, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"UNSW, Australia","institution_ids":["https://openalex.org/I31746571"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5053058502"],"corresponding_institution_ids":["https://openalex.org/I31746571"],"apc_list":null,"apc_paid":null,"fwci":8.6457,"has_fulltext":false,"cited_by_count":53,"citation_normalized_percentile":{"value":0.98278845,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"160","last_page":"170"},"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.9993000030517578,"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.9993000030517578,"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/T11424","display_name":"Security and Verification in Computing","score":0.9983999729156494,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9973999857902527,"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/pointer-analysis","display_name":"Pointer analysis","score":0.9431675672531128},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8468000292778015},{"id":"https://openalex.org/keywords/pointer","display_name":"Pointer (user interface)","score":0.7670251727104187},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6868919134140015},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6350617408752441},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5259628295898438},{"id":"https://openalex.org/keywords/usable","display_name":"USable","score":0.5057337284088135},{"id":"https://openalex.org/keywords/c-dynamic-memory-allocation","display_name":"C dynamic memory allocation","score":0.4816109538078308},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.47573184967041016},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.45503565669059753},{"id":"https://openalex.org/keywords/multithreading","display_name":"Multithreading","score":0.4342365860939026},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4287119209766388},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.4130935072898865},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.3969917297363281},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.23789063096046448},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.1390916109085083}],"concepts":[{"id":"https://openalex.org/C7263679","wikidata":"https://www.wikidata.org/wiki/Q5978076","display_name":"Pointer analysis","level":3,"score":0.9431675672531128},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8468000292778015},{"id":"https://openalex.org/C150202949","wikidata":"https://www.wikidata.org/wiki/Q107602","display_name":"Pointer (user interface)","level":2,"score":0.7670251727104187},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6868919134140015},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6350617408752441},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5259628295898438},{"id":"https://openalex.org/C2780615836","wikidata":"https://www.wikidata.org/wiki/Q2471869","display_name":"USable","level":2,"score":0.5057337284088135},{"id":"https://openalex.org/C34339311","wikidata":"https://www.wikidata.org/wiki/Q1050390","display_name":"C dynamic memory allocation","level":4,"score":0.4816109538078308},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.47573184967041016},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.45503565669059753},{"id":"https://openalex.org/C201410400","wikidata":"https://www.wikidata.org/wiki/Q1064412","display_name":"Multithreading","level":3,"score":0.4342365860939026},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4287119209766388},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.4130935072898865},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.3969917297363281},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.23789063096046448},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.1390916109085083},{"id":"https://openalex.org/C136085584","wikidata":"https://www.wikidata.org/wiki/Q910289","display_name":"Overlay","level":2,"score":0.0},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2854038.2854043","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2854038.2854043","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2016 International Symposium on Code Generation and Optimization","raw_type":"proceedings-article"},{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/unsworks_42003","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/unsworks_42003","pdf_url":null,"source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"14th International Symposium on Code Generation and Optimization (CGO), Barcelona, SPAIN, 2016-03-12 - 2016-03-18","raw_type":"http://purl.org/coar/resource_type/c_5794"},{"id":"pmh:oai:unsworks.unsw.edu.au:1959.4/unsworks_42003","is_oa":false,"landing_page_url":"http://dl.acm.org/citation.cfm?doid=2854038.2854043","pdf_url":null,"source":{"id":"https://openalex.org/S4377196481","display_name":"UNSWorks (UNSW Sydney)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I31746571","host_organization_name":"UNSW Sydney","host_organization_lineage":["https://openalex.org/I31746571"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:unsworks.library.unsw.edu.au:1959.4/unsworks_42003","is_oa":true,"landing_page_url":"http://hdl.handle.net/1959.4/unsworks_42003","pdf_url":null,"source":{"id":"https://openalex.org/S4306401737","display_name":"UNSWorks (University of New South Wales, Sydney, Australia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I40053085","host_organization_name":"Australian Defence Force Academy","host_organization_lineage":["https://openalex.org/I40053085"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"14th International Symposium on Code Generation and Optimization (CGO), Barcelona, SPAIN, 2016-03-12 - 2016-03-18","raw_type":"http://purl.org/coar/resource_type/c_5794"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W46012774","https://openalex.org/W198969604","https://openalex.org/W1579794848","https://openalex.org/W1602885681","https://openalex.org/W1727650458","https://openalex.org/W1969599528","https://openalex.org/W1971327145","https://openalex.org/W1981185057","https://openalex.org/W1996146601","https://openalex.org/W1996567876","https://openalex.org/W1997474908","https://openalex.org/W1999517284","https://openalex.org/W2050320220","https://openalex.org/W2065826255","https://openalex.org/W2072102701","https://openalex.org/W2080205938","https://openalex.org/W2111996055","https://openalex.org/W2123135156","https://openalex.org/W2126790595","https://openalex.org/W2127163775","https://openalex.org/W2127825616","https://openalex.org/W2127959721","https://openalex.org/W2134569009","https://openalex.org/W2136271630","https://openalex.org/W2145911832","https://openalex.org/W2148755014","https://openalex.org/W2149237601","https://openalex.org/W2153185479","https://openalex.org/W2154847114","https://openalex.org/W2158449625","https://openalex.org/W2158600037","https://openalex.org/W2294085393","https://openalex.org/W3005880032","https://openalex.org/W4249000722","https://openalex.org/W4251478049","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W4205439553","https://openalex.org/W3121955897","https://openalex.org/W4240492736","https://openalex.org/W1889944642","https://openalex.org/W2077850509","https://openalex.org/W100570981","https://openalex.org/W23987500","https://openalex.org/W2289498116","https://openalex.org/W1996238228","https://openalex.org/W3005880032"],"abstract_inverted_index":{"For":[0,97,130],"C":[1,27,37,57,79],"programs,":[2,28,99],"flow-sensitivity":[3],"is":[4,109,135],"important":[5],"to":[6,10],"enable":[7],"pointer":[8,22,48,107],"analysis":[9,23,62,71,108,117,134],"achieve":[11],"highly":[12],"usable":[13],"precision.":[14],"Despite":[15],"significant":[16],"recent":[17],"advances":[18],"in":[19],"scaling":[20],"flow-sensitive":[21,106],"sparsely":[24],"for":[25,35,54,88],"sequential":[26],"relatively":[29],"little":[30],"progress":[31],"has":[32],"been":[33],"made":[34],"multithreaded":[36,78],"programs.":[38],"In":[39],"this":[40],"paper,":[41],"we":[42],"present":[43],"FSAM,":[44],"a":[45,66],"new":[46],"Flow-Sensitive":[47],"Analysis":[49],"that":[50],"achieves":[51],"its":[52],"scalability":[53],"large":[55],"Multithreaded":[56],"programs":[58,80],"by":[59],"performing":[60],"sparse":[61],"on":[63,123,128],"top":[64],"of":[65,68,86],"series":[67],"thread":[69],"interference":[70],"phases.":[72],"We":[73],"evaluate":[74],"FSAM":[75],"with":[76],"10":[77],"(with":[81],"more":[82],"than":[83],"100K":[84],"lines":[85],"code":[87],"the":[89,103,131],"largest)":[90],"from":[91],"Phoenix-2.0,":[92],"Parsec-3.0":[93],"and":[94,101,125,138],"open-source":[95],"applications.":[96],"two":[98,113],"raytrace":[100,124],"x264,":[102],"traditional":[104],"data-flow-based":[105],"un-":[110],"scalable":[111],"(under":[112],"hours)":[114],"but":[115],"our":[116,133],"spends":[118],"just":[119],"under":[120],"5":[121],"minutes":[122,127],"9":[126],"x264.":[129],"rest,":[132],"12x":[136],"faster":[137],"uses":[139],"28x":[140],"less":[141],"memory.":[142]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":8}],"updated_date":"2026-05-04T08:30:34.212998","created_date":"2025-10-10T00:00:00"}