{"id":"https://openalex.org/W2103743113","doi":"https://doi.org/10.1145/1882291.1882334","title":"Field-sensitive program dependence analysis","display_name":"Field-sensitive program dependence analysis","publication_year":2010,"publication_date":"2010-11-07","ids":{"openalex":"https://openalex.org/W2103743113","doi":"https://doi.org/10.1145/1882291.1882334","mag":"2103743113"},"language":"en","primary_location":{"id":"doi:10.1145/1882291.1882334","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1882291.1882334","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering","raw_type":"proceedings-article"},"type":"article","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/A5005221650","display_name":"Shay Litvak","orcid":null},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Shay Litvak","raw_affiliation_strings":["Tel Aviv University & Panaya Inc., Tel-Aviv, Israel","Tel Aviv University & Panaya Inc., Tel-Aviv, Israel#TAB#"],"affiliations":[{"raw_affiliation_string":"Tel Aviv University & Panaya Inc., Tel-Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel Aviv University & Panaya Inc., Tel-Aviv, Israel#TAB#","institution_ids":["https://openalex.org/I16391192"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032305325","display_name":"Nurit Dor","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Nurit Dor","raw_affiliation_strings":["Panaya Inc., Rannana, Israel"],"affiliations":[{"raw_affiliation_string":"Panaya Inc., Rannana, Israel","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085160432","display_name":"Rastislav Bod\u00edk","orcid":"https://orcid.org/0000-0001-6639-1647"},"institutions":[{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rastislav Bodik","raw_affiliation_strings":["University of California, Berkeley, Berkeley, CA, USA","University of California, Berkeley, Berkeley, CA USA"],"affiliations":[{"raw_affiliation_string":"University of California, Berkeley, Berkeley, CA, USA","institution_ids":["https://openalex.org/I95457486"]},{"raw_affiliation_string":"University of California, Berkeley, Berkeley, CA USA","institution_ids":["https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082349206","display_name":"Noam Rinetzky","orcid":"https://orcid.org/0000-0002-7750-4085"},"institutions":[{"id":"https://openalex.org/I166337079","display_name":"Queen Mary University of London","ror":"https://ror.org/026zzn846","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I166337079"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Noam Rinetzky","raw_affiliation_strings":["Queen Mary University of London, London, United Kingdom"],"affiliations":[{"raw_affiliation_string":"Queen Mary University of London, London, United Kingdom","institution_ids":["https://openalex.org/I166337079"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002512849","display_name":"Mooly Sagiv","orcid":null},"institutions":[{"id":"https://openalex.org/I16391192","display_name":"Tel Aviv University","ror":"https://ror.org/04mhzgx49","country_code":"IL","type":"education","lineage":["https://openalex.org/I16391192"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Mooly Sagiv","raw_affiliation_strings":["Tel Aviv University, Tel Aviv, Israel","Tel Aviv University, Tel Aviv, Israel,"],"affiliations":[{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel","institution_ids":["https://openalex.org/I16391192"]},{"raw_affiliation_string":"Tel Aviv University, Tel Aviv, Israel,","institution_ids":["https://openalex.org/I16391192"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5005221650"],"corresponding_institution_ids":["https://openalex.org/I16391192"],"apc_list":null,"apc_paid":null,"fwci":1.1176,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.80276364,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"287","last_page":"296"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998000264167786,"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/T10260","display_name":"Software Engineering Research","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9997000098228455,"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.7806267142295837},{"id":"https://openalex.org/keywords/statement","display_name":"Statement (logic)","score":0.773808479309082},{"id":"https://openalex.org/keywords/transitive-relation","display_name":"Transitive relation","score":0.6240783333778381},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5655590891838074},{"id":"https://openalex.org/keywords/field","display_name":"Field (mathematics)","score":0.5580033659934998},{"id":"https://openalex.org/keywords/dependence-analysis","display_name":"Dependence analysis","score":0.5322973728179932},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.4823026657104492},{"id":"https://openalex.org/keywords/affect","display_name":"Affect (linguistics)","score":0.46449780464172363},{"id":"https://openalex.org/keywords/aggregate","display_name":"Aggregate (composite)","score":0.4612423777580261},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.4415239095687866},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4389437437057495},{"id":"https://openalex.org/keywords/scale","display_name":"Scale (ratio)","score":0.42025846242904663},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3293607532978058},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.326469361782074},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.29160910844802856},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09527099132537842}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7806267142295837},{"id":"https://openalex.org/C2777026412","wikidata":"https://www.wikidata.org/wiki/Q2684591","display_name":"Statement (logic)","level":2,"score":0.773808479309082},{"id":"https://openalex.org/C191399111","wikidata":"https://www.wikidata.org/wiki/Q64861","display_name":"Transitive relation","level":2,"score":0.6240783333778381},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5655590891838074},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.5580033659934998},{"id":"https://openalex.org/C27390822","wikidata":"https://www.wikidata.org/wiki/Q320724","display_name":"Dependence analysis","level":2,"score":0.5322973728179932},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.4823026657104492},{"id":"https://openalex.org/C2776035688","wikidata":"https://www.wikidata.org/wiki/Q1606558","display_name":"Affect (linguistics)","level":2,"score":0.46449780464172363},{"id":"https://openalex.org/C4679612","wikidata":"https://www.wikidata.org/wiki/Q866298","display_name":"Aggregate (composite)","level":2,"score":0.4612423777580261},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.4415239095687866},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4389437437057495},{"id":"https://openalex.org/C2778755073","wikidata":"https://www.wikidata.org/wiki/Q10858537","display_name":"Scale (ratio)","level":2,"score":0.42025846242904663},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3293607532978058},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.326469361782074},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.29160910844802856},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09527099132537842},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1882291.1882334","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1882291.1882334","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.306.9521","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.306.9521","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.eecs.qmul.ac.uk/~maon/pubs/FSE10-ADAS.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4300000071525574,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W53653091","https://openalex.org/W166717638","https://openalex.org/W303139982","https://openalex.org/W628871871","https://openalex.org/W1491178396","https://openalex.org/W1533634404","https://openalex.org/W1973828066","https://openalex.org/W1976886499","https://openalex.org/W1997493115","https://openalex.org/W2036157748","https://openalex.org/W2046699259","https://openalex.org/W2060697066","https://openalex.org/W2060910994","https://openalex.org/W2064625489","https://openalex.org/W2080573945","https://openalex.org/W2088140535","https://openalex.org/W2091141964","https://openalex.org/W2092483417","https://openalex.org/W2111695742","https://openalex.org/W2112481005","https://openalex.org/W2114067856","https://openalex.org/W2125725994","https://openalex.org/W2136657144","https://openalex.org/W2147088720","https://openalex.org/W2148755014","https://openalex.org/W2162310108","https://openalex.org/W2172059591","https://openalex.org/W2295857493","https://openalex.org/W2914559722","https://openalex.org/W3151756653","https://openalex.org/W4232801795","https://openalex.org/W4253692155","https://openalex.org/W6610773549","https://openalex.org/W6629325410","https://openalex.org/W6758930709"],"related_works":["https://openalex.org/W2121766308","https://openalex.org/W1985509776","https://openalex.org/W4384948588","https://openalex.org/W19549633","https://openalex.org/W1972602889","https://openalex.org/W2123359817","https://openalex.org/W3035917943","https://openalex.org/W4213439676","https://openalex.org/W4240983189","https://openalex.org/W2014698217"],"abstract_inverted_index":{"Statement":[0],"st":[1],"transitively":[2],"depends":[3],"on":[4],"statement":[5],"stseed":[6,11],"if":[7],"the":[8,14],"execution":[9,15],"of":[10,16,54,58],"may":[12],"affect":[13,52],"st.":[17],"Computing":[18],"transitive":[19,39],"program":[20],"dependences":[21,40],"is":[22],"a":[23],"fundamental":[24],"operation":[25],"in":[26],"many":[27],"automatic":[28],"software":[29,59],"analysis":[30,53],"tools.":[31],"Existing":[32],"tools":[33],"find":[34],"it":[35],"challenging":[36],"to":[37],"compute":[38],"for":[41],"programs":[42],"manipulating":[43],"large":[44],"aggregate":[45],"structure":[46],"variables,":[47],"and":[48],"their":[49],"limitations":[50],"adversely":[51],"certain":[55],"important":[56],"classes":[57],"systems,":[60],"e.g.,":[61],"large-scale":[62],"enterprise":[63],"resource":[64],"planning":[65],"(ERP)":[66],"systems.":[67]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}