{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,14]],"date-time":"2025-04-14T18:05:09Z","timestamp":1744653909539,"version":"3.40.3"},"publisher-location":"Cham","reference-count":51,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030816872"},{"type":"electronic","value":"9783030816889"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,7,15]],"date-time":"2021-07-15T00:00:00Z","timestamp":1626307200000},"content-version":"vor","delay-in-days":195,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Explainability is the process of linking part of the inputs given to a calculation to its output, in such a way that the selected inputs somehow \u201ccause\u201d the result. We establish the formal foundations of a notion of explainability for arbitrary abstract functions manipulating nested data structures. We then establish explanation relationships for a set of elementary functions, and for compositions thereof. A fully functional implementation of these concepts is finally presented and experimentally evaluated.<\/jats:p>","DOI":"10.1007\/978-3-030-81688-9_24","type":"book-chapter","created":{"date-parts":[[2021,7,16]],"date-time":"2021-07-16T16:20:47Z","timestamp":1626452447000},"page":"500-523","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Foundations of Fine-Grained Explainability"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugo","family":"Tremblay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,7,15]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1613\/jair.5229","volume":"58","author":"G Aleksandrowicz","year":"2017","unstructured":"Aleksandrowicz, G., Chockler, H., Halpern, J.Y., Ivrii, A.: The computational complexity of structure-based causality. J. Artif. Intell. Res. 58, 431\u2013451 (2017)","journal-title":"J. Artif. Intell. Res."},{"key":"24_CR2","unstructured":"Apparao, V., et al.: Document object model (DOM) level 1 specification. Technical report, World Wide Web Consortium (1998). https:\/\/www.w3.org\/DOM\/. Accessed 17 Nov 2019"},{"key":"24_CR3","unstructured":"Arab, B., Gawlick, D., Krishnaswamy, V., Radhakrishnan, V., Glavic, B.: Formal foundations of reenactment and transaction provenance. Technical Report IIT\/CS-DB-2016-01, Illinois Institute of Technology (2016)"},{"issue":"3","key":"24_CR4","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/s10703-015-0222-7","volume":"46","author":"DA Basin","year":"2015","unstructured":"Basin, D.A., Klaedtke, F., Marinovic, S., Zalinescu, E.: Monitoring of temporal first-order properties with aggregations. Formal Methods Syst. Des. 46(3), 262\u2013285 (2015)","journal-title":"Formal Methods Syst. Des."},{"issue":"1","key":"24_CR5","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/s10703-011-0132-2","volume":"40","author":"I Beer","year":"2012","unstructured":"Beer, I., Ben-David, S., Chockler, H., Orni, A., Trefler, R.J.: Explaining counterexamples using causality. Formal Methods Syst. Des. 40(1), 20\u201340 (2012)","journal-title":"Formal Methods Syst. Des."},{"issue":"1","key":"24_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/s10703-014-0221-0","volume":"46","author":"S Ben-David","year":"2015","unstructured":"Ben-David, S., Copty, F., Fisman, D., Ruah, S.: Vacuity in practice: temporal antecedent failure. Formal Methods Syst. Des. 46(1), 81\u2013104 (2015). https:\/\/doi.org\/10.1007\/s10703-014-0221-0","journal-title":"Formal Methods Syst. Des."},{"issue":"4","key":"24_CR7","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s00778-005-0156-6","volume":"14","author":"D Bhagwat","year":"2005","unstructured":"Bhagwat, D., Chiticariu, L., Tan, W.C., Vijayvargiya, G.: An annotation management system for relational databases. VLDB J. 14(4), 373\u2013396 (2005). https:\/\/doi.org\/10.1007\/s00778-005-0156-6","journal-title":"VLDB J."},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/3-540-44503-X_20","volume-title":"Database Theory \u2014 ICDT 2001","author":"P Buneman","year":"2001","unstructured":"Buneman, P., Khanna, S., Wang-Chiew, T.: Why and where: a characterization of data provenance. In: Van den Bussche, J., Vianu, V. (eds.) ICDT 2001. LNCS, vol. 1973, pp. 316\u2013330. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-44503-X_20"},{"issue":"4","key":"24_CR9","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1561\/1900000006","volume":"1","author":"J Cheney","year":"2007","unstructured":"Cheney, J., Chiticariu, L., Tan, W.-C.: Provenance in databases: why, how, and where. Found. Trends Databases 1(4), 379\u2013474 (2007)","journal-title":"Found. Trends Databases"},{"key":"24_CR10","unstructured":"Chiticariu, L., Tan, W.C.: Debugging schema mappings with routes. In: Dayal, U., et al. (eds.) Proceedings of the VLDB 2006, pp. 79\u201390. ACM (2006)"},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Chiticariu, L., Tan, W.C., Vijayvargiya, G.: DBNotes: a post-it system for relational databases based on provenance. In: \u00d6zcan, F. (ed.) Proceedings of the SIGMOD 2005, pp. 942\u2013944. ACM (2005)","DOI":"10.1145\/1066157.1066296"},{"key":"24_CR12","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1613\/jair.1391","volume":"22","author":"H Chockler","year":"2004","unstructured":"Chockler, H., Halpern, J.Y.: Responsibility and blame: A structural-model approach. J. Artif. Intell. Res. 22, 93\u2013115 (2004)","journal-title":"J. Artif. Intell. Res."},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Chow, J., Pfaff, B., Garfinkel, T., Christopher, K., Rosenblum, M.: Understanding data lifetime via whole system simulation. In: Blaze, M. (ed.) Proceedings of the USENIX Security 2004, pp. 321\u2013336. USENIX (2004)","DOI":"10.1145\/1133572.1133599"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Clause, J.A., Li, W., Orso, A.: Dytan: a generic dynamic taint analysis framework. In: Rosenblum, D.S., Elbaum, S.G. (eds.) Proceedings of the ISSTA 2007, pp. 196\u2013206. ACM (2007)","DOI":"10.1145\/1273463.1273490"},{"key":"24_CR15","doi-asserted-by":"crossref","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: Roman, G., Griswold, W.G., Nuseibeh, B. (eds.) Proceedings of the ICSE 2005, pp. 342\u2013351. ACM (2005)","DOI":"10.1145\/1062455.1062522"},{"key":"24_CR16","unstructured":"Crandall, J.R., Chong, F.T.: Minos: control data attack prevention orthogonal to memory model. In: Proceedings of the MICRO-37, pp. 221\u2013232. IEEE Computer Society (2004)"},{"issue":"2","key":"24_CR17","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/357775.357777","volume":"25","author":"Y Cui","year":"2000","unstructured":"Cui, Y., Widom, J., Wiener, J.L.: Tracing the lineage of view data in a warehousing environment. ACM Trans. Database Syst. 25(2), 179\u2013227 (2000)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"24_CR18","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/S0004-3702(02)00271-0","volume":"142","author":"T Eiter","year":"2002","unstructured":"Eiter, T., Lukasiewicz, T.: Complexity results for structure-based causality. Artif. Intell. 142(1), 53\u201389 (2002)","journal-title":"Artif. Intell."},{"key":"24_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/978-3-319-24953-7_20","volume-title":"Automated Technology for Verification and Analysis","author":"T Ferr\u00e8re","year":"2015","unstructured":"Ferr\u00e8re, T., Maler, O., Ni\u010dkovi\u0107, D.: Trace diagnostics using temporal implicants. In: Finkbeiner, B., Pu, G., Zhang, L. (eds.) ATVA 2015. LNCS, vol. 9364, pp. 241\u2013258. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-24953-7_20"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Geerts, F., Kementsietsidis, A., Milano, D.: MONDRIAN: annotating and querying databases through colors and blocks. In: Liu, L., Reuter, A., Whang, K., Zhang, J. (eds.) Proceedings of the ICDE 2006, pp. 82. IEEE Computer Society (2006)","DOI":"10.1109\/ICDE.2006.102"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Green, T.J., Karvounarakis, G., Tannen. Provenance semirings. In: Libkin, L. (ed.) Proceedings of the PODS 2007, pp. 31\u201340. ACM (2007)","DOI":"10.1145\/1265530.1265535"},{"issue":"3","key":"24_CR22","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s10009-005-0202-0","volume":"8","author":"A Groce","year":"2006","unstructured":"Groce, A., Chaki, S., Kroening, D., Strichman, O.: Error explanation with distance metrics. STTT 8(3), 229\u2013247 (2006)","journal-title":"STTT"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Hall\u00e9, S.: Causality in message-based contract violations: a temporal logic \u201cwhodunit\u201d. In: Proceedings of the EDOC 2011, pp. 171\u2013180. IEEE Computer Society (2011)","DOI":"10.1109\/EDOC.2011.21"},{"issue":"5","key":"24_CR24","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1016\/j.jlamp.2016.04.001","volume":"85","author":"S Hall\u00e9","year":"2016","unstructured":"Hall\u00e9, S., Bergeron, N., Gu\u00e9rin, F., Le Breton, G., Beroual, O.: Declarative layout constraints for testing web applications. J. Log. Algebraic Meth. Program. 85(5), 737\u2013758 (2016)","journal-title":"J. Log. Algebraic Meth. Program."},{"issue":"11","key":"24_CR25","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/MC.2018.2876075","volume":"51","author":"S Hall\u00e9","year":"2018","unstructured":"Hall\u00e9, S., Khoury, R., Awesso, M.: Streamlining the inclusion of computer experiments in a research paper. IEEE Comput. 51(11), 78\u201389 (2018)","journal-title":"IEEE Comput."},{"key":"24_CR26","unstructured":"Hall\u00e9, S.: Event Stream Processing With BeepBeep 3: Log Crunching and Analysis Made Easy. Presses de l\u2019Universit\u00e9 du Qu\u00e9bec (2018)"},{"key":"24_CR27","unstructured":"Hall\u00e9, S., Tremblay, H.: Measuring the impact of lineage tracking in the Petit Poucet library (version v1.0), April 2021"},{"issue":"4","key":"24_CR28","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1093\/bjps\/axi147","volume":"56","author":"JY Halpern","year":"2005","unstructured":"Halpern, J.Y., Pearl, J.: Causes and explanations: a structural-model approach, part I: causes. Brit. J. Philos. Sci. 56(4), 843\u2013887 (2005)","journal-title":"Brit. J. Philos. Sci."},{"key":"24_CR29","doi-asserted-by":"crossref","unstructured":"Karvounarakis, G., Ives, Z.G., Tannen, V.: Querying data provenance. In: Elmagarmid, A.K., Agrawal, D. (eds.) Proceedings of the SIGMOD 2010, pp. 951\u2013962. ACM (2010)","DOI":"10.1145\/1807167.1807269"},{"key":"24_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-319-51966-1_12","volume-title":"Foundations and Practice of Security","author":"R Khoury","year":"2017","unstructured":"Khoury, R., Gaboury, S., Hall\u00e9, S.: Three views of log trace triaging. In: Cuppens, F., Wang, L., Cuppens-Boulahia, N., Tawbi, N., Garcia-Alfaro, J. (eds.) FPS 2016. LNCS, vol. 10128, pp. 179\u2013195. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51966-1_12"},{"issue":"3","key":"24_CR31","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1023\/A:1011254632723","volume":"19","author":"O Kupferman","year":"2001","unstructured":"Kupferman, O., Vardi, M.Y.: Model checking of safety properties. Formal Methods Syst. Des. 19(3), 291\u2013314 (2001). https:\/\/doi.org\/10.1023\/A:1011254632723","journal-title":"Formal Methods Syst. Des."},{"key":"24_CR32","doi-asserted-by":"crossref","unstructured":"Lam, L., Chiueh, T.-C.: A General dynamic information flow tracking framework for security applications. In Proceedings of the ACSAC 2006, pp. 463\u2013472, Miami Beach, FL, USA, December 2006. IEEE","DOI":"10.1109\/ACSAC.2006.6"},{"key":"24_CR33","unstructured":"Leek, T., Brown, R., Zhivich, M., Lippmann, R.: Coverage maximization using dynamic taint tracing. Technical Report 1112, Massachusetts Institute of Technology (2007)"},{"key":"24_CR34","doi-asserted-by":"crossref","unstructured":"McCamant, S., Ernst, M.D.: Quantitative information flow as network flow capacity. In: Gupta, R., Amarasinghe, S.P. (eds.) Proceedings of the PLDI 2008, pp. 193\u2013205. ACM (2008)","DOI":"10.1145\/1379022.1375606"},{"key":"24_CR35","unstructured":"M\u00f8ller, A., Schwartzbach, M.I.: Static program analysis, October 2018. Department of Computer Science, Aarhus University. http:\/\/cs.au.dk\/~amoeller\/spa\/"},{"issue":"11","key":"24_CR36","doi-asserted-by":"publisher","first-page":"1776","DOI":"10.1109\/TCAD.2012.2203599","volume":"31","author":"S Mukherjee","year":"2012","unstructured":"Mukherjee, S., Dasgupta, P.: Computing minimal debugging windows in failure traces of AMS assertions. IEEE Trans. CAD Integr. Circ. Syst. 31(11), 1776\u20131781 (2012)","journal-title":"IEEE Trans. CAD Integr. Circ. Syst."},{"key":"24_CR37","unstructured":"Newsome, J., Song, D.X.: Dynamic taint analysis for automatic detection, analysis, and signature generation of exploits on commodity software. In: Proceedings of the NDSS 2005. The Internet Society (2005)"},{"issue":"3","key":"24_CR38","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/s10115-018-1164-3","volume":"57","author":"B P\u00e9rez","year":"2018","unstructured":"P\u00e9rez, B., Rubio, J., S\u00e1enz-Ad\u00e1n, C.: A systematic review of provenance systems. Knowl. Inf. Syst. 57(3), 495\u2013543 (2018). https:\/\/doi.org\/10.1007\/s10115-018-1164-3","journal-title":"Knowl. Inf. Syst."},{"key":"24_CR39","volume-title":"Introduction to Static Analysis: An Abstract Interpretation Perspective","author":"X Rival","year":"2020","unstructured":"Rival, X., Yi, K.: Introduction to Static Analysis: An Abstract Interpretation Perspective. MIT Press, Cambridge (2020)"},{"key":"24_CR40","unstructured":"Rohrmann, T.: Introducing complex event processing (CEP) with Apache Flink, 2016. https:\/\/flink.apache.org\/news\/2016\/04\/06\/cep-monitoring.html. Accessed 17 Nov 2019"},{"key":"24_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2019.101446","volume":"101446","author":"M Roudjane","year":"2019","unstructured":"Roudjane, M., Reba\u00efne, D., Khoury, R., Hall\u00e9, S.: Detecting trend deviations with generic stream processing patterns. Inf. Syst. 101446, 1\u201324 (2019). https:\/\/doi.org\/10.1016\/j.is.2019.101446","journal-title":"Inf. Syst."},{"key":"24_CR42","unstructured":"Samek, W., Wiegand, T., M\u00fcller, K.-R.: Explainable artificial intelligence: understanding, visualizing and interpreting deep learning models. ITU J. 1 (2017). arXiv: 1708.08296"},{"key":"24_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/978-3-540-31980-1_32","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"V Schuppan","year":"2005","unstructured":"Schuppan, V., Biere, A.: Shortest counterexamples for symbolic model checking of LTL with past. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 493\u2013509. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-31980-1_32"},{"key":"24_CR44","doi-asserted-by":"crossref","unstructured":"Suh, G.E., Lee, J.W., Zhang, D., Devadas, S.: Secure program execution via dynamic information flow tracking. In: Mukherjee, S., McKinley, K.S., (eds.) Proceedings of the ASPLOS 2004, pp. 85\u201396. ACM (2004)","DOI":"10.1145\/1037947.1024404"},{"key":"24_CR45","unstructured":"Vachharajani, N., et al.: RIFLE: an architectural framework for user-centric information-flow security. In: Proceedings of the MICRO-37, pp. 243\u2013254. IEEE Computer Society (2004)"},{"issue":"3","key":"24_CR46","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/s41060-017-0078-6","volume":"8","author":"SJ van Zelst","year":"2019","unstructured":"van Zelst, S.J., Bolt, A., Hassani, M., van Dongen, B.F., van der Aalst, W.M.P.: Online conformance checking: relating event streams to process models using prefix-alignments. Int. J. Data Sci. Anal. 8(3), 269\u2013284 (2019). https:\/\/doi.org\/10.1007\/s41060-017-0078-6","journal-title":"Int. J. Data Sci. Anal."},{"issue":"4","key":"24_CR47","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1314299.1314302","volume":"25","author":"S Vandebogart","year":"2007","unstructured":"Vandebogart, S., et al.: Labels and event processes in the Asbestos operating system. ACM Trans. Comput. Syst. 25(4), 11 (2007)","journal-title":"ACM Trans. Comput. Syst."},{"key":"24_CR48","unstructured":"Velegrakis, Y., Miller, R.J., Mylopoulos, J.: Representing and querying data transformations. In: Aberer, K., Franklin, M.J., Nishio, S. (eds.) Proceedings of the ICDE 2005, pp. 81\u201392. IEEE Computer Society (2005)"},{"key":"24_CR49","doi-asserted-by":"crossref","unstructured":"Walsh, T.A., McMinn, P., Kapfhammer, G.M.: Automatic detection of potential layout faults following changes to responsive web pages. In: Proceedings of the ASE 2015, pp. 709\u2013714. ACM (2015)","DOI":"10.1109\/ASE.2015.31"},{"key":"24_CR50","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/11901914_9","volume-title":"Automated Technology for Verification and Analysis","author":"C Wang","year":"2006","unstructured":"Wang, C., Yang, Z., Ivan\u010di\u0107, F., Gupta, A.: Whodunit? Causal analysis for counterexamples. In: Graf, S., Zhang, W. (eds.) ATVA 2006. LNCS, vol. 4218, pp. 82\u201395. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11901914_9"},{"key":"24_CR51","unstructured":"Wang, Y.R., Madnick, S.E.: A polygen model for heterogeneous database systems: the source tagging perspective. In: McLeod, D., Sacks-Davis, R., Schek, H. (eds.) Proceedings of the VLDB 1990, pp. 519\u2013538. Morgan Kaufmann (1990)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-81688-9_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,6]],"date-time":"2023-11-06T04:42:28Z","timestamp":1699245748000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-81688-9_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030816872","9783030816889"],"references-count":51,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-81688-9_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"15 July 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 July 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 July 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"33","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/i-cav.org\/2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"290","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"63","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"22% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"12","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16 tool papers and 5 invited papers are also included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}