Circuit Synthesis for Analog Computing
Modern analog computers offer unique programming challenges which make them challenging compilation targets. How do we automatically program an analog computer to implement a computation?
Archive of posts tagged: program synthesis
Supporting Data Scientists by Synthesizing Programs
The demand for data science and data scientists is growing fast, and so is corresponding size and scope of the the problem. PL technology, notably program synthesis, can help.
Synthesizing Small Programs for Big Impact
The authors of POPL’s 2020 most influential paper reflect on the journey that produced their award winning research on program synthesis, and the impact the work has had on them, the research community, and society at large, ever since.
From Programs to Deep Models – Part 3: Code Completion
This post discusses the task of automatic code completion through the application of deep learning methods.
Synthesizing Neurosymbolic Programs
We discuss the emerging problem of automatically synthesizing neurosymbolic programs, or programs that blend together neural networks and high-level code.
