Homoiconicity, Lisp, and Program Synthesis
Working through a programming exercise, we see that Lisp’s “Code is data” philosophy is a natural enabler for program synthesis.
Archive of posts tagged: program synthesis
POPL 2020 in Review
POPL is the premiere conference on the theoretical foundations of programming languages. The PC Chair, General Chair, and Steering Committee Chair of POPL 2020 review this year’s event.
The First PLanQC in the Road to Quantum Programming
As quantum computers become more practical, there is a rich opportunity to advance the development of tools to assist in the process of programming them, both now and in the future. To encourage more PL-minded researchers to work in this exciting new area, we established the Workshop on Programming Languages for Quantum Computing (PLanQC).
Building Your First Program Synthesizer
Program synthesis promises a new way to build software. In this post we build a simple synthesizer from scratch in just a few lines of code.
Understanding the World with Program Synthesis
Most applications of program synthesis are concerned with the engineering of software. However, because programming languages can be used to model the physical world, program synthesis can also offer a way of discovering and validating new hypotheses in the natural sciences. In this post, I elaborate on how.
