Author of the publication

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation.

, , , , and . FASE, volume 14573 of Lecture Notes in Computer Science, page 232-254. Springer, (2024)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Concurrency Debugging with MaxSMT., , , and . AAAI, page 1608-1616. AAAI Press, (2019)Encodings for Enumeration-Based Program Synthesis., , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 583-599. Springer, (2019)Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving., , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 232-250. Springer, (2019)Multi-Objective Optimization Through Pareto Minimal Correction Subsets., , and . IJCAI, page 5379-5383. ijcai.org, (2018)On Repairing Natural Language to SQL Queries., , , , , , , and . CoRR, (2023)Enhancing Constraint-Based Multi-Objective Combinatorial Optimization., , and . AAAI, page 6649-6656. AAAI Press, (2018)Non-Portfolio Approaches for Distributed Maximum Satisfiability., , and . ICTAI, page 436-443. IEEE Computer Society, (2016)Introducing Pareto Minimal Correction Subsets., , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 195-211. Springer, (2017)CUBES: A Parallel Synthesizer for SQL Using Examples., , , , and . CoRR, (2022)SQUARES : A SQL Synthesizer Using Query Reverse Engineering., , , , and . Proc. VLDB Endow., 13 (12): 2853-2856 (2020)