{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T07:56:22Z","timestamp":1780473382946,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,21]],"date-time":"2022-05-21T00:00:00Z","timestamp":1653091200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872172"],"award-info":[{"award-number":["61872172"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,21]]},"DOI":"10.1145\/3510003.3510078","type":"proceedings-article","created":{"date-parts":[[2022,7,5]],"date-time":"2022-07-05T22:42:59Z","timestamp":1657060979000},"page":"451-461","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Conflict-aware inference of python compatible runtime environments with domain knowledge graph"],"prefix":"10.1145","author":[{"given":"Wei","family":"Cheng","sequence":"first","affiliation":[{"name":"Nanjing University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Xiangrong","family":"Zhu","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Wei","family":"Hu","sequence":"additional","affiliation":[{"name":"Nanjing University, China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Georgios Gousios, and Stefano Zacchiroli.","author":"Abate Pietro","year":"2020","unstructured":"Pietro Abate, Roberto Di Cosmo, Georgios Gousios, and Stefano Zacchiroli. 2020. Dependency Solving Is Still Hard, but We Are Getting Better at It. In SANER. IEEE, London, ON, Canada, 547--551."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.02.018"},{"key":"e_1_3_2_1_3_1","volume-title":"SPLC (2)","author":"Berre Daniel Le","unstructured":"Daniel Le Berre and Anne Parrain. 2008. On SAT Technologies for Dependency Management and Beyond. In SPLC (2). Lero Int. Science Centre, University of Limerick, Ireland, Limerick, Ireland, 197--200."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.3233\/sat190075"},{"key":"e_1_3_2_1_5_1","volume-title":"Fienberg","author":"Cohen William W.","year":"2003","unstructured":"William W. Cohen, Pradeep Ravikumar, and Stephen E. Fienberg. 2003. A Comparison of String Distance Metrics for Name-Matching Tasks. In IIWeb. AAAI, Acapulco, Mexico, 73--78."},{"key":"e_1_3_2_1_6_1","volume-title":"Accessed","author":"Collins Robert","year":"2015","unstructured":"Robert Collins. 2015. PEP 508 - Dependency specification for Python software packages. https:\/\/www.python.org\/dev\/peps\/pep-0508\/. Accessed March 23, 2021."},{"key":"e_1_3_2_1_7_1","volume-title":"SAT (Lecture Notes in Computer Science","volume":"518","author":"E\u00e9n Niklas","year":"2003","unstructured":"Niklas E\u00e9n and Niklas S\u00f6rensson. 2003. An Extensible SAT-solver. In SAT (Lecture Notes in Computer Science, Vol. 2919). Springer, Santa Margherita Ligure, Italy, 502--518."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.3233\/sat190014"},{"key":"e_1_3_2_1_9_1","volume-title":"Gistable: Evaluating the Executability of Python Code Snippets on GitHub","author":"Horton Eric","year":"2018","unstructured":"Eric Horton and Chris Parnin. 2018. Gistable: Evaluating the Executability of Python Code Snippets on GitHub. In ICSME. IEEE, Madrid, Spain, 217--227."},{"key":"e_1_3_2_1_10_1","volume-title":"DockerizeMe: automatic inference of environment dependencies for python code snippets","author":"Horton Eric","unstructured":"Eric Horton and Chris Parnin. 2019. DockerizeMe: automatic inference of environment dependencies for python code snippets. In ICSE. IEEE\/ACM, Montreal, QC, Canada, 328--338."},{"key":"e_1_3_2_1_11_1","volume-title":"V2: Fast Detection of Configuration Drift in Python","author":"Horton Eric","unstructured":"Eric Horton and Chris Parnin. 2019. V2: Fast Detection of Configuration Drift in Python. In ASE. IEEE, San Diego, CA, USA, 477--488."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-017-1718-y"},{"key":"e_1_3_2_1_13_1","volume-title":"SAT (Selected Papers (Lecture Notes in Computer Science","volume":"375","author":"Mahajan Yogesh S.","year":"2004","unstructured":"Yogesh S. Mahajan, Zhaohui Fu, and Sharad Malik. 2004. Zchaff2004: An Efficient SAT Solver. In SAT (Selected Papers (Lecture Notes in Computer Science, Vol. 3542). Springer, Vancouver, BC, Canada, 360--375."},{"key":"e_1_3_2_1_14_1","volume-title":"Jerome Vouillon, Berke Durak, Xavier Leroy, and Ralf Treinen.","author":"Mancinelli Fabio","year":"2006","unstructured":"Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, and Ralf Treinen. 2006. Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. In ASE. IEEE, Tokyo, Japan, 199--208."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09284-3_33"},{"key":"e_1_3_2_1_16_1","volume-title":"Mohammad Masudur Rahman, and Chanchal K. Roy","author":"Mondal Saikat","year":"2019","unstructured":"Saikat Mondal, Mohammad Masudur Rahman, and Chanchal K. Roy. 2019. Can issues reported at stack overflow questions be reproduced?: an exploratory study. In MSR. IEEE\/ACM, Montreal, Canada, 479--489."},{"key":"e_1_3_2_1_17_1","volume-title":"API-misuse detection driven by fine-grained API-constraint knowledge graph","author":"Ren Xiaoxue","unstructured":"Xiaoxue Ren, Xinyuan Ye, Zhenchang Xing, Xin Xia, Xiwei Xu, Liming Zhu, and Jianling Sun. 2020. API-misuse detection driven by fine-grained API-constraint knowledge graph. In ASE. IEEE, Melbourne, Australia, 461--472."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02777-2_24"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.29.3"},{"key":"e_1_3_2_1_20_1","volume-title":"Oliveira","author":"Trezentos Paulo","year":"2010","unstructured":"Paulo Trezentos, In\u00eas Lynce, and Arlindo L. Oliveira. 2010. Apt-pbo: solving the software dependency problem using pseudo-boolean optimization. In ASE. ACM, Antwerp, Belgium, 427--436."},{"key":"e_1_3_2_1_21_1","volume-title":"Restoring Execution Environments of Jupyter Notebooks","author":"Wang Jiawei","unstructured":"Jiawei Wang, Li Li, and Andreas Zeller. 2021. Restoring Execution Environments of Jupyter Notebooks. In ICSE. IEEE, Madrid, Spain, 1622--1633."},{"key":"e_1_3_2_1_22_1","volume-title":"ICSE (Companion Volume)","author":"Wang Lu","unstructured":"Lu Wang, Xiaobing Sun, Jingwei Wang, Yucong Duan, and Bin Li. 2017. Construct bug knowledge graph for bug resolution: poster. In ICSE (Companion Volume). IEEE, Buenos Aires, Argentina, 189--191."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-22888-0_9"},{"key":"e_1_3_2_1_24_1","volume-title":"MSR","author":"Yang Di","unstructured":"Di Yang, Aftab Hussain, and Cristina Videira Lopes. 2016. From query to usable code: An analysis of Stack Overflow code snippets. In MSR. ACM, Austin, TX, USA, 391--402."},{"key":"e_1_3_2_1_25_1","volume-title":"Lopes","author":"Yang Di","year":"2017","unstructured":"Di Yang, Pedro Martins, Vaibhav Saini, and Cristina V. Lopes. 2017. Stack overflow in Github: Any snippets there?. In MSR. IEEE, Buenos Aires, Argentina, 280--290."}],"event":{"name":"ICSE '22: 44th International Conference on Software Engineering","location":"Pittsburgh Pennsylvania","acronym":"ICSE '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 44th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510078","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3510003.3510078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:12:05Z","timestamp":1750191125000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3510003.3510078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,21]]},"references-count":25,"alternative-id":["10.1145\/3510003.3510078","10.1145\/3510003"],"URL":"https:\/\/doi.org\/10.1145\/3510003.3510078","relation":{},"subject":[],"published":{"date-parts":[[2022,5,21]]},"assertion":[{"value":"2022-07-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}