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 Stephanie Balzer, Kathleen Fisher, Ron Garcia, Justin Hsu, and Stephanie Weirich on May 11, 2021 | Tags: mentoring, plmw
The Programming Languages Mentoring Workshop (PLMW) is directed at new members of the PL community: senior undergraduate and beginning graduate students. With its first edition taking place in January 2012, PLMW is coming up on its ten year anniversary. We take a look back at how PLMW has grown and evolved, and imagine where it could go next.
Read more...
by Michael Hicks, Crista Lopes, Jens Palsberg, and Benjamin Pierce on Mar 16, 2021 | Tags: carbon footprint, carbon offset, climate change, conferences, virtual conferences
The SIGPLAN Climate Committee was active 2016-2020. Its members look back on the committee’s goals and achievements, and ahead at what is still to do.
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 Guy L. Steele Jr. and Richard P. Gabriel on Jun 25, 2020 | Tags: history, programming languages, review process
The History of Programming Languages (HOPL) conference is the most paradoxical that SIGPLAN puts on: the hardest to publish in, yet an acceptance rate of almost 100%. This post is the story of HOPL IV (2020).
Read more...
by Michael Hicks on Apr 1, 2020 | Tags: history
Jean Yang interviews 15 programming languages researchers about their work, methods, motivations, and history.
Read more...