Search Results - "Programming by Examples"
-
1
Inference of Regular Expressions for Text Extraction from Examples
ISSN: 1041-4347, 1558-2191Published: New York IEEE 01.05.2016Published in IEEE transactions on knowledge and data engineering (01.05.2016)“…A large class of entity extraction tasks from text that is either semistructured or fully unstructured may be addressed by regular expressions, because in many…”
Get full text
Journal Article -
2
Automatic Search-and-Replace From Examples With Coevolutionary Genetic Programming
ISSN: 2168-2267, 2168-2275, 2168-2275Published: United States IEEE 01.05.2021Published in IEEE transactions on cybernetics (01.05.2021)“…We describe the design and implementation of a system for executing search-and-replace text processing tasks automatically, based only on examples of the…”
Get full text
Journal Article -
3
NetEgg: A Scenario-Based Programming Toolkit for SDN Policies
ISSN: 1063-6692, 1558-2566Published: New York IEEE 01.10.2018Published in IEEE/ACM transactions on networking (01.10.2018)“…Recent emergence of software-defined networks offers an opportunity to design domain-specific programming abstractions aimed at network operators. In this…”
Get full text
Journal Article -
4
实例编程研究进展与挑战
ISSN: 1002-137XPublished: 复旦大学计算机科学技术学院 上海 200438%上海市数据科学重点实验室(复旦大学) 上海 200438 15.11.2022Published in 计算机科学 (15.11.2022)“…TP311; 程序合成指计算机自动地构造符合指定语法和用户给定规约的代码.实例编程是程序合成中一类以输入输出实例为规约形式的范式,它易用性高、学习成本低.近年来,该技术已…”
Get full text
Journal Article -
5
Neural-Guided Inductive Synthesis of Functional Programs on List Manipulation by Offline Supervised Learning
ISSN: 2169-3536, 2169-3536Published: Piscataway IEEE 2021Published in IEEE access (2021)“…Synthesizing intended programs from user-specified input-output examples, also known as Programming by Examples (PBE), is a challenging problem in program…”
Get full text
Journal Article -
6
Learning-based Assistant for Data Migration of Enterprise Information Systems
ISSN: 2643-1572Published: IEEE 01.11.2021Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (01.11.2021)“…Data migration from source to target information system is a critical step for modernizing information systems. Central to data migration is data transform…”
Get full text
Conference Proceeding -
7
Flexible Example-Based Program Synthesis on Tree-Structured Function Compositions
ISSN: 2662-995X, 2661-8907Published: Singapore Springer Nature Singapore 01.05.2022Published in SN computer science (01.05.2022)“…We introduce a flexible program synthesis system whose task is to predict function compositions that transform given inputs to their corresponding given…”
Get full text
Journal Article -
8
Poster: Synthesizing Relation-Aware Entity Transformation by Examples
ISSN: 2574-1934Published: ACM 01.05.2018Published in 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) (01.05.2018)“…Recently, programming by examples (PBE) technique achieves a great success in processing and transforming data entities, yet existing approaches generally fall…”
Get full text
Conference Proceeding -
9
Research Progress and Challenge of Programming by Examples
ISSN: 1002-137XPublished: Chongqing Guojia Kexue Jishu Bu 01.11.2022Published in Ji suan ji ke xue (01.11.2022)“…Program synthesis means that the computer automatically constructs code that conforms to the specified grammar and user's given specifications.Programming by…”
Get full text
Journal Article -
10
Programming by Examples (and Its Applications in Data Wrangling)
ISBN: 9781614996262, 1614996261Published: United Kingdom Sage Publications Ltd 2016Published in Dependable Software Systems Engineering (2016)Get full text
Book Chapter -
11
Dimensions in program synthesis
ISBN: 1457707349, 9781457707346Published: IEEE 01.10.2010Published in 2010 Formal Methods in Computer-Aided Design (01.10.2010)“…Program Synthesis, which is the task of discovering programs that realize user intent, can be useful in several scenarios: discovery of new algorithms, helping…”
Get full text
Conference Proceeding -
12
Repairing DoS Vulnerability of Real-World Regexes
ISSN: 1343-6619, 2434-5504Published: Japan Society of Security Management 2022Published in 日本セキュリティ・マネジメント学会誌 (2022)Get full text
Journal Article -
13
Neurosymbolic Models for Computer Graphics
ISSN: 0167-7055, 1467-8659Published: Oxford Blackwell Publishing Ltd 01.05.2023Published in Computer graphics forum (01.05.2023)“…Procedural models (i.e. symbolic programs that output visual data) are a historically‐popular method for representing graphics content: vegetation, buildings,…”
Get full text
Journal Article -
14
Generalized planning as heuristic search: A new planning search-space that leverages pointers over objects
ISSN: 0004-3702, 1872-7921Published: Elsevier B.V 01.05.2024Published in Artificial intelligence (01.05.2024)“…Planning as heuristic search is one of the most successful approaches to classical planning but unfortunately, it does not trivially extend to Generalized…”
Get full text
Journal Article -
15
Data Formulator: AI-powered Concept-driven Visualization Authoring
ISSN: 1077-2626, 1941-0506, 1941-0506Published: United States IEEE 01.01.2024Published in IEEE transactions on visualization and computer graphics (01.01.2024)“…With most modern visualization tools, authors need to transform their data into tidy formats to create visualizations they want. Because this requires…”
Get full text
Journal Article -
16
What Makes Good In-Context Demonstrations for Code Intelligence Tasks with LLMs?
ISSN: 2643-1572Published: IEEE 11.09.2023Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)“…Pre-trained models of source code have gained widespread popularity in many code intelligence tasks. Recently, with the scaling of the model and corpus size,…”
Get full text
Conference Proceeding -
17
On the fly synthesis of edit suggestions
ISSN: 2475-1421, 2475-1421Published: 01.10.2019Published in Proceedings of ACM on programming languages (01.10.2019)“…When working with a document, users often perform context-specific repetitive edits – changes to the document that are similar but specific to the contexts at…”
Get full text
Journal Article -
18
FlashFill++: Scaling Programming by Example by Cutting to the Chase
ISSN: 2475-1421, 2475-1421Published: New York, NY, USA ACM 09.01.2023Published in Proceedings of ACM on programming languages (09.01.2023)“…Programming-by-Examples (PBE) involves synthesizing an "intended program" from a small set of user-provided input-output examples. A key PBE strategy has been…”
Get full text
Journal Article -
19
Rigel: Transforming Tabular Data by Declarative Mapping
ISSN: 1077-2626, 1941-0506, 1941-0506Published: United States IEEE 01.01.2023Published in IEEE transactions on visualization and computer graphics (01.01.2023)“…We present Rigel, an interactive system for rapid transformation of tabular data. Rigel implements a new declarative mapping approach that formulates the data…”
Get full text
Journal Article -
20
Neural Program Synthesis for Automatic Image Enhancement
ISSN: 2182-2069, 2182-2077Published: 30.05.2025Published in Journal of internet services and information security (30.05.2025)“…Program synthesis is the art of synthesizing programs from the user's specifications. The user's in-tent is specified through demonstration, natural language,…”
Get full text
Journal Article

