{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,18]],"date-time":"2026-06-18T04:28:15Z","timestamp":1781756895280,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T00:00:00Z","timestamp":1592179200000},"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":[[2020,6,15]]},"DOI":"10.1145\/3394451.3397204","type":"proceedings-article","created":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T22:07:03Z","timestamp":1591049223000},"page":"2-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["TACAI: an intermediate representation based on abstract interpretation"],"prefix":"10.1145","author":[{"given":"Michael","family":"Reif","sequence":"first","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Florian","family":"K\u00fcbler","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dominik","family":"Helm","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ben","family":"Hermann","sequence":"additional","affiliation":[{"name":"University of Paderborn, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Michael","family":"Eichberg","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mira","family":"Mezini","sequence":"additional","affiliation":[{"name":"TU Darmstadt, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,6,15]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236454.3236500"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349342"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646153.679523"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17164-2_8"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"crossref","unstructured":"JB Dietrich Henrik Schole Li Sui and Ewan Tempero. 2017. XCorpus\u2013 An executable Corpus of Java Programs. (2017).  JB Dietrich Henrik Schole Li Sui and Ewan Tempero. 2017. XCorpus\u2013 An executable Corpus of Java Programs. (2017).","DOI":"10.5381\/jot.2017.16.4.a1"},{"key":"e_1_3_2_2_7_1","first-page":"1","article-title":"A software product line for static analyses: the OPAL framework. In SOAP@PLDI","volume":"2","author":"Eichberg Michael","year":"2014","unstructured":"Michael Eichberg and Ben Hermann . 2014 . A software product line for static analyses: the OPAL framework. In SOAP@PLDI . ACM , 2 : 1 \u2013 2 :6. Michael Eichberg and Ben Hermann. 2014. A software product line for static analyses: the OPAL framework. In SOAP@PLDI. ACM, 2:1\u20132:6.","journal-title":"ACM"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786865"},{"key":"e_1_3_2_2_9_1","volume-title":"http:\/\/wala.sourceforge.net\/. [Online","author":"Framework IBM.","year":"2018","unstructured":"IBM. [n.d.]. WALA Framework . http:\/\/wala.sourceforge.net\/. [Online ; accessed 19-APRIL- 2018 ]. IBM. [n.d.]. WALA Framework. http:\/\/wala.sourceforge.net\/. [Online; accessed 19-APRIL-2018]."},{"key":"e_1_3_2_2_10_1","unstructured":"Steven Muchnick et al. 1997. Advanced compiler design implementation. Morgan Kaufmann.  Steven Muchnick et al. 1997. Advanced compiler design implementation. Morgan Kaufmann."},{"key":"e_1_3_2_2_11_1","volume-title":"https:\/\/bitbucket.org\/ yanniss\/doop\/. [Online","author":"Smaragdakis Yannis","year":"2018","unstructured":"Yannis Smaragdakis . [n.d.]. DOOP Framework . https:\/\/bitbucket.org\/ yanniss\/doop\/. [Online ; accessed 23- August - 2018 ]. Yannis Smaragdakis. [n.d.]. DOOP Framework. https:\/\/bitbucket.org\/ yanniss\/doop\/. [Online; accessed 23-August-2018]."},{"key":"e_1_3_2_2_12_1","unstructured":"Vijay Sundaresan Laurie Hendren Chrislain Razafimahefa Raja Vall\u00e9e-Rai Patrick Lam Etienne Gagnon and Charles Godin. 2000.  Vijay Sundaresan Laurie Hendren Chrislain Razafimahefa Raja Vall\u00e9e-Rai Patrick Lam Etienne Gagnon and Charles Godin. 2000."},{"key":"e_1_3_2_2_13_1","volume-title":"ACM SIGPLAN Notices 35, 10","author":"Java Practical","year":"2000","unstructured":"Practical virtual method call resolution for Java . ACM SIGPLAN Notices 35, 10 ( 2000 ), 264\u2013280. Practical virtual method call resolution for Java. ACM SIGPLAN Notices 35, 10 (2000), 264\u2013280."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925805.1925818"},{"key":"e_1_3_2_2_15_1","volume-title":"Jimple: Simplifying Java bytecode for analyses and transformations.","author":"Vallee-Rai Raja","year":"1998","unstructured":"Raja Vallee-Rai and Laurie J Hendren . 1998 . Jimple: Simplifying Java bytecode for analyses and transformations. (1998). Raja Vallee-Rai and Laurie J Hendren. 1998. Jimple: Simplifying Java bytecode for analyses and transformations. (1998)."},{"key":"e_1_3_2_2_16_1","unstructured":"Abstract 1 Introduction 2 Approach 3 Evaluation 4 Related Work 5 Conclusion Acknowledgments References  Abstract 1 Introduction 2 Approach 3 Evaluation 4 Related Work 5 Conclusion Acknowledgments References"}],"event":{"name":"PLDI '20: 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation","location":"London UK","acronym":"PLDI '20","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394451.3397204","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3394451.3397204","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:37Z","timestamp":1750200097000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3394451.3397204"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,15]]},"references-count":16,"alternative-id":["10.1145\/3394451.3397204","10.1145\/3394451"],"URL":"https:\/\/doi.org\/10.1145\/3394451.3397204","relation":{},"subject":[],"published":{"date-parts":[[2020,6,15]]},"assertion":[{"value":"2020-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}