by John Wickerson on Aug 19, 2020 | Tags: formal verification, functional programming, rust language, separation logic, type systems
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Derek Dreyer, who is Faculty at the Max Planck Institute for Software Systems (MPI-SWS), and Honorarprofessor of Computer Science, Saarland University.
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 Stephanie Weirich and the ICFP Virtualization Committee on Aug 4, 2020 | Tags: conferences, functional programming
ICFP 2020 will be virtual, combining a mirrored technical program—all technical talks will appear twice, 12 hours apart—with a synchronous set of keynote talks and social events. This post says more about it. Be sure to register by August 8!
Read more...