{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:09Z","timestamp":1772163969916,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,5]],"date-time":"2005-09-05T00:00:00Z","timestamp":1125878400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,9,5]]},"DOI":"10.1145\/1108792.1108810","type":"proceedings-article","created":{"date-parts":[[2006,2,6]],"date-time":"2006-02-06T10:52:40Z","timestamp":1139223160000},"page":"67-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Representation-independent program analysis"],"prefix":"10.1145","author":[{"given":"Michelle Mills","family":"Strout","sequence":"first","affiliation":[{"name":"Argonne National Laboratory, Argonne, IL"}]},{"given":"John","family":"Mellor-Crummey","sequence":"additional","affiliation":[{"name":"Rice University, Houston, TX"}]},{"given":"Paul","family":"Hovland","sequence":"additional","affiliation":[{"name":"Argonne National Laboratory, Argonne, IL"}]}],"member":"320","published-online":{"date-parts":[[2005,9,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"C-Breeze web page. http:\/\/www.cs.utexas.edu\/users\/c-breeze\/.]]  C-Breeze web page. http:\/\/www.cs.utexas.edu\/users\/c-breeze\/.]]"},{"key":"e_1_3_2_1_2_1","unstructured":"LLVM web page. http:\/\/www.llvm.org\/.]]  LLVM web page. http:\/\/www.llvm.org\/.]]"},{"key":"e_1_3_2_1_3_1","unstructured":"Open64\/SL web page. http:\/\/www.hipersoft.rice.edu\/open64\/.]]  Open64\/SL web page. http:\/\/www.hipersoft.rice.edu\/open64\/.]]"},{"key":"e_1_3_2_1_4_1","unstructured":"ROSE web page. http:\/\/www.llnl.gov\/casc\/rose\/.]]  ROSE web page. http:\/\/www.llnl.gov\/casc\/rose\/.]]"},{"key":"e_1_3_2_1_5_1","unstructured":"SUIF web page. http:\/\/suif.stanford.edu\/.]]  SUIF web page. http:\/\/suif.stanford.edu\/.]]"},{"key":"e_1_3_2_1_6_1","series-title":"Lecture Notes in Computer Science, 892","volume-title":"Flow-insensitive interprocedural alias analysis in the pressence of pointers","author":"Burke M.","year":"1995","unstructured":"M. Burke , P. Carini , J.-D. Choi , and M. Hind . Flow-insensitive interprocedural alias analysis in the pressence of pointers . In D. Gelertner, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science, 892 . Springer-Verlag , 1995 .]] M. Burke, P. Carini, J.-D. Choi, and M. Hind. Flow-insensitive interprocedural alias analysis in the pressence of pointers. In D. Gelertner, A. Nicolau, and D. Padua, editors, Lecture Notes in Computer Science, 892. Springer-Verlag, 1995.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349311"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158639"},{"key":"e_1_3_2_1_9_1","volume-title":"Building a control-flow graph from scheduled assembly code. Technical report","author":"Cooper K.","year":"2002","unstructured":"K. Cooper , T. Harvey , and T. Waterman . Building a control-flow graph from scheduled assembly code. Technical report , Rice University TR 02-399, 2002 .]] K. Cooper, T. Harvey, and T. Waterman. Building a control-flow graph from scheduled assembly code. Technical report, Rice University TR02-399, 2002.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143148"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/178243.178264"},{"key":"e_1_3_2_1_12_1","volume-title":"Design Patterns","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns . Addison Wesley Professional Computing Series. Addison Wesley , 1995 .]] E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley Professional Computing Series. Addison Wesley, 1995.]]"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/262004.262005"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337221"},{"key":"e_1_3_2_1_15_1","volume-title":"A Center for High Performance Software Research @ Rice. HPCToolkit web page","year":"2000","unstructured":"HiPerSoft : A Center for High Performance Software Research @ Rice. HPCToolkit web page , 2000 -2004. http:\/\/www.hipersoft.rice.edu\/hpctoolkit\/.]] HiPerSoft: A Center for High Performance Software Research @ Rice. HPCToolkit web page, 2000-2004. http:\/\/www.hipersoft.rice.edu\/hpctoolkit\/.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/151257.151260"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99599"},{"key":"e_1_3_2_1_18_1","volume-title":"the 2nd International Workshop on the theory and Practice of Algebraic Specifications (ASF+SDF'97)","author":"Moonen L.","year":"1997","unstructured":"L. Moonen . A generic architecture for data flow analysis to support reverse engineering . In the 2nd International Workshop on the theory and Practice of Algebraic Specifications (ASF+SDF'97) , 1997 .]] L. Moonen. A generic architecture for data flow analysis to support reverse engineering. In the 2nd International Workshop on the theory and Practice of Algebraic Specifications (ASF+SDF'97), 1997.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27864-1_14"},{"key":"e_1_3_2_1_20_1","unstructured":"Rice University Parallel Compiler and Tools Group. The DSystem compiler infrastructure. http:\/\/www.cs.rice.edu\/ dsystem.]]  Rice University Parallel Compiler and Tools Group. The DSystem compiler infrastructure. http:\/\/www.cs.rice.edu\/ dsystem.]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/383043.381532"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237727"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207111"}],"event":{"name":"PASTE05: PASTE '05 - ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering","location":"Lisbon Portugal","acronym":"PASTE05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1108792.1108810","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1108792.1108810","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:07:50Z","timestamp":1750248470000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1108792.1108810"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,9,5]]},"references-count":23,"alternative-id":["10.1145\/1108792.1108810","10.1145\/1108792"],"URL":"https:\/\/doi.org\/10.1145\/1108792.1108810","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1108768.1108810","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9,5]]},"assertion":[{"value":"2005-09-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}