Copertina

CUBES: A Parallel Synthesizer for SQL Using Examples

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Brancas, Ricardo, Terra-Neves, Miguel, Ventura, Miguel, Manquinho, Vasco, Martins, Ruben
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Programming Languages Databases Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

ProDebug: An Automated Debugging System for Prolog
di: Brancas, Ricardo, et al.
Pubblicazione: (2026)

Combining Logic with Large Language Models for Automatic Debugging and Repair of ASP Programs
di: Brancas, Ricardo, et al.
Pubblicazione: (2024)

Can Automated Feedback Turn Students into Happy Prologians?
di: Brancas, Ricardo, et al.
Pubblicazione: (2025)

Synthesizing Document Database Queries using Collection Abstractions
di: Liu, Qikang, et al.
Pubblicazione: (2024)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
di: Zhao, Pinhan, et al.
Pubblicazione: (2025)

InvAASTCluster: On Applying Invariant-Based Program Clustering to Introductory Programming Assignments
di: Orvalho, Pedro, et al.
Pubblicazione: (2022)

Automated Discovery of Test Oracles for Database Management Systems Using LLMs
di: Mang, Qiuyang, et al.
Pubblicazione: (2025)

CobbleDB: Modelling Levelled Storage by Composition
di: Ma, Emilie, et al.
Pubblicazione: (2026)

The Case for Multi-Version Experimental Evaluation (MVEE)
di: Jörz, Simon, et al.
Pubblicazione: (2026)

Constant Optimization Driven Database System Testing
di: Zhang, Chi, et al.
Pubblicazione: (2025)

Object Graph Programming
di: Thimmaiah, Aditya, et al.
Pubblicazione: (2024)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
di: Deng, Wenjing, et al.
Pubblicazione: (2024)

Dialect2SQL: A Novel Text-to-SQL Dataset for Arabic Dialects with a Focus on Moroccan Darija
di: Chafik, Salmane, et al.
Pubblicazione: (2025)

Translating between SQL Dialects for Cloud Migration
di: Zmigrod, Ran, et al.
Pubblicazione: (2024)

RISE: Rule-Driven SQL Dialect Translation via Query Reduction
di: Xie, Xudong, et al.
Pubblicazione: (2026)

AI-Assisted SQL Authoring at Industry Scale
di: Maddila, Chandra, et al.
Pubblicazione: (2024)

On the Security Vulnerabilities of Text-to-SQL Models
di: Peng, Xutan, et al.
Pubblicazione: (2022)

Dialect-Agnostic SQL Parsing via LLM-Based Segmentation
di: An, Junwen, et al.
Pubblicazione: (2026)

Comparative analysis of large data processing in Apache Spark using Java, Python and Scala
di: Borodii, Ivan, et al.
Pubblicazione: (2025)

Counterexample Guided Program Repair Using Zero-Shot Learning and MaxSAT-based Fault Localization
di: Orvalho, Pedro, et al.
Pubblicazione: (2024)

Testing Database Systems with Large Language Model Synthesized Fragments
di: Zhong, Suyang, et al.
Pubblicazione: (2025)

SPADE: Synthesizing Data Quality Assertions for Large Language Model Pipelines
di: Shankar, Shreya, et al.
Pubblicazione: (2024)

FlashSyn: Flash Loan Attack Synthesis via Counter Example Driven Approximation
di: Chen, Zhiyang, et al.
Pubblicazione: (2022)

Contextualized Data-Wrangling Code Generation in Computational Notebooks
di: Huang, Junjie, et al.
Pubblicazione: (2024)

Task-Aware Reduction for Scalable LLM-Database Systems
di: Barnes, Marcus Emmanuel, et al.
Pubblicazione: (2025)

GitSEED: A Git-backed Automated Assessment Tool for Software Engineering and Programming Education
di: Orvalho, Pedro, et al.
Pubblicazione: (2024)

Refactoring Programs Using Large Language Models with Few-Shot Examples
di: Shirafuji, Atsushi, et al.
Pubblicazione: (2023)

sqlelf: a SQL-centric Approach to ELF Analysis
di: Zakaria, Farid, et al.
Pubblicazione: (2024)

The Green Side of the Lua
di: Brandão, André, et al.
Pubblicazione: (2026)

Automatic Design-Time Detection of Anomalies in Migrating Monolithic Applications to Microservices
di: Romão, Valentim, et al.
Pubblicazione: (2025)

Enhancing LLM Fine-tuning for Text-to-SQLs by SQL Quality Measurement
di: Sarker, Shouvon, et al.
Pubblicazione: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
di: Wang, Claire, et al.
Pubblicazione: (2025)

FuzzySQL: Uncovering Hidden Vulnerabilities in DBMS Special Features with LLM-Driven Fuzzing
di: Chen, Yongxin, et al.
Pubblicazione: (2026)

MELT: Mining Effective Lightweight Transformations from Pull Requests
di: Ramos, Daniel, et al.
Pubblicazione: (2023)

Seamless Data Migration between Database Schemas with DAMI-Framework: An Empirical Study on Developer Experience
di: Ramos-Vidal, Delfina, et al.
Pubblicazione: (2025)

SAT-DIFF: A Tree Diffing Framework Using SAT Solving
di: Geng, Chuqin, et al.
Pubblicazione: (2024)

Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model
di: Zenkner, Janis, et al.
Pubblicazione: (2025)

On Repairing Quantum Programs Using ChatGPT
di: Guo, Xiaoyu, et al.
Pubblicazione: (2024)

LeGo-Code: Can Modular Curriculum Learning Advance Complex Code Generation? Insights from Text-to-SQL
di: Chafik, Salmane, et al.
Pubblicazione: (2026)

Once4All: Skeleton-Guided SMT Solver Fuzzing with LLM-Synthesized Generators
di: Sun, Maolin, et al.
Pubblicazione: (2025)