2 citations · 2 across the 3 of their papers we have counts for
6 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…
Identifying Maximal Non-Redundant Integer Cone Generators
Slobodan Mitrović, Ruzica Piskac, Viktor Kunčak
A non-redundant integer cone generator (NICG) of dimension is a set of vectors from whose vector sum cannot be generated as a positive integer linear combinatio…
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…
Incremental, Inductive Coverability
Johannes Kloos, Rupak Majumdar, Filip Niksic +1
We give an incremental, inductive (IC3) procedure to check coverability of well-structured transition systems. Our procedure generalizes the IC3 procedure for safety verification t…