by Sumit Gulwani, Saurabh Srivastava, and Jeffrey S. Foster on Aug 12, 2020 | Tags: formal verification, MIP award, program analysis, program synthesis
The authors of POPL’s 2020 most influential paper reflect on the journey that produced their award winning research on program synthesis, and the impact the work has had on them, the research community, and society at large, ever since.
Read more...
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...