by Cristiano Calcagno, Dino Distefano, Peter O'Hearn and Hongseok Yang on Mar 3, 2020 | Tags: MIP award, separation logic, shape analysis, static analysis
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!
Read more...
by Simon Marlow, Simon Peyton Jones, and Satnam Singh on Dec 16, 2019 | Tags: concurrency, functional programming, Haskell, MIP award, parallelism, runtimes
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.
Read more...
by Shriram Krishnamurthi, Michael Greenberg, Arjun Guha, and Leo Meyerovich on Dec 3, 2019 | Tags: Flapjax, functional reactive programming, javascript, MIP award
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.
Read more...