Advanced Machine Learning Day 3: Neural Program Synthesis

DPGen: Automated Program Synthesis for Differential Privacy | Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security

Program Synthesis with Large Language Models

Automating and Testing Program Transformations using Program Synthesis

Program Synthesis from Refinement Types

Type-Driven Program Synthesis

Syntax-Guided Program Synthesis

Program Synthesis for the Masses

Towards Program Synthesis for Security