{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T13:53:17Z","timestamp":1758981197960,"version":"3.40.3"},"publisher-location":"Cham","reference-count":38,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031572586"},{"type":"electronic","value":"9783031572593"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,4,6]],"date-time":"2024-04-06T00:00:00Z","timestamp":1712361600000},"content-version":"vor","delay-in-days":96,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>In recent years, more people have seen their work depend on data manipulation tasks. However, many of these users do not have the background in programming required to write complex programs, particularly SQL queries. One way of helping these users is automatically synthesizing the SQL query given a small set of examples. Several program synthesizers for SQL have been recently proposed, but they do not leverage multicore architectures.<\/jats:p><jats:p>This paper proposes <jats:sc>Cubes<\/jats:sc>, a parallel program synthesizer for the domain of SQL queries using input-output examples. Since input-output examples are an under-specification of the desired SQL query, sometimes, the synthesized query does not match the user\u2019s intent. <jats:sc>Cubes<\/jats:sc> incorporates a new disambiguation procedure based on fuzzing techniques that interacts with the user and increases the confidence that the returned query matches the user intent. We perform an extensive evaluation on around 4000 SQL queries from different domains. Experimental results show that our parallel approach can scale up to 16 processes with super-linear speedups for many hard instances, and that our disambiguation approach is critical to achieving an accuracy of around 60%, significantly larger than other SQL synthesizers.\n<\/jats:p>","DOI":"10.1007\/978-3-031-57259-3_11","type":"book-chapter","created":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T13:01:39Z","timestamp":1712322099000},"page":"232-254","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7006-9829","authenticated-orcid":false,"given":"Ricardo","family":"Brancas","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4089-7206","authenticated-orcid":false,"given":"Miguel","family":"Terra-Neves","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4233-1348","authenticated-orcid":false,"given":"Miguel","family":"Ventura","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4205-2189","authenticated-orcid":false,"given":"Vasco","family":"Manquinho","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1525-1382","authenticated-orcid":false,"given":"Ruben","family":"Martins","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,4,6]]},"reference":[{"doi-asserted-by":"publisher","unstructured":"Aigner, M., Biere, A., Kirsch, C.M., Niemetz, A., Preiner, M.: Analysis of portfolio-style parallel SAT solving on current multi-core architectures. In: Berre, D.L. (ed.) POS-13. Fourth Pragmatics of SAT workshop, a workshop of the SAT 2013 conference, July 7, 2013, Helsinki, Finland. EPiC Series in Computing, vol.\u00a029, pp. 28\u201340. EasyChair (2013). https:\/\/doi.org\/10.29007\/73N4","key":"11_CR1","DOI":"10.29007\/73N4"},{"doi-asserted-by":"publisher","unstructured":"Balyo, T., Sanders, P., Sinz, C.: Hordesat: A massively parallel portfolio SAT solver. In: Heule, M., Weaver, S.A. (eds.) Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings. Lecture Notes in Computer Science, vol.\u00a09340, pp. 156\u2013172. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-24318-4_12","key":"11_CR2","DOI":"10.1007\/978-3-319-24318-4_12"},{"doi-asserted-by":"publisher","unstructured":"Brancas, R., Terra-Neves, M., Ventura, M., Manquinho, V., Martins, R.: CUBES: A parallel synthesizer for SQL using examples. CoRR abs\/2203.04995 (2022). https:\/\/doi.org\/10.48550\/ARXIV.2203.04995","key":"11_CR3","DOI":"10.48550\/ARXIV.2203.04995"},{"doi-asserted-by":"publisher","unstructured":"Brancas, R., Terra-Neves, M., Ventura, M., Manquinho, V., Martins, R.: Towards reliable SQL synthesis: Fuzzing-based evaluation and disambiguation (2024). https:\/\/doi.org\/10.5281\/zenodo.10492998","key":"11_CR4","DOI":"10.5281\/zenodo.10492998"},{"doi-asserted-by":"publisher","unstructured":"Chu, S., Murphy, B., Roesch, J., Cheung, A., Suciu, D.: Axiomatic foundations and algorithms for deciding semantic equivalences of SQL queries. Proc. VLDB Endow. 11(11), 1482\u20131495 (2018). https:\/\/doi.org\/10.14778\/3236187.3236200","key":"11_CR5","DOI":"10.14778\/3236187.3236200"},{"unstructured":"Chu, S., Wang, C., Weitz, K., Cheung, A.: Cosette: An automated prover for SQL. In: 8th Biennial Conference on Innovative Data Systems Research, CIDR 2017, Chaminade, CA, USA, January 8-11, 2017, Online Proceedings. www.cidrdb.org (2017), http:\/\/cidrdb.org\/cidr2017\/papers\/p51-chu-cidr17.pdf","key":"11_CR6"},{"doi-asserted-by":"publisher","unstructured":"Feng, Y., Martins, R., Van\u00a0Geffen, J., Dillig, I., Chaudhuri, S.: Component-based Synthesis of Table Consolidation and Transformation Tasks from Examples. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 422\u2013436. PLDI 2017, ACM, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3062341.3062351","key":"11_CR7","DOI":"10.1145\/3062341.3062351"},{"doi-asserted-by":"publisher","unstructured":"Ferreira, M., Terra-Neves, M., Ventura, M., Lynce, I., Martins, R.: FOREST: an interactive multi-tree synthesizer for regular expressions. In: Groote, J.F., Larsen, K.G. (eds.) Tools and Algorithms for the Construction and Analysis of Systems - 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings, Part I. Lecture Notes in Computer Science, vol. 12651, pp. 152\u2013169. Springer (2021). https:\/\/doi.org\/10.1007\/978-3-030-72016-2_9","key":"11_CR8","DOI":"10.1007\/978-3-030-72016-2_9"},{"doi-asserted-by":"publisher","unstructured":"Gent, I.P., Miguel, I., Nightingale, P., McCreesh, C., Prosser, P., Moore, N.C.A., Unsworth, C.: A review of literature on parallel constraint solving. Theory Pract. Log. Program. 18(5-6), 725\u2013758 (2018). https:\/\/doi.org\/10.1017\/S1471068418000340","key":"11_CR9","DOI":"10.1017\/S1471068418000340"},{"doi-asserted-by":"publisher","unstructured":"Hamadi, Y., Sais, L. (eds.): Handbook of Parallel Constraint Reasoning. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-63516-3","key":"11_CR10","DOI":"10.1007\/978-3-319-63516-3"},{"doi-asserted-by":"publisher","unstructured":"Handa, S., Rinard, M.C.: Inductive program synthesis over noisy data. In: Devanbu, P., Cohen, M.B., Zimmermann, T. (eds.) Proc. ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. pp. 87\u201398. ACM (2020). https:\/\/doi.org\/10.1145\/3368089.3409732","key":"11_CR11","DOI":"10.1145\/3368089.3409732"},{"doi-asserted-by":"publisher","unstructured":"Heule, M.J.H., Kullmann, O., Biere, A.: Cube-and-conquer for satisfiability. In: Hamadi, Y., Sais, L. (eds.) Handbook of Parallel Constraint Reasoning, pp. 31\u201359. Springer (2018). https:\/\/doi.org\/10.1007\/978-3-319-63516-3_2","key":"11_CR12","DOI":"10.1007\/978-3-319-63516-3_2"},{"doi-asserted-by":"publisher","unstructured":"Ji, R., Liang, J., Xiong, Y., Zhang, L., Hu, Z.: Question selection for interactive program synthesis. In: Donaldson, A.F., Torlak, E. (eds.) Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, PLDI 2020, London, UK, June 15-20, 2020. pp. 1143\u20131158. ACM (2020). https:\/\/doi.org\/10.1145\/3385412.3386025","key":"11_CR13","DOI":"10.1145\/3385412.3386025"},{"doi-asserted-by":"publisher","unstructured":"Li, H., Chan, C., Maier, D.: Query from examples: An iterative, data-driven approach to query construction. Proc. VLDB Endow. 8(13), 2158\u20132169 (2015). https:\/\/doi.org\/10.14778\/2831360.2831369","key":"11_CR14","DOI":"10.14778\/2831360.2831369"},{"doi-asserted-by":"publisher","unstructured":"Martins, R., Chen, J., Chen, Y., Feng, Y., Dillig, I.: Trinity: An Extensible Synthesis Framework for Data Science. Proc. VLDB Endow. 12(12), 1914\u20131917 (Aug 2019). https:\/\/doi.org\/10.14778\/3352063.3352098","key":"11_CR15","DOI":"10.14778\/3352063.3352098"},{"doi-asserted-by":"publisher","unstructured":"Mayer, M., Soares, G., Grechkin, M., Le, V., Marron, M., Polozov, O., Singh, R., Zorn, B.G., Gulwani, S.: User interaction models for disambiguation in programming by example. In: Latulipe, C., Hartmann, B., Grossman, T. (eds.) Proceedings of the 28th Annual ACM Symposium on User Interface Software & Technology, UIST 2015, Charlotte, NC, USA, November 8-11, 2015. pp. 291\u2013301. ACM (2015). https:\/\/doi.org\/10.1145\/2807442.2807459","key":"11_CR16","DOI":"10.1145\/2807442.2807459"},{"doi-asserted-by":"publisher","unstructured":"Narita, M., Maudet, N., Lu, Y., Igarashi, T.: Data-centric disambiguation for data transformation with programming-by-example. In: Hammond, T., Verbert, K., Parra, D., Knijnenburg, B.P., O\u2019Donovan, J., Teale, P. (eds.) IUI \u201921: 26th International Conference on Intelligent User Interfaces, College Station, TX, USA, April 13-17, 2021. pp. 454\u2013463. ACM (2021). https:\/\/doi.org\/10.1145\/3397481.3450680","key":"11_CR17","DOI":"10.1145\/3397481.3450680"},{"doi-asserted-by":"publisher","unstructured":"Ngoko, Y., C\u00e9rin, C., Trystram, D.: Solving sat in a distributed cloud: A portfolio approach. Int. J. Appl. Math. Comput. Sci. 29(2), 261\u2013274 (2019). https:\/\/doi.org\/10.2478\/amcs-2019-0019","key":"11_CR18","DOI":"10.2478\/amcs-2019-0019"},{"doi-asserted-by":"publisher","unstructured":"Orvalho, P., Terra-Neves, M., Ventura, M., Martins, R., Manquinho, V.: Encodings for Enumeration-Based Program Synthesis. In: Schiex, T., de Givry, S. (eds.) Principles and Practice of Constraint Programming. pp. 583\u2013599. Lecture Notes in Computer Science, Springer International Publishing, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30048-7_34","key":"11_CR19","DOI":"10.1007\/978-3-030-30048-7_34"},{"doi-asserted-by":"publisher","unstructured":"Orvalho, P., Terra-Neves, M., Ventura, M., Martins, R., Manquinho, V.: SQUARES: A SQL synthesizer using query reverse engineering. Proceedings of the VLDB Endowment 13(12), 2853\u20132856 (Aug 2020). https:\/\/doi.org\/10.14778\/3415478.3415492","key":"11_CR20","DOI":"10.14778\/3415478.3415492"},{"doi-asserted-by":"publisher","unstructured":"Ramos, D., Pereira, J., Lynce, I., Manquinho, V.M., Martins, R.: UNCHARTIT: an interactive framework for program recovery from charts. In: 35th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2020, Melbourne, Australia, September 21-25, 2020. pp. 175\u2013186. IEEE (2020). https:\/\/doi.org\/10.1145\/3324884.3416613","key":"11_CR21","DOI":"10.1145\/3324884.3416613"},{"doi-asserted-by":"publisher","unstructured":"Roussel, O.: Controlling a Solver Execution with the runsolver Tool: System description. Journal on Satisfiability, Boolean Modeling and Computation 7(4), 139\u2013144 (Nov 2011). https:\/\/doi.org\/10.3233\/SAT190083","key":"11_CR22","DOI":"10.3233\/SAT190083"},{"doi-asserted-by":"publisher","unstructured":"Schubert, T., Lewis, M.D.T., Becker, B.: Pamira - A parallel SAT solver with knowledge sharing. In: Abadir, M.S., Wang, L. (eds.) Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA. pp. 29\u201336. IEEE Computer Society (2005). https:\/\/doi.org\/10.1109\/MTV.2005.17","key":"11_CR23","DOI":"10.1109\/MTV.2005.17"},{"doi-asserted-by":"publisher","unstructured":"Shi, P., Ng, P., Wang, Z., Zhu, H., Li, A.H., Wang, J., dos Santos, C.N., Xiang, B.: Learning contextual representations for semantic parsing with generation-augmented pre-training. In: Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021. pp. 13806\u201313814. AAAI Press (2021). https:\/\/doi.org\/10.1609\/AAAI.V35I15.17627","key":"11_CR24","DOI":"10.1609\/AAAI.V35I15.17627"},{"doi-asserted-by":"publisher","unstructured":"Shinano, Y., Heinz, S., Vigerske, S., Winkler, M.: Fiberscip - A shared memory parallelization of SCIP. INFORMS J. Comput. 30(1), 11\u201330 (2018). https:\/\/doi.org\/10.1287\/ijoc.2017.0762","key":"11_CR25","DOI":"10.1287\/ijoc.2017.0762"},{"doi-asserted-by":"publisher","unstructured":"Shriver, D., Elbaum, S.G., Stolee, K.T.: At the end of synthesis: Narrowing program candidates. In: 39th IEEE\/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, ICSE-NIER 2017, Buenos Aires, Argentina, May 20-28, 2017. pp. 19\u201322. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/ICSE-NIER.2017.7","key":"11_CR26","DOI":"10.1109\/ICSE-NIER.2017.7"},{"doi-asserted-by":"publisher","unstructured":"Takenouchi, K., Ishio, T., Okada, J., Sakata, Y.: PATSQL: efficient synthesis of SQL queries from example tables with quick inference of projected columns. Proc. VLDB Endow. 14(11), 1937\u20131949 (2021). https:\/\/doi.org\/10.14778\/3476249.3476253","key":"11_CR27","DOI":"10.14778\/3476249.3476253"},{"doi-asserted-by":"publisher","unstructured":"Tran, Q.T., Chan, C., Parthasarathy, S.: Query by output. In: \u00c7etintemel, U., Zdonik, S.B., Kossmann, D., Tatbul, N. (eds.) Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2009, Providence, Rhode Island, USA, June 29 - July 2, 2009. pp. 535\u2013548. ACM (2009). https:\/\/doi.org\/10.1145\/1559845.1559902","key":"11_CR28","DOI":"10.1145\/1559845.1559902"},{"doi-asserted-by":"publisher","unstructured":"Tran, Q.T., Chan, C.Y., Parthasarathy, S.: Query reverse engineering. VLDB J. 23(5), 721\u2013746 (2014). https:\/\/doi.org\/10.1007\/s00778-013-0349-3","key":"11_CR29","DOI":"10.1007\/s00778-013-0349-3"},{"doi-asserted-by":"publisher","unstructured":"Wang, B., Shin, R., Liu, X., Polozov, O., Richardson, M.: RAT-SQL: relation-aware schema encoding and linking for text-to-sql parsers. In: Jurafsky, D., Chai, J., Schluter, N., Tetreault, J.R. (eds.) Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, ACL 2020, Online, July 5-10, 2020. pp. 7567\u20137578. Association for Computational Linguistics (2020). https:\/\/doi.org\/10.18653\/v1\/2020.acl-main.677","key":"11_CR30","DOI":"10.18653\/v1\/2020.acl-main.677"},{"doi-asserted-by":"publisher","unstructured":"Wang, C., Cheung, A., Bod\u00edk, R.: Interactive query synthesis from input-output examples. In: Salihoglu, S., Zhou, W., Chirkova, R., Yang, J., Suciu, D. (eds.) Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, May 14-19, 2017. pp. 1631\u20131634. ACM (2017). https:\/\/doi.org\/10.1145\/3035918.3058738","key":"11_CR31","DOI":"10.1145\/3035918.3058738"},{"doi-asserted-by":"publisher","unstructured":"Wang, C., Cheung, A., Bodik, R.: Synthesizing Highly Expressive SQL Queries from Input-output Examples. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 452\u2013466. PLDI 2017, ACM, New York, NY, USA (2017). https:\/\/doi.org\/10.1145\/3062341.3062365","key":"11_CR32","DOI":"10.1145\/3062341.3062365"},{"doi-asserted-by":"publisher","unstructured":"Yaghmazadeh, N., Wang, Y., Dillig, I., Dillig, T.: SQLizer: Query Synthesis from Natural Language. Proc. ACM Program. Lang. 1(OOPSLA), 63:1\u201363:26 (Oct 2017). https:\/\/doi.org\/10.1145\/3133887","key":"11_CR33","DOI":"10.1145\/3133887"},{"unstructured":"Yu, T., Wu, C., Lin, X.V., Wang, B., Tan, Y.C., Yang, X., Radev, D.R., Socher, R., Xiong, C.: Grappa: Grammar-augmented pre-training for table semantic parsing. In: 9th International Conference on Learning Representations, ICLR 2021, Virtual Event, Austria, May 3-7, 2021. OpenReview.net (2021), https:\/\/openreview.net\/forum?id=kyaIeYj4zZ","key":"11_CR34"},{"doi-asserted-by":"publisher","unstructured":"Yu, T., Zhang, R., Yang, K., Yasunaga, M., Wang, D., Li, Z., Ma, J., Li, I., Yao, Q., Roman, S., Zhang, Z., Radev, D.R.: Spider: A large-scale human-labeled dataset for complex and cross-domain semantic parsing and text-to-sql task. In: Riloff, E., Chiang, D., Hockenmaier, J., Tsujii, J. (eds.) Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing, Brussels, Belgium, October 31 - November 4, 2018. pp. 3911\u20133921. Association for Computational Linguistics (2018). https:\/\/doi.org\/10.18653\/V1\/D18-1425","key":"11_CR35","DOI":"10.18653\/V1\/D18-1425"},{"doi-asserted-by":"publisher","unstructured":"Zhang, S., Sun, Y.: Automatically synthesizing SQL queries from input-output examples. In: Denney, E., Bultan, T., Zeller, A. (eds.) 2013 28th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013. pp. 224\u2013234. IEEE (2013). https:\/\/doi.org\/10.1109\/ASE.2013.6693082","key":"11_CR36","DOI":"10.1109\/ASE.2013.6693082"},{"doi-asserted-by":"publisher","unstructured":"Zhong, R., Yu, T., Klein, D.: Semantic evaluation for text-to-sql with distilled test suites. In: Webber, B., Cohn, T., He, Y., Liu, Y. (eds.) Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing, EMNLP 2020, Online, November 16-20, 2020. pp. 396\u2013411. Association for Computational Linguistics (2020). https:\/\/doi.org\/10.18653\/v1\/2020.emnlp-main.29","key":"11_CR37","DOI":"10.18653\/v1\/2020.emnlp-main.29"},{"doi-asserted-by":"publisher","unstructured":"Zhou, Q., Arulraj, J., Navathe, S.B., Harris, W., Xu, D.: Automated verification of query equivalence using satisfiability modulo theories. Proc. VLDB Endow. 12(11), 1276\u20131288 (2019). https:\/\/doi.org\/10.14778\/3342263.3342267","key":"11_CR38","DOI":"10.14778\/3342263.3342267"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-57259-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,5]],"date-time":"2024-04-05T13:04:03Z","timestamp":1712322243000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-57259-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031572586","9783031572593"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-57259-3_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"6 April 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg City","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Luxembourg","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 April 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2024\/conferences\/fase\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-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":"41","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":"14","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":"5","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":"34% - 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-4","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":"4","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)"}}]}}