{"id":"https://openalex.org/W3000452330","doi":"https://doi.org/10.1109/ase.2019.00091","title":"Batch Alias Analysis","display_name":"Batch Alias Analysis","publication_year":2019,"publication_date":"2019-11-01","ids":{"openalex":"https://openalex.org/W3000452330","doi":"https://doi.org/10.1109/ase.2019.00091","mag":"3000452330"},"language":"en","primary_location":{"id":"doi:10.1109/ase.2019.00091","doi":"https://doi.org/10.1109/ase.2019.00091","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2019.00091","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5085360368","display_name":"Jyothi Vedurada","orcid":"https://orcid.org/0000-0002-5911-6011","observed_orcids":["https://orcid.org/0000-0002-5911-6011"]},"institutions":[{"id":"https://openalex.org/I24676775","display_name":"Indian Institute of Technology Madras","ror":"https://ror.org/03v0r5n49","country_code":"IN","type":"education","lineage":["https://openalex.org/I24676775"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Jyothi Vedurada","raw_affiliation_strings":["Dept. of CSE, IIT Madras"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dept. of CSE, IIT Madras","institution_ids":["https://openalex.org/I24676775"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022804082","display_name":"V. Krishna Nandivada","orcid":"https://orcid.org/0000-0002-5949-0046","observed_orcids":["https://orcid.org/0000-0002-5949-0046"]},"institutions":[{"id":"https://openalex.org/I24676775","display_name":"Indian Institute of Technology Madras","ror":"https://ror.org/03v0r5n49","country_code":"IN","type":"education","lineage":["https://openalex.org/I24676775"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"V. Krishna Nandivada","raw_affiliation_strings":["Indian Institute of Technology Madras"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Indian Institute of Technology Madras","institution_ids":["https://openalex.org/I24676775"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I24676775"],"apc_list":null,"apc_paid":null,"fwci":1.0587,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.73278949,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"936","last_page":"948"},"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.8393999934196472,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.8393999934196472,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.1137000024318695,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.016300000250339508,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/demand-driven-analysis","display_name":"demand-driven analysis","score":0.8640000224113464},{"id":"https://openalex.org/keywords/points-to-analysis","display_name":"points-to analysis","score":0.9139999747276306},{"id":"https://openalex.org/keywords/alias-analysis","display_name":"alias analysis","score":0.8759999871253967},{"id":"https://openalex.org/keywords/scalability","display_name":"scalability","score":0.7310000061988831},{"id":"https://openalex.org/keywords/race-detection","display_name":"race detection","score":0.7609999775886536},{"id":"https://openalex.org/keywords/program-comprehension","display_name":"program comprehension","score":0.6880000233650208},{"id":"https://openalex.org/keywords/integrated-development-environment","display_name":"integrated development environment","score":0.6299999952316284}],"concepts":[{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.9552635550498962},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8255355358123779},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.801045298576355},{"id":"https://openalex.org/C172658912","wikidata":"https://www.wikidata.org/wiki/Q661613","display_name":"Batch processing","level":2,"score":0.5142723917961121},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4369087219238281},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4139881432056427},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3491382300853729},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.26569288969039917},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2367624044418335},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2220543622970581},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21358680725097656}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase.2019.00091","doi":"https://doi.org/10.1109/ase.2019.00091","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase.2019.00091","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"IEEE/ACM International Conference on Automated Software Engineering (ASE)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W1533004102","https://openalex.org/W1536098516","https://openalex.org/W1586099086","https://openalex.org/W1837958857","https://openalex.org/W1971782746","https://openalex.org/W2015143242","https://openalex.org/W2031507118","https://openalex.org/W2046699259","https://openalex.org/W2050680750","https://openalex.org/W2080696000","https://openalex.org/W2110833886","https://openalex.org/W2112936713","https://openalex.org/W2119137801","https://openalex.org/W2122745100","https://openalex.org/W2132685964","https://openalex.org/W2133497528","https://openalex.org/W2133608633","https://openalex.org/W2133662847","https://openalex.org/W2141442517","https://openalex.org/W2149237601","https://openalex.org/W2150874411","https://openalex.org/W2166091242","https://openalex.org/W2167363133","https://openalex.org/W2169304846","https://openalex.org/W2553375745","https://openalex.org/W2621356408","https://openalex.org/W2761799536","https://openalex.org/W2898177614","https://openalex.org/W2898448949","https://openalex.org/W2900044545","https://openalex.org/W2912827714","https://openalex.org/W4235278598","https://openalex.org/W4243644740","https://openalex.org/W4245041203","https://openalex.org/W4251521700","https://openalex.org/W4300810260"],"related_works":["https://openalex.org/W3013983845","https://openalex.org/W7097319043","https://openalex.org/W2785860608","https://openalex.org/W3163215105","https://openalex.org/W4378373694","https://openalex.org/W7098310835","https://openalex.org/W2999781594","https://openalex.org/W2169304846","https://openalex.org/W1518437829","https://openalex.org/W7097297119"],"abstract_inverted_index":{"Many":[0],"program-analysis":[1],"based":[2,116],"tools":[3,87],"require":[4],"precise":[5],"points-to/alias":[6],"information":[7,38],"only":[8,28],"for":[9,82,120,127,202],"some":[10],"program":[11,85],"variables.":[12],"To":[13,180],"meet":[14],"this":[15,97,185],"requirement":[16],"efficiently,":[17],"there":[18],"have":[19],"been":[20],"many":[21],"works":[22],"on":[23,39,54,111,117,217,223],"demand-driven":[24,46,107,177,190,198],"analyses":[25,47,108,192],"that":[26,169,211,229],"perform":[27],"the":[29,34,40,58,104,128,133,150,157,182,194],"work":[30,114],"necessary":[31],"to":[32,102,173,233],"compute":[33],"points-to":[35],"or":[36],"alias":[37,166,178,191,199],"requested":[41],"variables":[42],"(queries).":[43],"However,":[44],"these":[45],"can":[48,62,139,170],"be":[49,63,171],"very":[50],"expensive":[51],"when":[52,84],"applied":[53],"large":[55],"systems":[56],"where":[57,75,156],"number":[59],"of":[60,106,135,184],"queries":[61,143,158],"significant.":[64],"Such":[65],"a":[66,164,218,224],"blow-up":[67],"in":[68,73,144,160,241],"analysis":[69,86,148,167,200,231],"time":[70,154],"is":[71,80,115],"unacceptable":[72],"cases":[74],"scalability":[76,105],"with":[77,152,238],"real-time":[78],"constraints":[79],"crucial;":[81],"example,":[83],"are":[88],"plugged":[89],"into":[90],"an":[91,207],"IDE":[92],"(Integrated":[93],"Development":[94],"Environment).":[95],"In":[96],"paper,":[98],"we":[99,187],"propose":[100],"schemes":[101],"improve":[103],"without":[109],"compromising":[110],"precision.":[112,242],"Our":[113,215],"novel":[118],"ideas":[119],"eliminating":[121],"irrelevant":[122,213],"and":[123,205,222],"redundant":[124],"data-flow":[125],"paths":[126],"given":[129,142,176],"queries.":[130],"We":[131,162],"introduce":[132],"idea":[134],"batch":[136,145,165,230],"analysis,":[137],"which":[138],"answer":[140],"multiple":[141],"mode.":[146],"Batch":[147],"suits":[149],"environments":[151],"strict":[153],"constraints,":[155],"come":[159],"batch.":[161],"present":[163],"framework":[168],"used":[172],"speed":[174],"up":[175],"analysis.":[179],"show":[181,228],"effectiveness":[183],"framework,":[186],"use":[188],"two":[189],"(1)":[193],"existing":[195],"best":[196],"performing":[197],"tool":[201],"race-detection":[203],"clients":[204],"(2)":[206],"optimized":[208],"version":[209],"thereof":[210],"avoids":[212],"computation.":[214],"evaluations":[216],"simulated":[219],"data-race":[220],"client,":[221],"recent":[225],"program-understanding":[226],"tool,":[227],"leads":[232],"significant":[234],"performance":[235],"gains,":[236],"along":[237],"minor":[239],"gains":[240]},"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":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2020-01-23T00:00:00"}