research
∙
08/19/2021
Programming-By-Example by Programming-By-Example: Synthesis of Looping Programs
Program synthesis has seen many new applications in recent years, in lar...
share
research
∙
10/13/2020
Succinct Explanations With Cascading Decision Trees
Classic decision tree learning is a binary classification algorithm that...
research
∙
02/07/2020
Grammar Filtering For Syntax-Guided Synthesis
Programming-by-example (PBE) is a synthesis paradigm that allows users t...
research
∙
05/11/2018
Statically Verifying Continuous Integration Configurations
Continuous Integration (CI) testing is a popular software development te...
research
∙
03/28/2018
Vehicle Platooning Simulations with Functional Reactive Programming
Functional languages have provided major benefits to the verification co...
research
∙
12/01/2017