{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T18:17:00Z","timestamp":1772043420605,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":51,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,11,7]],"date-time":"2022-11-07T00:00:00Z","timestamp":1667779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000288","name":"Royal Society","doi-asserted-by":"publisher","award":["UF160079"],"award-info":[{"award-number":["UF160079"]}],"id":[{"id":"10.13039\/501100000288","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,11,7]]},"DOI":"10.1145\/3540250.3549095","type":"proceedings-article","created":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T20:46:22Z","timestamp":1668026782000},"page":"910-921","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Using graph neural networks for program termination"],"prefix":"10.1145","author":[{"given":"Yoav","family":"Alon","sequence":"first","affiliation":[{"name":"University of Bristol, UK"}]},{"given":"Cristina","family":"David","sequence":"additional","affiliation":[{"name":"University of Bristol, UK"}]}],"member":"320","published-online":{"date-parts":[[2022,11,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2021. Competition on Software Verification. https:\/\/sv-comp.sosy-lab.org\/2022\/ Accessed 09\/05\/2021 \t\t\t\t  2021. Competition on Software Verification. https:\/\/sv-comp.sosy-lab.org\/2022\/ Accessed 09\/05\/2021"},{"key":"e_1_3_2_1_2_1","unstructured":"2021. libFuzzer \u2013 a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html Accessed 30\/07\/2021 \t\t\t\t  2021. libFuzzer \u2013 a library for coverage-guided fuzz testing. https:\/\/llvm.org\/docs\/LibFuzzer.html Accessed 30\/07\/2021"},{"key":"e_1_3_2_1_3_1","unstructured":"2021. Termination Competition (TermCOMP). https:\/\/github.com\/TermCOMP\/TPDB Accessed 09\/05\/2021 \t\t\t\t  2021. Termination Competition (TermCOMP). https:\/\/github.com\/TermCOMP\/TPDB Accessed 09\/05\/2021"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5281\/zenodo.7083445"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81688-9_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81688-9_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-16-6054-2_22"},{"key":"e_1_3_2_1_8_1","volume-title":"Self-Supervised Bug Detection and Repair. In Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021","author":"Allamanis Miltiadis","year":"2021","unstructured":"Miltiadis Allamanis , Henry Jackson-Flux , and Marc Brockschmidt . 2021 . Self-Supervised Bug Detection and Repair. In Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021 , NeurIPS 2021, December 6-14, 2021, virtual, Marc\u2019Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, and Jennifer Wortman Vaughan (Eds.). 27865\u201327876. https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/ea96efc03b9a050d895110db8c4af057-Abstract.html Miltiadis Allamanis, Henry Jackson-Flux, and Marc Brockschmidt. 2021. Self-Supervised Bug Detection and Repair. In Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual, Marc\u2019Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, and Jennifer Wortman Vaughan (Eds.). 27865\u201327876. https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/ea96efc03b9a050d895110db8c4af057-Abstract.html"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3470569"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429078"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99527-0_20"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.3233\/COM-170073"},{"key":"e_1_3_2_1_13_1","volume-title":"Conjugate Gradient, and Early Stopping.","author":"Caruana Rich","year":"2000","unstructured":"Rich Caruana , Steve Lawrence , and C. Lee Giles . 2000. Overfitting in Neural Nets: Backpropagation , Conjugate Gradient, and Early Stopping. . In NIPS, Todd K. Leen, Thomas G. Dietterich, and Volker Tresp (Eds.). MIT Press , 402\u2013408. http:\/\/dblp.uni-trier.de\/db\/conf\/nips\/nips 2000 .html##CaruanaLG00 Rich Caruana, Steve Lawrence, and C. Lee Giles. 2000. Overfitting in Neural Nets: Backpropagation, Conjugate Gradient, and Early Stopping.. In NIPS, Todd K. Leen, Thomas G. Dietterich, and Volker Tresp (Eds.). MIT Press, 402\u2013408. http:\/\/dblp.uni-trier.de\/db\/conf\/nips\/nips2000.html##CaruanaLG00"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454093"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3121136"},{"key":"e_1_3_2_1_16_1","volume-title":"Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling. CoRR, abs\/1412.3555","author":"Chung Junyoung","year":"2014","unstructured":"Junyoung Chung , \u00c7aglar G\u00fcl\u00e7ehre , KyungHyun Cho , and Yoshua Bengio . 2014. Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling. CoRR, abs\/1412.3555 ( 2014 ), arXiv:1412.3555. arxiv:1412.3555 Junyoung Chung, \u00c7aglar G\u00fcl\u00e7ehre, KyungHyun Cho, and Yoshua Bengio. 2014. Empirical Evaluation of Gated Recurrent Neural Networks on Sequence Modeling. CoRR, abs\/1412.3555 (2014), arXiv:1412.3555. arxiv:1412.3555"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1134029"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103687"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_8"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_7"},{"key":"e_1_3_2_1_22_1","volume-title":"Neural Termination Analysis. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE) 2022 (to appear)","author":"Giacobbe Mirco","year":"2022","unstructured":"Mirco Giacobbe , Daniel Kroening , and Julian Parsert . 2022 . Neural Termination Analysis. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE) 2022 (to appear) Mirco Giacobbe, Daniel Kroening, and Julian Parsert. 2022. Neural Termination Analysis. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC\/FSE) 2022 (to appear)"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328459"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Takuo Hamaguchi Hidekazu Oiwa Masashi Shimbo and Yuji Matsumoto. 2017. Knowledge transfer for out-of-knowledge-base entities: A graph neural network approach. arXiv preprint arXiv:1706.05674. \t\t\t\t  Takuo Hamaguchi Hidekazu Oiwa Masashi Shimbo and Yuji Matsumoto. 2017. Knowledge transfer for out-of-knowledge-base entities: A graph neural network approach. arXiv preprint arXiv:1706.05674.","DOI":"10.24963\/ijcai.2017\/250"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_53"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5121\/ijdkp.2015.5201"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/cibcb48159.2020.9277638"},{"key":"e_1_3_2_1_29_1","volume-title":"Kipf and Max Welling","author":"Thomas","year":"2016","unstructured":"Thomas N. Kipf and Max Welling . 2016 . Semi-Supervised Classification with Graph Convolutional Networks. CoRR , abs\/1609.02907 (2016), arxiv:1609.02907. arxiv:1609.02907 Thomas N. Kipf and Max Welling. 2016. Semi-Supervised Classification with Graph Convolutional Networks. CoRR, abs\/1609.02907 (2016), arxiv:1609.02907. arxiv:1609.02907"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_9"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931049"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205230.3205239"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_12"},{"key":"e_1_3_2_1_34_1","volume-title":"DeepGCNs: Making GCNs Go as Deep as CNNs. CoRR, abs\/1910.06849","author":"Li Guohao","year":"2019","unstructured":"Guohao Li , Matthias M\u00fcller , Guocheng Qian , Itzel C. Delgadillo , Abdulellah Abualshour , Ali K. Thabet , and Bernard Ghanem . 2019. DeepGCNs: Making GCNs Go as Deep as CNNs. CoRR, abs\/1910.06849 ( 2019 ), arxiv:1910.06849. arxiv:1910.06849 Guohao Li, Matthias M\u00fcller, Guocheng Qian, Itzel C. Delgadillo, Abdulellah Abualshour, Ali K. Thabet, and Bernard Ghanem. 2019. DeepGCNs: Making GCNs Go as Deep as CNNs. CoRR, abs\/1910.06849 (2019), arxiv:1910.06849. arxiv:1910.06849"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2017.324"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/10704567_20"},{"key":"e_1_3_2_1_37_1","volume-title":"Automatic Differentiation in PyTorch. In NIPS 2017 Workshop on Autodiff. https:\/\/openreview.net\/forum?id=BJJsrmfCZ","author":"Paszke Adam","year":"2017","unstructured":"Adam Paszke , Sam Gross , Soumith Chintala , Gregory Chanan , Edward Yang , Zachary DeVito , Zeming Lin , Alban Desmaison , Luca Antiga , and Adam Lerer . 2017 . Automatic Differentiation in PyTorch. In NIPS 2017 Workshop on Autodiff. https:\/\/openreview.net\/forum?id=BJJsrmfCZ Adam Paszke, Sam Gross, Soumith Chintala, Gregory Chanan, Edward Yang, Zachary DeVito, Zeming Lin, Alban Desmaison, Luca Antiga, and Adam Lerer. 2017. Automatic Differentiation in PyTorch. In NIPS 2017 Workshop on Autodiff. https:\/\/openreview.net\/forum?id=BJJsrmfCZ"},{"key":"e_1_3_2_1_38_1","volume-title":"Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsm\u00e4ssan","author":"Sanchez-Gonzalez Alvaro","year":"2018","unstructured":"Alvaro Sanchez-Gonzalez , Nicolas Heess , Jost Tobias Springenberg , Josh Merel , Martin A. Riedmiller , Raia Hadsell , and Peter W. Battaglia . 2018. Graph Networks as Learnable Physics Engines for Inference and Control . In Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsm\u00e4ssan , Stockholm, Sweden , July 10-15, 2018 , Jennifer G. Dy and Andreas Krause (Eds.) (Proceedings of Machine Learning Research, Vol. 80). PMLR, 4467\u20134476. http:\/\/proceedings.mlr.press\/v80\/sanchez-gonzalez18a.html Alvaro Sanchez-Gonzalez, Nicolas Heess, Jost Tobias Springenberg, Josh Merel, Martin A. Riedmiller, Raia Hadsell, and Peter W. Battaglia. 2018. Graph Networks as Learnable Physics Engines for Inference and Control. In Proceedings of the 35th International Conference on Machine Learning, ICML 2018, Stockholmsm\u00e4ssan, Stockholm, Sweden, July 10-15, 2018, Jennifer G. Dy and Andreas Krause (Eds.) (Proceedings of Machine Learning Research, Vol. 80). PMLR, 4467\u20134476. http:\/\/proceedings.mlr.press\/v80\/sanchez-gonzalez18a.html"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93417-4_38"},{"key":"e_1_3_2_1_40_1","volume-title":"Fundamentals of Recurrent Neural Network (RNN) and Long Short-Term Memory (LSTM) Network. CoRR, abs\/1808.03314","author":"Sherstinsky Alex","year":"2018","unstructured":"Alex Sherstinsky . 2018. Fundamentals of Recurrent Neural Network (RNN) and Long Short-Term Memory (LSTM) Network. CoRR, abs\/1808.03314 ( 2018 ), arXiv:1808.03314. arxiv:1808.03314 Alex Sherstinsky. 2018. Fundamentals of Recurrent Neural Network (RNN) and Long Short-Term Memory (LSTM) Network. CoRR, abs\/1808.03314 (2018), arXiv:1808.03314. arxiv:1808.03314"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.2307\/2268810"},{"key":"e_1_3_2_1_42_1","unstructured":"Petar Veli\u010dkovi\u0107 Guillem Cucurull Arantxa Casanova Adriana Romero Pietro Li\u00f2 and Yoshua Bengio. 2018. Graph Attention Networks. arxiv:1710.10903. \t\t\t\t  Petar Veli\u010dkovi\u0107 Guillem Cucurull Arantxa Casanova Adriana Romero Pietro Li\u00f2 and Yoshua Bengio. 2018. Graph Attention Networks. arxiv:1710.10903."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358577"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i01.5455"},{"key":"e_1_3_2_1_45_1","volume-title":"Yu","author":"Wu Zonghan","year":"2019","unstructured":"Zonghan Wu , Shirui Pan , Fengwen Chen , Guodong Long , Chengqi Zhang , and Philip S . Yu . 2019 . A Comprehensive Survey on Graph Neural Networks. CoRR , abs\/1901.00596 (2019), arxiv:1901.00596. arxiv:1901.00596 Zonghan Wu, Shirui Pan, Fengwen Chen, Guodong Long, Chengqi Zhang, and Philip S. Yu. 2019. A Comprehensive Survey on Graph Neural Networks. CoRR, abs\/1901.00596 (2019), arxiv:1901.00596. arxiv:1901.00596"},{"key":"e_1_3_2_1_46_1","volume-title":"Empirical Evaluation of Rectified Activations in Convolutional Network. CoRR, abs\/1505.00853","author":"Xu Bing","year":"2015","unstructured":"Bing Xu , Naiyan Wang , Tianqi Chen , and Mu Li. 2015. Empirical Evaluation of Rectified Activations in Convolutional Network. CoRR, abs\/1505.00853 ( 2015 ), arXiv:1505.00853. arxiv:1505.00853 Bing Xu, Naiyan Wang, Tianqi Chen, and Mu Li. 2015. Empirical Evaluation of Rectified Activations in Convolutional Network. CoRR, abs\/1505.00853 (2015), arXiv:1505.00853. arxiv:1505.00853"},{"key":"e_1_3_2_1_47_1","volume-title":"Smola","author":"Zaheer Manzil","year":"2017","unstructured":"Manzil Zaheer , Satwik Kottur , Siamak Ravanbakhsh , Barnab\u00e1s P\u00f3czos , Ruslan Salakhutdinov , and Alexander J . Smola . 2017 . Deep Sets. CoRR , abs\/1703.06114 (2017), arxiv:1703.06114. arxiv:1703.06114 Manzil Zaheer, Satwik Kottur, Siamak Ravanbakhsh, Barnab\u00e1s P\u00f3czos, Ruslan Salakhutdinov, and Alexander J. Smola. 2017. Deep Sets. CoRR, abs\/1703.06114 (2017), arxiv:1703.06114. arxiv:1703.06114"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2018.8462291"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2020.2981333"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.aiopen.2021.01.001"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454110"}],"event":{"name":"ESEC\/FSE '22: 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Singapore Singapore","acronym":"ESEC\/FSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","NUS NUS"]},"container-title":["Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549095","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3540250.3549095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:51:02Z","timestamp":1750182662000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3540250.3549095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,7]]},"references-count":51,"alternative-id":["10.1145\/3540250.3549095","10.1145\/3540250"],"URL":"https:\/\/doi.org\/10.1145\/3540250.3549095","relation":{},"subject":[],"published":{"date-parts":[[2022,11,7]]},"assertion":[{"value":"2022-11-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}