Towards Elastic Incrementalization for Datalog. | 0 | 0.34 | 2021 |
Streamable regular transductions | 0 | 0.34 | 2020 |
Synthesizing Datalog Programs using Numerical Relaxation. | 0 | 0.34 | 2019 |
User-guided program reasoning using Bayesian inference. | 4 | 0.41 | 2018 |
Learning Loop Invariants for Program Verification. | 5 | 0.40 | 2018 |
On Repair with Probabilistic Attribute Grammars. | 2 | 0.38 | 2017 |
StreamQRE: modular specification and efficient evaluation of quantitative queries over streaming data. | 5 | 0.58 | 2017 |
SWIM: synthesizing what i mean: code search and idiomatic snippet synthesis. | 42 | 1.08 | 2016 |
DReX: A Declarative Language for Efficiently Evaluating Regular String Transformations | 8 | 0.47 | 2015 |
SWIM: Synthesizing What I Mean | 3 | 0.36 | 2015 |
Automatic Completion Of Distributed Protocols With Symmetry | 4 | 0.39 | 2015 |
Language to Specify Syntax-Guided Synthesis Problems. | 6 | 0.49 | 2014 |
Synthesizing Finite-State Protocols from Scenarios and Requirements. | 12 | 0.57 | 2014 |
Regular combinators for string transformations | 5 | 0.46 | 2014 |
Syntax-guided synthesis. | 15 | 0.79 | 2013 |
Decision problems for additive regular functions | 5 | 0.45 | 2013 |
Regular Functions, Cost Register Automata, and Generalized Min-Cost Problems | 3 | 0.47 | 2011 |