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.
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).
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.
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.
The wealth of code now available on-line is fertile ground to enable machine learning to be applied to programming tasks. This post discusses the promise of and some progress on the problem “deep code.” It is the first in a series.