{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:14:37Z","timestamp":1775873677492,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100007297","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-17-1-2787"],"award-info":[{"award-number":["N00014-17-1-2787"]}],"id":[{"id":"10.13039\/100007297","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314634","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"788-801","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["SLING: using dynamic analysis to infer program invariants in separation logic"],"prefix":"10.1145","author":[{"given":"Ton Chanh","family":"Le","sequence":"first","affiliation":[{"name":"Stevens Institute of Technology, USA"}]},{"given":"Guolong","family":"Zheng","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}]},{"given":"ThanhVu","family":"Nguyen","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"177","article-title":"A learning-to-rank based fault localization approach using likely invariants","author":"Le Tien-Duy B","year":"2016","unstructured":"Tien-Duy B Le , David Lo , Claire Le Goues , and Lars Grunske . 2016 . A learning-to-rank based fault localization approach using likely invariants . In ISSTA. ACM , 177 - 188 . Tien-Duy B Le, David Lo, Claire Le Goues, and Lars Grunske. 2016. A learning-to-rank based fault localization approach using likely invariants. In ISSTA. ACM, 177-188.","journal-title":"ISSTA. ACM"},{"key":"e_1_3_2_2_2_1","volume-title":"Rajamani","author":"Ball Thomas","year":"2002","unstructured":"Thomas Ball and Sriram K . Rajamani . 2002 . The SLAM Project: Debugging System Software via Static Analysis. In POPL. 1-3. Thomas Ball and Sriram K. Rajamani. 2002. The SLAM Project: Debugging System Software via Static Analysis. In POPL. 1-3."},{"key":"e_1_3_2_2_3_1","first-page":"97","article-title":"A Decidable Fragment of Separation Logic","author":"Berdine Josh","year":"2004","unstructured":"Josh Berdine , Cristiano Calcagno , and Peter W. O'Hearn . 2004 . A Decidable Fragment of Separation Logic . In Foundations of Software Technology and Theoretical Computer Science. 97 - 109 . Josh Berdine, Cristiano Calcagno, and Peter W. O'Hearn. 2004. A Decidable Fragment of Separation Logic. In Foundations of Software Technology and Theoretical Computer Science. 97-109.","journal-title":"Foundations of Software Technology and Theoretical Computer Science."},{"key":"e_1_3_2_2_4_1","first-page":"331","article-title":"Software Verification with Validation of Results","author":"Beyer Dirk","year":"2017","unstructured":"Dirk Beyer . 2017 . Software Verification with Validation of Results . In TACAS. 331 - 349 . Dirk Beyer. 2017. Software Verification with Validation of Results. In TACAS. 331-349.","journal-title":"TACAS."},{"key":"e_1_3_2_2_5_1","volume-title":"Learning Shape Analysis. In Static Analysis Symposium. 66-87","author":"Brockschmidt Marc","year":"2017","unstructured":"Marc Brockschmidt , Yuxin Chen , Pushmeet Kohli , Siddharth Krishna , and Daniel Tarlow . 2017 . Learning Shape Analysis. In Static Analysis Symposium. 66-87 . Marc Brockschmidt, Yuxin Chen, Pushmeet Kohli, Siddharth Krishna, and Daniel Tarlow. 2017. Learning Shape Analysis. In Static Analysis Symposium. 66-87."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10936-7_5"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837621"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_1"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2049697.2049700"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.07.004"},{"key":"e_1_3_2_2_11_1","first-page":"235","article-title":"Tractable Reasoning in a Fragment of Separation Logic","author":"Cook Byron","year":"2011","unstructured":"Byron Cook , Christoph Haase , Jo\u00ebl Ouaknine , Matthew J. Parkinson , and James Worrell . 2011 . Tractable Reasoning in a Fragment of Separation Logic . In CONCUR. 235 - 249 . Byron Cook, Christoph Haase, Jo\u00ebl Ouaknine, Matthew J. Parkinson, and James Worrell. 2011. Tractable Reasoning in a Fragment of Separation Logic. In CONCUR. 235-249.","journal-title":"CONCUR."},{"key":"e_1_3_2_2_12_1","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"Moura Leonardo De","year":"2008","unstructured":"Leonardo De Moura and Nikolaj Bj\u00f8rner . 2008 . Z3: An efficient SMT solver . In TACAS. 337 - 340 . Leonardo De Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An efficient SMT solver. In TACAS. 337-340.","journal-title":"TACAS."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/360933.360975"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"e_1_3_2_2_15_1","volume-title":"The Daikon system for dynamic detection of likely invariants. Science of Computer Programming","author":"Ernst Michael D.","year":"2007","unstructured":"Michael D. Ernst , Jeff H. Perkins , Philip J. Guo , Stephen McCamant , Carlos Pacheco , Matthew S. Tschantz , and Chen Xiao . 2007. The Daikon system for dynamic detection of likely invariants. Science of Computer Programming ( 2007 ), 35-45. Michael D. Ernst, Jeff H. Perkins, Philip J. Guo, Stephen McCamant, Carlos Pacheco, Matthew S. Tschantz, and Chen Xiao. 2007. The Daikon system for dynamic detection of likely invariants. Science of Computer Programming (2007), 35-45."},{"key":"e_1_3_2_2_16_1","volume-title":"Gamifying program analysis","author":"Fava Daniel","unstructured":"Daniel Fava , Julien Signoles , Matthieu Lemerre , Martin Sch\u00e4f , and Ashish Tiwari . 2015. Gamifying program analysis . In LPAR. Springer , 591-605. Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Sch\u00e4f, and Ashish Tiwari. 2015. Gamifying program analysis. In LPAR. Springer, 591-605."},{"key":"e_1_3_2_2_17_1","unstructured":"FBInfer 2018. The Infer Static Analyzer. http:\/\/fbinfer.com\/.  FBInfer 2018. The Infer Static Analyzer. http:\/\/fbinfer.com\/."},{"key":"e_1_3_2_2_18_1","first-page":"500","article-title":"Houdini, an Annotation Assistant for ESC\/Java","author":"Flanagan Cormac","year":"2001","unstructured":"Cormac Flanagan and K. Rustan M. Leino . 2001 . Houdini, an Annotation Assistant for ESC\/Java . In Formal Methods for Increasing Software Productivity. 500 - 517 . Cormac Flanagan and K. Rustan M. Leino. 2001. Houdini, an Annotation Assistant for ESC\/Java. In Formal Methods for Increasing Software Productivity. 500-517.","journal-title":"Formal Methods for Increasing Software Productivity."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837664"},{"key":"e_1_3_2_2_20_1","unstructured":"GDB 2018. GDB: The GNU Project Debugger. https:\/\/www.gnu.org\/software\/gdb\/.  GDB 2018. GDB: The GNU Project Debugger. https:\/\/www.gnu.org\/software\/gdb\/."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_15"}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Phoenix AZ USA","acronym":"PLDI '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314634","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314634","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314634","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314634"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":22,"alternative-id":["10.1145\/3314221.3314634","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314634","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}