{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T15:13:02Z","timestamp":1776784382035,"version":"3.51.2"},"publisher-location":"New York, NY, USA","reference-count":57,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T00:00:00Z","timestamp":1707177600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"National Key R&D Program of China","award":["2022YFB4501903"],"award-info":[{"award-number":["2022YFB4501903"]}]},{"name":"HKUST 30 for 30 Research Initiative Scheme","award":["Z1283"],"award-info":[{"award-number":["Z1283"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62302434"],"award-info":[{"award-number":["62302434"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Qizhen Scholar Foundation of Zhejiang University"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,2,6]]},"DOI":"10.1145\/3597503.3623348","type":"proceedings-article","created":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T20:53:16Z","timestamp":1707252796000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7680-2817","authenticated-orcid":false,"given":"Pingchuan","family":"Ma","sequence":"first","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3167-0480","authenticated-orcid":false,"given":"Zhenlan","family":"Ji","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0342-9518","authenticated-orcid":false,"given":"Peisen","family":"Yao","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0308","authenticated-orcid":false,"given":"Shuai","family":"Wang","sequence":"additional","affiliation":[{"name":"The Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3441-6277","authenticated-orcid":false,"given":"Kui","family":"Ren","sequence":"additional","affiliation":[{"name":"Zhejiang University, Hangzhou, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,2,6]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2023. bnlearn. https:\/\/www.bnlearn.com\/bnrespository."},{"key":"e_1_3_2_1_2_1","unstructured":"2023. causal-learn. https:\/\/github.com\/py-why\/causal-learn."},{"key":"e_1_3_2_1_3_1","unstructured":"2023. Source code and data. https:\/\/anonymous.4open.science\/r\/CISan."},{"key":"e_1_3_2_1_4_1","unstructured":"Wilhelm Ackermann. 1954. Solvable cases of the decision problem. (1954)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.egyr.2021.09.026"},{"key":"e_1_3_2_1_6_1","volume-title":"USENIX Annual Technical Conference. 281--286","author":"Attariyan Mona","year":"2008","unstructured":"Mona Attariyan and Jason Flinn. 2008. Using Causality to Diagnose Configuration Bugs.. In USENIX Annual Technical Conference. 281--286."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Haniel Barbosa Clark Barrett Martin Brain Gereon Kremer Hanna Lachnitt Makai Mann Abdalrhman Mohamed Mudathir Mohamed Aina Niemetz Andres N\u00f6tzli et al. 2022. cvc5: A versatile and industrial-strength SMT solver. In Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2022 Munich Germany April 2--7 2022 Proceedings Part I. Springer 415--442.","DOI":"10.1007\/978-3-030-99524-9_24"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 8th international workshop on satisfiability modulo theories","volume":"13","author":"Barrett Clark","year":"2010","unstructured":"Clark Barrett, Aaron Stump, Cesare Tinelli, et al. 2010. The smt-lib standard: Version 2.0. In Proceedings of the 8th international workshop on satisfiability modulo theories (Edinburgh, UK), Vol. 13. 14."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1756006.1953041"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2006.06.018"},{"key":"e_1_3_2_1_11_1","volume-title":"24th USENIX Security Symposium (USENIX Security 15)","author":"Carlini Nicholas","year":"2015","unstructured":"Nicholas Carlini, Antonio Barresi, Mathias Payer, David Wagner, and Thomas R Gross. 2015. {Control-Flow} bending: On the effectiveness of {Control-Flow} integrity. In 24th USENIX Security Symposium (USENIX Security 15). 161--176."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950350"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/INFOCOM.2014.6848128"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_17"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813671"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i06.6569"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510200"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3318464.3389694"},{"key":"e_1_3_2_1_20_1","volume-title":"Logical and algorithmic properties of conditional independence and graphical models. The annals of statistics 21, 4","author":"Geiger Dan","year":"1993","unstructured":"Dan Geiger and Judea Pearl. 1993. Logical and algorithmic properties of conditional independence and graphical models. The annals of statistics 21, 4 (1993), 2001--2021."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3093336.3037712"},{"key":"e_1_3_2_1_22_1","volume-title":"Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure. In Conference on Uncertainty in Artificial Intelligence. AUAI Press, 301--310","author":"Hyttinen Antti","year":"2013","unstructured":"Antti Hyttinen, Patrik Hoyer, Frederick Ederhardt, and Matti J\u00e4rvisalo. 2013. Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure. In Conference on Uncertainty in Artificial Intelligence. AUAI Press, 301--310."},{"key":"e_1_3_2_1_23_1","volume-title":"PerfCE: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis. arXiv preprint arXiv:2207.08369","author":"Ji Zhenlan","year":"2022","unstructured":"Zhenlan Ji, Pingchuan Ma, and Shuai Wang. 2022. PerfCE: Performance Debugging on Databases with Chaos Engineering-Enhanced Causality Analysis. arXiv preprint arXiv:2207.08369 (2022)."},{"key":"e_1_3_2_1_24_1","volume-title":"Causality-Aided Trade-off Analysis for Machine Learning Fairness. arXiv preprint arXiv:2305.13057","author":"Ji Zhenlan","year":"2023","unstructured":"Zhenlan Ji, Pingchuan Ma, Shuai Wang, and Yanhui Li. 2023. Causality-Aided Trade-off Analysis for Machine Learning Fairness. arXiv preprint arXiv:2305.13057 (2023)."},{"key":"e_1_3_2_1_25_1","volume-title":"CC: Causality-Aware Coverage Criterion for Deep Neural Networks. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). IEEE, 1788--1800","author":"Ji Zhenlan","year":"2023","unstructured":"Zhenlan Ji, Pingchuan Ma, Yuanyuan Yuan, and Shuai Wang. 2023. CC: Causality-Aware Coverage Criterion for Deep Neural Networks. In 2023 IEEE\/ACM 45th International Conference on Software Engineering (ICSE). IEEE, 1788--1800."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380377"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-50497-0"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539447"},{"key":"e_1_3_2_1_29_1","first-page":"1","article-title":"XInsight: eXplainable Data Analysis Through The Lens of Causality","volume":"1","author":"Ma Pingchuan","year":"2023","unstructured":"Pingchuan Ma, Rui Ding, Shuai Wang, Shi Han, and Dongmei Zhang. 2023. XInsight: eXplainable Data Analysis Through The Lens of Causality. Proceedings of the ACM on Management of Data 1, 2 (2023), 1--27.","journal-title":"Proceedings of the ACM on Management of Data"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2022.3184263"},{"key":"e_1_3_2_1_31_1","volume-title":"Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version). arXiv preprint arXiv:2309.05264","author":"Ma Pingchuan","year":"2023","unstructured":"Pingchuan Ma, Zhenlan Ji, Peisen Yao, Shuai Wang, and Kui Ren. 2023. Enabling Runtime Verification of Causal Discovery Algorithms with Automated Conditional Independence Reasoning (Extended Version). arXiv preprint arXiv:2309.05264 (2023)."},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. Conf. on Uncertainty in Artificial Intelligence (UAI-95)","author":"C","year":"1995","unstructured":"C MEEK. 1995. Strong completeness and faithfulness in Bayesian networks. In Proc. Conf. on Uncertainty in Artificial Intelligence (UAI-95). 411--418."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.06.005"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Judea Pearl. 1988. Probabilistic reasoning in intelligent systems: networks of plausible inference. Morgan kaufmann.","DOI":"10.1016\/B978-0-08-051489-5.50008-4"},{"key":"e_1_3_2_1_35_1","volume-title":"Proceedings of the 7th European Conference on Artificial Intelligence (ECAI","author":"Pearl Judea","year":"1986","unstructured":"Judea Pearl and Azaria Paz. 1986. Graphoids: Graph-Based Logic for Reasoning about Relevance Relations or When would x tell you more about y if you already know z? In Proceedings of the 7th European Conference on Artificial Intelligence (ECAI 1986)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1080\/14786440009463897"},{"key":"e_1_3_2_1_37_1","volume-title":"Elements of causal inference: foundations and learning algorithms","author":"Peters Jonas","unstructured":"Jonas Peters, Dominik Janzing, and Bernhard Sch\u00f6lkopf. 2017. Elements of causal inference: foundations and learning algorithms. The MIT Press."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pone.0012912"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04694-0_10"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"crossref","unstructured":"Jakob Runge Sebastian Bathiany Erik Bollt Gustau Camps-Valls Dim Coumou Ethan Deyle Clark Glymour Marlene Kretschmer Miguel D Mahecha Jordi Mu\u00f1oz-Mar\u00ed et al. 2019. Inferring causation from time series in Earth system sciences. Nature communications 10 1 (2019) 1--13.","DOI":"10.1038\/s41467-019-10105-3"},{"key":"e_1_3_2_1_41_1","volume-title":"Applications of statistical causal inference in software engineering. Information and Software Technology","author":"Siebert Julien","year":"2023","unstructured":"Julien Siebert. 2023. Applications of statistical causal inference in software engineering. Information and Software Technology (2023), 107198."},{"key":"e_1_3_2_1_42_1","volume-title":"prediction, and search","author":"Spirtes Peter","unstructured":"Peter Spirtes, Clark N Glymour, Richard Scheines, and David Heckerman. 2000. Causation, prediction, and search. MIT press."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(73)90108-8"},{"key":"e_1_3_2_1_44_1","volume-title":"Transactions of the 11th Prague Conference In Information Theory, Statistical Decision Functions and Random Processes. 377--396","author":"Studeny Milan","year":"1992","unstructured":"Milan Studeny. 1992. Conditional independence relations have no finite complete characterization. In Transactions of the 11th Prague Conference In Information Theory, Statistical Decision Functions and Random Processes. 377--396."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510080"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.18409\/jas.v6i2.46"},{"key":"e_1_3_2_1_47_1","volume-title":"The max-min hill-climbing Bayesian network structure learning algorithm. Machine learning 65, 1","author":"Tsamardinos Ioannis","year":"2006","unstructured":"Ioannis Tsamardinos, Laura E Brown, and Constantin F Aliferis. 2006. The max-min hill-climbing Bayesian network structure learning algorithm. Machine learning 65, 1 (2006), 31--78."},{"key":"e_1_3_2_1_48_1","first-page":"5516","article-title":"Towards practical differentially private causal graph discovery","volume":"33","author":"Wang Lun","year":"2020","unstructured":"Lun Wang, Qi Pang, and Dawn Song. 2020. Towards practical differentially private causal graph discovery. Advances in Neural Information Processing Systems 33 (2020), 5516--5526.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_49_1","volume-title":"Towards Practical Federated Causal Structure Learning. arXiv preprint arXiv:2306.09433","author":"Wang Zhaoyu","year":"2023","unstructured":"Zhaoyu Wang, Pingchuan Ma, and Shuai Wang. 2023. Towards Practical Federated Causal Structure Learning. arXiv preprint arXiv:2306.09433 (2023)."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3385985"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-012-0156-2"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/PAC.2017.24"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791577"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2915218"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2019\/206"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.08.001"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549103"}],"event":{"name":"ICSE '24: IEEE\/ACM 46th International Conference on Software Engineering","location":"Lisbon Portugal","acronym":"ICSE '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 46th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3623348","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3597503.3623348","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:49:11Z","timestamp":1750286951000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3597503.3623348"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,2,6]]},"references-count":57,"alternative-id":["10.1145\/3597503.3623348","10.1145\/3597503"],"URL":"https:\/\/doi.org\/10.1145\/3597503.3623348","relation":{},"subject":[],"published":{"date-parts":[[2024,2,6]]},"assertion":[{"value":"2024-02-06","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}