Functional Algorithm Design, Part 1
Calculating a greedy algorithm for an optimization problem, functionally.
Functional Algorithm Design, Part 0
Why reason *about* algorithms, when you can reason *with* them?
Welcoming Todd Millstein as co-Editor
Todd Millstein is joining PL Perspectives as co-Editor.
What’s the Role of Developer Experience in Programming Languages Research?
Programming languages papers often talk about usability advantages, but the evaluation sections of these papers tend to focus on performance or semantic guarantees. What if we applied methods from user-centric research to choosing problems and evaluating solutions in PL?
Verifying Randomized Algorithms: Why and How?
Randomized algorithms and probabilistic programs play a growing role in many areas of computer science. What can we do to help ensure that these intricate programs are correct, without the bugs and flaws that plague today’s software?
From Heavy Metal to Irrational Exuberance
Fast “metal languages” like C and C++ are important, but code is increasingly written in inefficient “irrational exuberance” languages like Python and Javascript. We in the research community can develop technology to make them run better.
PL Notation is a Barrier to Entry
Research in programming languages offers powerful tools, but our systems of notation stymie outsiders. Can we change our notational approach and broaden our audience—without compromising on content?
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.
Virtual Conferences and SIGPLAN
Can virtual conferences be better than physical conferences? I will discuss what SIGPLAN is doing to make virtual conferences the best they can be, what SIGPLAN is doing on inclusion, and what ACM is planning for the future of publications and Gold Open Access
Letter to a young scientist: Searching for faculty jobs in turbulent times
The academic job search can be a stressful and grueling process even in the best of times. Now it will be worse. Here’s some guidance on navigating the faculty job market in these unique times.
