{"id":"https://openalex.org/W4393978734","doi":"https://doi.org/10.1007/978-3-031-57259-3_11","title":"Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation","display_name":"Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4393978734","doi":"https://doi.org/10.1007/978-3-031-57259-3_11"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-57259-3_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57259-3_11","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57259-3_11.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57259-3_11.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066308758","display_name":"Ricardo Brancas","orcid":"https://orcid.org/0000-0001-7006-9829"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Ricardo Brancas","raw_affiliation_strings":["INESC-ID / Instituto Superior T\u00e9cnico, Universidade de Lisboa, Lisbon, Portugal"],"raw_orcid":"https://orcid.org/0000-0001-7006-9829","affiliations":[{"raw_affiliation_string":"INESC-ID / Instituto Superior T\u00e9cnico, Universidade de Lisboa, Lisbon, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018333103","display_name":"Miguel Terra-Neves","orcid":"https://orcid.org/0000-0003-4089-7206"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miguel Terra-Neves","raw_affiliation_strings":["OutSystems, Linda-a-Velha, Portugal"],"raw_orcid":"https://orcid.org/0000-0003-4089-7206","affiliations":[{"raw_affiliation_string":"OutSystems, Linda-a-Velha, Portugal","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065074033","display_name":"Miguel Ventura","orcid":"https://orcid.org/0000-0002-4233-1348"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Miguel Ventura","raw_affiliation_strings":["OutSystems, Linda-a-Velha, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-4233-1348","affiliations":[{"raw_affiliation_string":"OutSystems, Linda-a-Velha, Portugal","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033377932","display_name":"Vasco Manquinho","orcid":"https://orcid.org/0000-0002-4205-2189"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Vasco Manquinho","raw_affiliation_strings":["INESC-ID / Instituto Superior T\u00e9cnico, Universidade de Lisboa, Lisbon, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-4205-2189","affiliations":[{"raw_affiliation_string":"INESC-ID / Instituto Superior T\u00e9cnico, Universidade de Lisboa, Lisbon, Portugal","institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101995804","display_name":"Ruben Martins","orcid":"https://orcid.org/0000-0003-1525-1382"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ruben Martins","raw_affiliation_strings":["Carnegie Mellon University, Pittsburgh, USA"],"raw_orcid":"https://orcid.org/0000-0003-1525-1382","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, Pittsburgh, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5066308758"],"corresponding_institution_ids":["https://openalex.org/I121345201","https://openalex.org/I141596103"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":4.4784,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.94974227,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"232","last_page":"254"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9896000027656555,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.9686036109924316},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9202907085418701},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6087875962257385},{"id":"https://openalex.org/keywords/sql","display_name":"SQL","score":0.5826276540756226},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3629286587238312},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.06675273180007935}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.9686036109924316},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9202907085418701},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6087875962257385},{"id":"https://openalex.org/C510870499","wikidata":"https://www.wikidata.org/wiki/Q47607","display_name":"SQL","level":2,"score":0.5826276540756226},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3629286587238312},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.06675273180007935}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-031-57259-3_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57259-3_11","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57259-3_11.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-031-57259-3_11","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-031-57259-3_11","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-031-57259-3_11.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2441341484","display_name":null,"funder_award_id":"UIDB/50021/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G3019180854","display_name":null,"funder_award_id":"DOI: 10.54499/UIDB/50021/2020","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G5310039020","display_name":null,"funder_award_id":"PTDC/CCI-COM/2156/2021","funder_id":"https://openalex.org/F4320334779","funder_display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia"},{"id":"https://openalex.org/G7858740741","display_name":"SHF: Medium: Collaborative Research: Computer-Aided Programming for Data Science","funder_award_id":"1762363","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320334779","display_name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","ror":"https://ror.org/00snfqn58"}],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4393978734.pdf"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W866331153","https://openalex.org/W1791762382","https://openalex.org/W2013167115","https://openalex.org/W2024958874","https://openalex.org/W2038123353","https://openalex.org/W2156376751","https://openalex.org/W2215451438","https://openalex.org/W2275996142","https://openalex.org/W2394726283","https://openalex.org/W2408617648","https://openalex.org/W2550471858","https://openalex.org/W2612337100","https://openalex.org/W2626990892","https://openalex.org/W2689519974","https://openalex.org/W2762513422","https://openalex.org/W2795519982","https://openalex.org/W2890431379","https://openalex.org/W2958957089","https://openalex.org/W2963180166","https://openalex.org/W2964142859","https://openalex.org/W2971026710","https://openalex.org/W2971324190","https://openalex.org/W2973690622","https://openalex.org/W3021244188","https://openalex.org/W3033481405","https://openalex.org/W3034835156","https://openalex.org/W3084910657","https://openalex.org/W3088135204","https://openalex.org/W3093296244","https://openalex.org/W3102020135","https://openalex.org/W3105239039","https://openalex.org/W3116083993","https://openalex.org/W3125180378","https://openalex.org/W3151202736","https://openalex.org/W3152923764","https://openalex.org/W3197227406","https://openalex.org/W4226247477","https://openalex.org/W6948989776"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2511770387","https://openalex.org/W3120811337","https://openalex.org/W3203597304","https://openalex.org/W4385301282","https://openalex.org/W2990186179","https://openalex.org/W4248424560","https://openalex.org/W3023977444","https://openalex.org/W4210660460","https://openalex.org/W4288084466"],"abstract_inverted_index":{"Abstract":[0],"In":[1],"recent":[2],"years,":[3],"more":[4],"people":[5],"have":[6,22,58],"seen":[7],"their":[8],"work":[9],"depend":[10],"on":[11,115,140],"data":[12],"manipulation":[13],"tasks.":[14],"However,":[15],"many":[16,165],"of":[17,37,51,81,93,179],"these":[18,39],"users":[19,40],"do":[20,64],"not":[21,65,103],"the":[23,44,79,94,99,105,121,125,128,132],"background":[24],"in":[25],"programming":[26],"required":[27],"to":[28,158,175],"write":[29],"complex":[30],"programs,":[31],"particularly":[32],"SQL":[33,45,57,82,96,143,186],"queries.":[34],"One":[35],"way":[36],"helping":[38],"is":[41,173],"automatically":[42],"synthesizing":[43],"query":[46,101,130],"given":[47],"a":[48,74,110],"small":[49],"set":[50],"examples.":[52,86],"Several":[53],"program":[54,76],"synthesizers":[55],"for":[56,78,164],"been":[59],"recently":[60],"proposed,":[61],"but":[62],"they":[63],"leverage":[66],"multicore":[67],"architectures.":[68],"This":[69],"paper":[70],"proposes":[71],"Cubes":[72,108],",":[73],"parallel":[75,153],"synthesizer":[77],"domain":[80],"queries":[83,144],"using":[84],"input-output":[85,88],"Since":[87],"examples":[89],"are":[90],"an":[91,137,177],"under-specification":[92],"desired":[95],"query,":[97],"sometimes,":[98],"synthesized":[100],"does":[102],"match":[104],"user\u2019s":[106],"intent.":[107,134],"incorporates":[109],"new":[111],"disambiguation":[112,171],"procedure":[113],"based":[114],"fuzzing":[116],"techniques":[117],"that":[118,127,151,169],"interacts":[119],"with":[120,161],"user":[122,133],"and":[123,168],"increases":[124],"confidence":[126],"returned":[129],"matches":[131],"We":[135],"perform":[136],"extensive":[138],"evaluation":[139],"around":[141,180],"4000":[142],"from":[145],"different":[146],"domains.":[147],"Experimental":[148],"results":[149],"show":[150],"our":[152,170],"approach":[154,172],"can":[155],"scale":[156],"up":[157],"16":[159],"processes":[160],"super-linear":[162],"speedups":[163],"hard":[166],"instances,":[167],"critical":[174],"achieving":[176],"accuracy":[178],"60%,":[181],"significantly":[182],"larger":[183],"than":[184],"other":[185],"synthesizers.":[187]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":1}],"updated_date":"2026-04-25T08:17:42.794288","created_date":"2025-10-10T00:00:00"}