Generating pragmatic examples to train neural program synthesizers

S Vaduguru, D Fried, Y Pu - arXiv preprint arXiv:2311.05740, 2023 - arxiv.org
Programming-by-example is the task of synthesizing a program that is consistent with a set
of user-provided input-output examples. As examples are often an under-specification of …

Repairing regular expressions for extraction

N Chida, T Terauchi - Proceedings of the ACM on Programming …, 2023 - dl.acm.org
While synthesizing and repairing regular expressions (regexes) based on Programming-by-
Examples (PBE) methods have seen rapid progress in recent years, all existing works only …

An efficient regular expression inference approach for relevant image extraction

HV Agun, E Uzun - Applied Soft Computing, 2023 - Elsevier
Traditional approaches for extracting relevant images automatically from web pages are
error-prone and time-consuming. To improve this task, operations such as preparing a larger …

Derivations with holes for concept-based program synthesis

J Costa Seco, J Aldrich, L Carvalho, B Toninho… - Proceedings of the …, 2022 - dl.acm.org
Program synthesis has the potential to democratize programming by enabling non-
programmers to write software. But conventional approaches to synthesis may fail if given …

Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection

R Ji, C Kong, Y Xiong, Z Hu - Proceedings of the ACM on Programming …, 2023 - dl.acm.org
Oracle-guided inductive synthesis (OGIS) is a widely-used framework to apply program
synthesis techniques in practice. The question selection problem aims at reducing the …

CUBES: a parallel synthesizer for SQL using examples

R Brancas, M Terra-Neves, M Ventura… - arXiv preprint arXiv …, 2022 - arxiv.org
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 …

Repairing Regex-Dependent String Functions

N Chida, T Terauchi - Proceedings of the 39th IEEE/ACM International …, 2024 - dl.acm.org
Regex-dependent string functions are string functions that take regular expressions
(regexes) as parameters and are popular means of manipulating strings. They are frequently …

Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation

V Manquinho, R Martins - … Conference, FASE 2024, Held as Part …, 2024 - books.google.com
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 …

[PDF][PDF] Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation

R Brancas, M Terra-Neves, M Ventura… - International …, 2024 - library.oapen.org
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 …

More of that, please: Domain Adaptation of Information Extraction through Examples & Feedback

B Hättasch, C Binnig - Proceedings of the 2024 Workshop on Human-In …, 2024 - dl.acm.org
Automatic information extraction, eg, into a tabular format, is crucial for leveraging
knowledge in large text collections. Yet, creating such extraction pipelines for custom target …