by Sumit Gulwani on Sep 14, 2021 | Tags: Flash Fill, MIP award, program synthesis, Programming by Examples
My POPL 2011 “Flash Fill” paper was the most important turning point in my research career. I went from searching for the hardest problem I can solve to searching for the simplest problem that will have the most impact. It sensitized me to customer connection and enlightened me to how practical requirements can inspire foundational research ideas and directions. And most of all, it led to a blissful connection with my loved ones.
Read more...
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...