Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation

Madusa: mobile application demo generation based on usage scenarios

Inductive Synthesis of Structurally Recursive Functional Programs from Non-recursive Expressions

Datalog Static Analysis in Secrecy

Context-aware and data-driven feedback generation for programming assignments

Combining the top-down propagation and bottom-up enumeration for inductive program synthesis

Optimizing homomorphic evaluation circuits by program synthesis and term rewriting

Syntax-guided synthesis of Datalog programs

Effective Program Debloating via Reinforcement Learning

Accelerating search-based program synthesis using learned probabilistic models