People of Programming Languages
Jean Yang interviews 15 programming languages researchers about their work, methods, motivations, and history.
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.
Go Huge or Go Home: POPL’19 Most Influential Paper Retrospective
The authors of POPL’s 2019 most influential paper reflect on lessons learned: (i) in research, ask daring questions far beyond current capabilities; (ii) develop compositional techniques, which confer important benefits that increase impact; (iii) work in PL theory: now is a great time for it!
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.
From Programs to Deep Models – Part 2
The wealth of code now available on-line is fertile ground to enable machine learning to be applied to programming tasks. This post is the second in a series on this topic, focusing on the tasks of semantically labeling and captioning code.
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).
Mechanized Proofs for PL: Past, Present, and Future
The history of machine-checked proofs about programming languages offers valuable lessons for the future of programming languages research.
A Small Matter of Programming
Will machine learning automate programming out of existence, as it is doing for many other professions?
What is a Sustainable Path to Open Access?
Open Access publication models aim to make scientific results accessible to everyone. How will we pay for them?
Defunctionalization: Everybody Does It, Nobody Talks About It
An impressive number of transformations in both compilers and in ordinary programming are special cases of a transformation called “defunctionalization.” This post explains what it is and the many places it’s useful.
