K Ferdowsifard, A Ordookhanians, H Peleg… - Proceedings of the 33rd …, 2020 - dl.acm.org
Live programming is a paradigm in which the programming environment continually displays runtime values. Program synthesis is a technique that can generate programs or …
Data scientists, researchers, and clerks often create web automation programs to perform repetitive yet essential tasks, such as data scraping and data entry. However, existing web …
A key challenge in program synthesis is the astronomical size of the search space the synthesizer has to explore. In response to this challenge, recent work proposed to guide …
One vision for program synthesis, and specifically for programming by example (PBE), is an interactive programmer's assistant, integrated into the development environment. To make …
The goal of program synthesis from examples is to find a computer program that is consistent with a given set of input-output examples. Most learning-based approaches try to …
Unit tests that demonstrate why a program is incorrect have many potential uses, including localizing bugs (ie, showing where code is wrong), improving test suites, and better code …
A Blinn, D Moon, E Griffis… - 2022 IEEE Symposium on …, 2022 - ieeexplore.ieee.org
Programming has become a collaboration between human programmers, who drive intent, and interactive assistants that suggest contextually relevant editor actions. There has been …
D Ma'ayan, S Maoz - 2023 IEEE/ACM 45th International …, 2023 - ieeexplore.ieee.org
Reactive synthesis is an automated procedure to obtain a correct-by-construction reactive system from its temporal logic specification. Despite its attractiveness and major research …
JH Boockmann, G Lüttgen - International Conference on Fundamental …, 2024 - Springer
Maintaining software is cumbersome when method argument constraints are undocumented. To reveal them, previous work learned preconditions from exemplary valid …