{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:08Z","timestamp":1772164088840,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017,1]]},"DOI":"10.1145\/3009837.3009881","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T16:20:29Z","timestamp":1482423629000},"page":"32-45","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Semantic-directed clumping of disjunctive abstract states"],"prefix":"10.1145","author":[{"given":"Huisong","family":"Li","sequence":"first","affiliation":[{"name":"Inria, France \/ CNRS, France \/ ENS, France"}]},{"given":"Francois","family":"Berenger","sequence":"additional","affiliation":[{"name":"Inria, France \/ CNRS, France \/ ENS, France"}]},{"given":"Bor-Yuh Evan","family":"Chang","sequence":"additional","affiliation":[{"name":"University of Colorado at Boulder, USA"}]},{"given":"Xavier","family":"Rival","sequence":"additional","affiliation":[{"name":"Inria, France \/ CNRS, France \/ ENS, France"}]}],"member":"320","published-online":{"date-parts":[[2017,1]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Modern Compiler Implementation in C","author":"Appel A.","year":"2008","unstructured":"A. Appel . Modern Compiler Implementation in C . Cambridge University Press , 2008 . A. Appel. Modern Compiler Implementation in C. Cambridge University Press, 2008."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_14"},{"key":"e_1_3_2_1_3_1","first-page":"148","volume-title":"VMCAI","author":"Bagnara R.","unstructured":"R. Bagnara , P. M. Hill , and E. Zaffanella . Widening operators for powerset domains . In VMCAI , pages 135\u2013 148 . Springer, 2004. R. Bagnara, P. M. Hill, and E. Zaffanella. Widening operators for powerset domains. In VMCAI, pages 135\u2013148. Springer, 2004."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_5"},{"key":"e_1_3_2_1_5_1","first-page":"192","volume-title":"CAV","author":"Berdine J.","unstructured":"J. Berdine , C. Calcagno , B. Cook , D. Distefano , P. O\u2019Hearn , T. Wies , and H. Yang . Shape analysis for composite data structures . In CAV , pages 178\u2013 192 . Springer, 2007. J. Berdine, C. Calcagno, B. Cook, D. Distefano, P. O\u2019Hearn, T. Wies, and H. Yang. Shape analysis for composite data structures. In CAV, pages 178\u2013192. Springer, 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781153"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27940-9_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328469"},{"key":"e_1_3_2_1_9_1","first-page":"401","volume-title":"SAS","author":"Chang B.-Y. E.","unstructured":"B.-Y. E. Chang , X. Rival , and G. Necula . Shape analysis with structural invariant checkers . In SAS , pages 384\u2013 401 . Springer, 2007. B.-Y. E. Chang, X. Rival, and G. Necula. Shape analysis with structural invariant checkers. In SAS, pages 384\u2013401. Springer, 2007."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/567752.567778"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(92)90030-7"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926399"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10936-7_9"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869493"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926407"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/11691372_19"},{"key":"e_1_3_2_1_18_1","first-page":"378","volume-title":"CAV","author":"Dudka K.","unstructured":"K. Dudka , P. Peringer , and T. Vojnar . Predator: A practical tool for checking manipulation of dynamic data structures using separation logic . In CAV , pages 372\u2013 378 . Springer, 2011. K. Dudka, P. Peringer, and T. Vojnar. Predator: A practical tool for checking manipulation of dynamic data structures using separation logic. In CAV, pages 372\u2013378. Springer, 2011."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(97)00034-8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328468"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375623"},{"key":"e_1_3_2_1_22_1","first-page":"214","volume-title":"SAS","author":"Handjieva M.","unstructured":"M. Handjieva and S. Tzolovski . Refining static analyses by trace-based partitioning using control flow . In SAS , pages 200\u2013 214 . Springer, 1998. M. Handjieva and S. Tzolovski. Refining static analyses by trace-based partitioning using control flow. In SAS, pages 200\u2013214. Springer, 1998."},{"key":"e_1_3_2_1_23_1","first-page":"50","volume-title":"SAS","author":"Jeannet B.","unstructured":"B. Jeannet , N. Halbwachs , and P. Raymond . Dynamic partitioning in analyses of numerical properties . In SAS , pages 39\u2013 50 . Springer, 1999. B. Jeannet, N. Halbwachs, and P. Raymond. Dynamic partitioning in analyses of numerical properties. In SAS, pages 39\u201350. Springer, 1999."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542510"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/647169.718161"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926391"},{"key":"e_1_3_2_1_27_1","first-page":"279","volume-title":"SAS","author":"Manevich R.","unstructured":"R. Manevich , M. Sagiv , G. Ramalingam , and J. Field . Partially disjunctive heap abstraction . In SAS , pages 265\u2013 279 . Springer, 2004. R. Manevich, M. Sagiv, G. Ramalingam, and J. Field. Partially disjunctive heap abstraction. In SAS, pages 265\u2013279. Springer, 2004."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594318"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814309"},{"key":"e_1_3_2_1_30_1","first-page":"662","volume-title":"CAV","author":"Pham T.","unstructured":"T. Pham , M. Trinh , A. Truong , and W. Chin . Fixbag: A fixpoint calculator for quantified bag constraints . In CAV , pages 656\u2013 662 . Springer, 2011. T. Pham, M. Trinh, A. Truong, and W. Chin. Fixbag: A fixpoint calculator for quantified bag constraints. In CAV, pages 656\u2013662. Springer, 2011."},{"key":"e_1_3_2_1_31_1","first-page":"345","volume-title":"ASIAN","author":"Popeea C.","unstructured":"C. Popeea and W.-N. Chin . Inferring disjunctive postconditions . In ASIAN , pages 331\u2013 345 . Springer, 2006. C. Popeea and W.-N. Chin. Inferring disjunctive postconditions. In ASIAN, pages 331\u2013345. Springer, 2006."},{"key":"e_1_3_2_1_32_1","first-page":"74","volume-title":"LICS","author":"Reynolds J.","unstructured":"J. Reynolds . Separation logic : A logic for shared mutable data structures . In LICS , pages 55\u2013 74 . IEEE, 2002. J. Reynolds. Separation logic: A logic for shared mutable data structures. In LICS, pages 55\u201374. IEEE, 2002."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1275497.1275501"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706316"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/514188.514190"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35182-2_10"},{"key":"e_1_3_2_1_37_1","volume-title":"AVL balanced tree library","author":"Walker J.","year":"2003","unstructured":"J. Walker . AVL balanced tree library , 2003 . http:\/\/www. eternallyconfuzzled.com\/libs\/jsw_avltree.zip. J. Walker. AVL balanced tree library, 2003. http:\/\/www. eternallyconfuzzled.com\/libs\/jsw_avltree.zip."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_36"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Paris France","acronym":"POPL '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009881","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3009837.3009881","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:05:34Z","timestamp":1750259134000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3009837.3009881"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1]]},"references-count":38,"alternative-id":["10.1145\/3009837.3009881","10.1145\/3009837"],"URL":"https:\/\/doi.org\/10.1145\/3009837.3009881","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093333.3009881","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,1]]},"assertion":[{"value":"2017-01-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}