Conferences in the Age of COVID-19
Online conferences are the new normal. Here’s how to make them shine.
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.
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?
Runtime Support for Multicore Haskell: a Retrospective
Runtime Support for Multicore Haskell (ICFP’09) was awarded the SIGPLAN ten-year most-influential paper award in 2019. In this blog post we reflect on the journey that led to the paper, and what has happened since.
Flapjax: From System to Paper
Reactive frameworks are very popular on the Web today, but they were unknown a decade ago. As creators of an early project in this space, we recount its origins and the unusual approach we took to writing an academic research paper about it.
Scaling the Field: Collaboration is of the Essence
Although the computer science community successfully harnessed exponential increases in computer performance to drive societal and economic change, the exponential growth in publications is proving harder to accommodate. To gain a deeper understanding of publication growth and inform how the computer science community should handle this growth, we analyze publication practices from several perspectives.
