4 papers
Grammar Filtering For Syntax-Guided Synthesis
Kairo Morton, William Hallahan, Elven Shum +2
Programming-by-example (PBE) is a synthesis paradigm that allows users to generate functions by simply providing input-output examples. While a promising interaction paradigm, synt…
Synthesizing Functional Reactive Programs
Bernd Finkbeiner, Felix Klein, Ruzica Piskac +1
Functional Reactive Programming (FRP) is a paradigm that has simplified the construction of reactive programs. There are many libraries that implement incarnations of FRP, using ab…
Statically Verifying Continuous Integration Configurations
Mark Santolucito, Jialu Zhang, Ennan Zhai +1
Continuous Integration (CI) testing is a popular software development technique that allows developers to easily check that their code can build successfully and pass tests across…
Vehicle Platooning Simulations with Functional Reactive Programming
Bernd Finkbeiner, Felix Klein, Ruzica Piskac +1
Functional languages have provided major benefits to the verification community. Although features such as purity, a strong type system, and computational abstractions can help gui…