{"id":"https://openalex.org/W2185182732","doi":null,"title":"Path-Sensitive, Value-Flow Optimizations of Programs","display_name":"Path-Sensitive, Value-Flow Optimizations of Programs","publication_year":1999,"publication_date":"1999-01-01","ids":{"openalex":"https://openalex.org/W2185182732","mag":"2185182732"},"language":"en","primary_location":{"id":"mag:2185182732","doi":null,"is_oa":false,"landing_page_url":"https://people.cs.pitt.edu/~soffa/research/dissertations/bodik.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"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/A5012245927","display_name":"Rastislav Bod \u0301 ik","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rastislav Bod \u0301 ik","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5012245927"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.8910999894142151,"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.8910999894142151,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.042500000447034836,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.008999999612569809,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/path-sensitive-analysis","display_name":"path-sensitive analysis","score":0.8059999942779541},{"id":"https://openalex.org/keywords/value-flow-analysis","display_name":"value flow analysis","score":0.7990000247955322},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.9710000157356262},{"id":"https://openalex.org/keywords/program-analysis","display_name":"program analysis","score":0.3720000088214874},{"id":"https://openalex.org/keywords/data-flow","display_name":"data flow","score":0.3889999985694885}],"concepts":[{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5059024691581726},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4776395857334137},{"id":"https://openalex.org/C38349280","wikidata":"https://www.wikidata.org/wiki/Q1434290","display_name":"Flow (mathematics)","level":2,"score":0.46771660447120667},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.46008017659187317},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2600547671318054},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12225985527038574},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"mag:2185182732","doi":null,"is_oa":false,"landing_page_url":"https://people.cs.pitt.edu/~soffa/research/dissertations/bodik.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":112,"referenced_works":["https://openalex.org/W56691616","https://openalex.org/W262335958","https://openalex.org/W1484177637","https://openalex.org/W1491178396","https://openalex.org/W1499323045","https://openalex.org/W1502293651","https://openalex.org/W1534851179","https://openalex.org/W1541457918","https://openalex.org/W1567986590","https://openalex.org/W1574093496","https://openalex.org/W1594375205","https://openalex.org/W1604147565","https://openalex.org/W1605152326","https://openalex.org/W1965288623","https://openalex.org/W1965341318","https://openalex.org/W1966708457","https://openalex.org/W1969077685","https://openalex.org/W1982205631","https://openalex.org/W1983166063","https://openalex.org/W1983207841","https://openalex.org/W1988927353","https://openalex.org/W1990087033","https://openalex.org/W1990349513","https://openalex.org/W1991779584","https://openalex.org/W1993402810","https://openalex.org/W1994334933","https://openalex.org/W1999362312","https://openalex.org/W1999961006","https://openalex.org/W2002181967","https://openalex.org/W2002427499","https://openalex.org/W2002920670","https://openalex.org/W2009418036","https://openalex.org/W2010452422","https://openalex.org/W2013137740","https://openalex.org/W2015437853","https://openalex.org/W2017351599","https://openalex.org/W2017482298","https://openalex.org/W2019584651","https://openalex.org/W2021951417","https://openalex.org/W2022363576","https://openalex.org/W2023222549","https://openalex.org/W2024988162","https://openalex.org/W2025317174","https://openalex.org/W2026438857","https://openalex.org/W2030400507","https://openalex.org/W2031487553","https://openalex.org/W2032854624","https://openalex.org/W2034579607","https://openalex.org/W2036157748","https://openalex.org/W2036918610","https://openalex.org/W2043100293","https://openalex.org/W2044895797","https://openalex.org/W2053152889","https://openalex.org/W2054652902","https://openalex.org/W2054939714","https://openalex.org/W2055084740","https://openalex.org/W2058360616","https://openalex.org/W2059590831","https://openalex.org/W2061595191","https://openalex.org/W2062444590","https://openalex.org/W2063255488","https://openalex.org/W2064617810","https://openalex.org/W2064909421","https://openalex.org/W2067836954","https://openalex.org/W2068191498","https://openalex.org/W2068219251","https://openalex.org/W2069070827","https://openalex.org/W2072910724","https://openalex.org/W2076090418","https://openalex.org/W2084451631","https://openalex.org/W2084475036","https://openalex.org/W2087086761","https://openalex.org/W2087695439","https://openalex.org/W2089294198","https://openalex.org/W2091909330","https://openalex.org/W2092467549","https://openalex.org/W2095565544","https://openalex.org/W2095667776","https://openalex.org/W2098277586","https://openalex.org/W2101134669","https://openalex.org/W2101483132","https://openalex.org/W2102582914","https://openalex.org/W2108112890","https://openalex.org/W2109027606","https://openalex.org/W2113559897","https://openalex.org/W2114067856","https://openalex.org/W2116299797","https://openalex.org/W2118263004","https://openalex.org/W2129276112","https://openalex.org/W2133608633","https://openalex.org/W2138007781","https://openalex.org/W2143659699","https://openalex.org/W2149172130","https://openalex.org/W2150082535","https://openalex.org/W2153096254","https://openalex.org/W2153131460","https://openalex.org/W2163466224","https://openalex.org/W2164638440","https://openalex.org/W2166907479","https://openalex.org/W2167258273","https://openalex.org/W2167651816","https://openalex.org/W2167732362","https://openalex.org/W2169810797","https://openalex.org/W2242293693","https://openalex.org/W2244841219","https://openalex.org/W2293286976","https://openalex.org/W2293873148","https://openalex.org/W2989453280","https://openalex.org/W3138808447","https://openalex.org/W4232488598","https://openalex.org/W4236595536","https://openalex.org/W4237994905"],"related_works":["https://openalex.org/W7099894132","https://openalex.org/W154430571","https://openalex.org/W2025554746","https://openalex.org/W2114192381","https://openalex.org/W2613358960","https://openalex.org/W2088017390","https://openalex.org/W2416114559","https://openalex.org/W182862416","https://openalex.org/W2532153517","https://openalex.org/W2984753047"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}