PL research is as consequential as ever; how can we make it more impactful? I suggest three ways: (1) expand the tent and lower the barriers to entering it; (2) venture outside the tent, taking PL knowledge and ideas to other communities, to address their problems; and (3) join or organize collaborative efforts attacking substantial problems, such as deployable AI or a quantum programming stack, the solution to which involves PL techniques, but many others besides.
Online conferences are the new normal. Here’s how to make them shine.
Will machine learning automate programming out of existence, as it is doing for many other professions?
Open Access publication models aim to make scientific results accessible to everyone. How will we pay for them?
We share the results of a DARPA ISAT study, I-USHER: Interfaces to Unlock the Specialized HardwarE Revolution, arguing for new hardware/software interfaces to enable the revolution promised by hardware specialization.
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.