{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:23:01Z","timestamp":1750220581395,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T00:00:00Z","timestamp":1605571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100004750","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1801399"],"award-info":[{"award-number":["1801399"]}],"id":[{"id":"10.13039\/501100004750","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,18]]},"DOI":"10.1145\/3426428.3426916","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T04:27:08Z","timestamp":1606278428000},"page":"48-64","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Demystifying dependence"],"prefix":"10.1145","author":[{"given":"James","family":"Koppel","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"given":"Daniel","family":"Jackson","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]}],"member":"320","published-online":{"date-parts":[[2020,11,17]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292555"},{"volume-title":"A Theory of Objects","author":"Abadi Mart\u00edn","key":"e_1_3_2_2_2_1","unstructured":"Mart\u00edn Abadi and Luca Cardelli . 1996. A Theory of Objects . Springer . htps:\/\/doi.org\/10.1007\/978-1-4419-8598-9 Mart\u00edn Abadi and Luca Cardelli. 1996. A Theory of Objects. Springer. htps:\/\/doi.org\/10.1007\/978-1-4419-8598-9"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2514738"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"crossref","unstructured":"Gadi Aleksandrowicz Hana Chockler Joseph Y Halpern and Alexander Ivrii. 2017. The Computational Complexity of Structure-Based Causality. Journal of Artificial Intelligence Research 58 ( 2017 ) 431-451.  Gadi Aleksandrowicz Hana Chockler Joseph Y Halpern and Alexander Ivrii. 2017. The Computational Complexity of Structure-Based Causality. Journal of Artificial Intelligence Research 58 ( 2017 ) 431-451.","DOI":"10.1613\/jair.5229"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","unstructured":"Hana Chockler and Joseph Y Halpern. 2004. Responsibility and Blame: A Structural-Model Approach. Journal of Artificial Intelligence Research 22 ( 2004 ) 93-115.  Hana Chockler and Joseph Y Halpern. 2004. Responsibility and Blame: A Structural-Model Approach. Journal of Artificial Intelligence Research 22 ( 2004 ) 93-115.","DOI":"10.1613\/jair.1391"},{"key":"e_1_3_2_2_6_1","volume-title":"Revisited. In Proceedings of the 24th Annual ACM SIGPLAN Conference on ObjectOriented Programming, Systems, Languages, and Applications, OOPSLA 2009","author":"Cook William R.","year":"2009","unstructured":"William R. Cook . 2009 . On Understanding Data Abstraction , Revisited. In Proceedings of the 24th Annual ACM SIGPLAN Conference on ObjectOriented Programming, Systems, Languages, and Applications, OOPSLA 2009 , October 25-29, 2009, Orlando, Florida, USA. 557-572. htps:\/\/doi. org\/10.1145\/1640089.1640133 William R. Cook. 2009. On Understanding Data Abstraction, Revisited. In Proceedings of the 24th Annual ACM SIGPLAN Conference on ObjectOriented Programming, Systems, Languages, and Applications, OOPSLA 2009, October 25-29, 2009, Orlando, Florida, USA. 557-572. htps:\/\/doi. org\/10.1145\/1640089.1640133"},{"volume-title":"Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press","author":"Correa J.","key":"e_1_3_2_2_7_1","unstructured":"J. Correa and E. Bareinboim . 2020. A Calculus For Stochastic Interventions: Causal Efect Identification and Surrogate Experiments . In Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press , New York, NY. J. Correa and E. Bareinboim. 2020. A Calculus For Stochastic Interventions: Causal Efect Identification and Surrogate Experiments. In Proceedings of the 34th AAAI Conference on Artificial Intelligence. AAAI Press, New York, NY."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"crossref","unstructured":"Michael D Ernst Jef 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 69 1-3 ( 2007 ) 35-45.  Michael D Ernst Jef 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 69 1-3 ( 2007 ) 35-45.","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"e_1_3_2_2_9_1","volume-title":"Refactoring: Improving the Design of Existing Code","author":"Fowler Martin","year":"2018","unstructured":"Martin Fowler . 2018 . Refactoring: Improving the Design of Existing Code . Addison-Wesley Professional . Martin Fowler. 2018. Refactoring: Improving the Design of Existing Code. Addison-Wesley Professional."},{"key":"e_1_3_2_2_10_1","unstructured":"Richard Gabriel. 2011. Definitions of Modularity. htp: \/\/modularity.info\/conference\/2011\/files\/PerspectivesOnModularity\/ ModularityDefinitions.pdf. ( 2011 ).  Richard Gabriel. 2011. Definitions of Modularity. htp: \/\/modularity.info\/conference\/2011\/files\/PerspectivesOnModularity\/ ModularityDefinitions.pdf. ( 2011 )."},{"key":"e_1_3_2_2_11_1","volume-title":"Design Patterns: Abstraction and Reuse of Object-Oriented Design. In European Conference on Object-Oriented Programming. Springer, 406-431","author":"Gamma Erich","year":"1993","unstructured":"Erich Gamma , Richard Helm , Ralph Johnson , and John Vlissides . 1993 . Design Patterns: Abstraction and Reuse of Object-Oriented Design. In European Conference on Object-Oriented Programming. Springer, 406-431 . Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1993. Design Patterns: Abstraction and Reuse of Object-Oriented Design. In European Conference on Object-Oriented Programming. Springer, 406-431."},{"key":"e_1_3_2_2_12_1","volume-title":"Choh Man Teng, and Jiji Zhang","author":"Glymour Clark","year":"2010","unstructured":"Clark Glymour , David Danks , Bruce Glymour , Frederick Eberhardt , Joseph Ramsey , Richard Scheines , Peter Spirtes , Choh Man Teng, and Jiji Zhang . 2010 . Actual Causation : A Stone Soup Essay. Synthese 175, 2 ( 2010 ), 169-192. Clark Glymour, David Danks, Bruce Glymour, Frederick Eberhardt, Joseph Ramsey, Richard Scheines, Peter Spirtes, Choh Man Teng, and Jiji Zhang. 2010. Actual Causation: A Stone Soup Essay. Synthese 175, 2 ( 2010 ), 169-192."},{"key":"e_1_3_2_2_13_1","volume-title":"Twenty-Fourth International Joint Conference on Artificial Intelligence.","author":"Halpern Joseph","year":"2015","unstructured":"Joseph Halpern . 2015 . A Modification of the Halpern-Pearl Definition of Causality . In Twenty-Fourth International Joint Conference on Artificial Intelligence. Joseph Halpern. 2015. A Modification of the Halpern-Pearl Definition of Causality. In Twenty-Fourth International Joint Conference on Artificial Intelligence."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"crossref","unstructured":"Joseph Y Halpern. 2016. Actual Causality. MIT Press.  Joseph Y Halpern. 2016. Actual Causality. MIT Press.","DOI":"10.7551\/mitpress\/10809.001.0001"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"crossref","unstructured":"Joseph Y Halpern. 2016. Suficient Conditions for Causality to be Transitive. Philosophy of Science 83 2 ( 2016 ) 213-226.  Joseph Y Halpern. 2016. Suficient Conditions for Causality to be Transitive. Philosophy of Science 83 2 ( 2016 ) 213-226.","DOI":"10.1086\/684915"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/bjps\/axt050"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2074022.2074047"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"crossref","unstructured":"Joseph Y Halpern and Judea Pearl. 2005. Causes and explanations: A structural-model approach. Part I: Causes. The British journal for the philosophy of science 56 4 ( 2005 ) 843-887.  Joseph Y Halpern and Judea Pearl. 2005. Causes and explanations: A structural-model approach. Part I: Causes. The British journal for the philosophy of science 56 4 ( 2005 ) 843-887.","DOI":"10.1093\/bjps\/axi147"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"crossref","unstructured":"John Hannan and Dale Miller. 1992. From Operational Semantics to Abstract Machines. Mathematical Structures in Computer Science 2 4 ( 1992 ) 415-459.  John Hannan and Dale Miller. 1992. From Operational Semantics to Abstract Machines. Mathematical Structures in Computer Science 2 4 ( 1992 ) 415-459.","DOI":"10.1017\/S0960129500001559"},{"volume-title":"The Stanford Encyclopedia of Philosophy (spring 2020 ed.), Edward N","author":"Hitchcock Christopher","key":"e_1_3_2_2_20_1","unstructured":"Christopher Hitchcock and Mikl\u00f3s R\u00e9dei . 2020. Reichenbach's Common Cause Principle . In The Stanford Encyclopedia of Philosophy (spring 2020 ed.), Edward N . Zalta (Ed.). Metaphysics Research Lab, Stanford University . Christopher Hitchcock and Mikl\u00f3s R\u00e9dei. 2020. Reichenbach's Common Cause Principle. In The Stanford Encyclopedia of Philosophy (spring 2020 ed.), Edward N. Zalta (Ed.). Metaphysics Research Lab, Stanford University."},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2362389.2362393"},{"key":"e_1_3_2_2_22_1","volume-title":"Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning. AAAI Press Menlo Park, CA, 83-89","author":"Hopkins Mark","year":"2003","unstructured":"Mark Hopkins and Judea Pearl . 2003 . Clarifying the Usage of Structural Models for Commonsense Causal Reasoning . In Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning. AAAI Press Menlo Park, CA, 83-89 . Mark Hopkins and Judea Pearl. 2003. Clarifying the Usage of Structural Models for Commonsense Causal Reasoning. In Proceedings of the AAAI Spring Symposium on Logical Formalizations of Commonsense Reasoning. AAAI Press Menlo Park, CA, 83-89."},{"key":"e_1_3_2_2_23_1","volume-title":"Proceedings of the 21st Amsterdam Colloquium. 35-44","author":"Icard Thomas F","year":"2017","unstructured":"Thomas F Icard . 2017 . From Programs to Causal Models . In Proceedings of the 21st Amsterdam Colloquium. 35-44 . Thomas F Icard. 2017. From Programs to Causal Models. In Proceedings of the 21st Amsterdam Colloquium. 35-44."},{"key":"e_1_3_2_2_24_1","volume-title":"Module Dependences in Software Design. In International Workshop on Radical Innovations of Software and Systems Engineering in the Future. Springer, 198-203","author":"Jackson Daniel","year":"2002","unstructured":"Daniel Jackson . 2002 . Module Dependences in Software Design. In International Workshop on Radical Innovations of Software and Systems Engineering in the Future. Springer, 198-203 . Daniel Jackson. 2002. Module Dependences in Software Design. In International Workshop on Radical Innovations of Software and Systems Engineering in the Future. Springer, 198-203."},{"key":"e_1_3_2_2_25_1","volume-title":"Property-Part Diagrams: A Dependence Notation for Software Systems. In ICSE Workshop: A Tribute to Michael Jackson","author":"Jackson Daniel","year":"2009","unstructured":"Daniel Jackson and Eunsuk Kang . 2009 . Property-Part Diagrams: A Dependence Notation for Software Systems. In ICSE Workshop: A Tribute to Michael Jackson , Vancouver. Citeseer. Daniel Jackson and Eunsuk Kang. 2009. Property-Part Diagrams: A Dependence Notation for Software Systems. In ICSE Workshop: A Tribute to Michael Jackson, Vancouver. Citeseer."},{"key":"e_1_3_2_2_26_1","unstructured":"James Koppel. 2018. You are a Program Synthesizer. htp:\/\/www.pathsensitive.com\/ 2018 \/12\/my-strange-loop-talkyou-are-program. html. (Dec. 2018 ).  James Koppel. 2018. You are a Program Synthesizer. htp:\/\/www.pathsensitive.com\/ 2018 \/12\/my-strange-loop-talkyou-are-program. html. (Dec. 2018 )."},{"key":"e_1_3_2_2_27_1","volume-title":"Automatically Deriving Control-Flow Graph Generators from Operational Semantics. ( 2020 ). arXiv:cs.PL\/","author":"Koppel James","year":"2010","unstructured":"James Koppel , Jackson Kearl , and Armando Solar-Lezama . 2020. Automatically Deriving Control-Flow Graph Generators from Operational Semantics. ( 2020 ). arXiv:cs.PL\/ 2010 .04918 James Koppel, Jackson Kearl, and Armando Solar-Lezama. 2020. Automatically Deriving Control-Flow Graph Generators from Operational Semantics. ( 2020 ). arXiv:cs.PL\/ 2010.04918"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276492"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/260"},{"volume-title":"Cooperative Bug Isolation","author":"Liblit Ben","key":"e_1_3_2_2_30_1","unstructured":"Ben Liblit . 2007. Cooperative Bug Isolation . Vol. 4440 . Springer . Ben Liblit. 2007. Cooperative Bug Isolation. Vol. 4440. Springer."},{"key":"e_1_3_2_2_31_1","volume-title":"Clean Code: A Handbook of Agile Software Craftsmanship. Pearson Education.","author":"Martin Robert C","year":"2009","unstructured":"Robert C Martin . 2009 . Clean Code: A Handbook of Agile Software Craftsmanship. Pearson Education. Robert C Martin. 2009. Clean Code: A Handbook of Agile Software Craftsmanship. Pearson Education."},{"key":"e_1_3_2_2_32_1","volume-title":"Causality in Databases","author":"Meliou Alexandra","year":"2010","unstructured":"Alexandra Meliou , Wolfgang Gatterbauer , Joseph Y Halpern , Christoph Koch , Katherine F Moore , and Dan Suciu . 2010. Causality in Databases . IEEE Data Eng. Bull. 33, ARTICLE ( 2010 ), 59-67. Alexandra Meliou, Wolfgang Gatterbauer, Joseph Y Halpern, Christoph Koch, Katherine F Moore, and Dan Suciu. 2010. Causality in Databases. IEEE Data Eng. Bull. 33, ARTICLE ( 2010 ), 59-67."},{"volume-title":"A Philosophy of Software Design","author":"Ousterhout John","key":"e_1_3_2_2_33_1","unstructured":"John Ousterhout . 2018. A Philosophy of Software Design . Yaknyam Press . John Ousterhout. 2018. A Philosophy of Software Design. Yaknyam Press."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"crossref","unstructured":"Pavel Panchekha Adam T Geller Michael D Ernst Zachary Tatlock and Shoaib Kamil. 2018. Verifying that Web Pages have Accessible Layout. ACM SIGPLAN Notices 53 4 ( 2018 ) 1-14.  Pavel Panchekha Adam T Geller Michael D Ernst Zachary Tatlock and Shoaib Kamil. 2018. Verifying that Web Pages have Accessible Layout. ACM SIGPLAN Notices 53 4 ( 2018 ) 1-14.","DOI":"10.1145\/3296979.3192407"},{"volume-title":"Pioneers and Their Contributions to Software Engineering","author":"Parnas David L","key":"e_1_3_2_2_35_1","unstructured":"David L Parnas . 1972. On the Criteria to be Used in Decomposing Systems into Modules . In Pioneers and Their Contributions to Software Engineering . Springer , 479-498. David L Parnas. 1972. On the Criteria to be Used in Decomposing Systems into Modules. In Pioneers and Their Contributions to Software Engineering. Springer, 479-498."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234169"},{"key":"e_1_3_2_2_37_1","unstructured":"Judea Pearl. 1998. On the Definition of Actual Cause. ( 1998 ).  Judea Pearl. 1998. On the Definition of Actual Cause. ( 1998 )."},{"key":"e_1_3_2_2_38_1","unstructured":"Judea Pearl. 2009. Causality. Cambridge University Press.  Judea Pearl. 2009. Causality. Cambridge University Press."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/357401.357402"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988783.1988785"},{"key":"e_1_3_2_2_41_1","volume-title":"Identifying Execution Points for Dynamic Analyses. In 2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 81-91","author":"Sumner William N","year":"2013","unstructured":"William N Sumner and Xiangyu Zhang . 2013 . Identifying Execution Points for Dynamic Analyses. In 2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 81-91 . William N Sumner and Xiangyu Zhang. 2013. Identifying Execution Points for Dynamic Analyses. In 2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE). IEEE, 81-91."},{"key":"e_1_3_2_2_42_1","unstructured":"Zenna Tavares James Koppel Xin Zhang and Armando Solar-Lezama. 2019. A Language for Counterfactual Generative Models. htp:\/\/www. zenna.org\/publications\/causal.pdf. ( 2019 ).  Zenna Tavares James Koppel Xin Zhang and Armando Solar-Lezama. 2019. A Language for Counterfactual Generative Models. htp:\/\/www. zenna.org\/publications\/causal.pdf. ( 2019 )."},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133903"},{"key":"e_1_3_2_2_44_1","volume-title":"Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics. 770-778","author":"Wingate David","year":"2011","unstructured":"David Wingate , Andreas Stuhlm\u00fcller , and Noah Goodman . 2011 . Lightweight Implementations of Probabilistic Programming Languages via Transformational Compilation . In Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics. 770-778 . David Wingate, Andreas Stuhlm\u00fcller, and Noah Goodman. 2011. Lightweight Implementations of Probabilistic Programming Languages via Transformational Compilation. In Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics. 770-778."},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"crossref","unstructured":"Andreas Zeller. 2002. Isolating Cause-Efect Chains from Computer Programs. ACM SIGSOFT Software Engineering Notes 27 6 ( 2002 ) 1-10.  Andreas Zeller. 2002. Isolating Cause-Efect Chains from Computer Programs. ACM SIGSOFT Software Engineering Notes 27 6 ( 2002 ) 1-10.","DOI":"10.1145\/605466.605468"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426428.3426916","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426428.3426916","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426428.3426916"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,17]]},"references-count":45,"alternative-id":["10.1145\/3426428.3426916","10.1145\/3426428"],"URL":"https:\/\/doi.org\/10.1145\/3426428.3426916","relation":{},"subject":[],"published":{"date-parts":[[2020,11,17]]},"assertion":[{"value":"2020-11-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}