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 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...
by John Wickerson on Jun 18, 2020 | Tags: diversity, functional programming, gradual typing, type systems
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Ron Garcia, who is an Associate Professor at the University of British Columbia.
Read more...
by Rajesh Jayaprakash on Mar 25, 2020 | Tags: functional programming, lisp, program synthesis
Working through a programming exercise, we see that Lisp’s “Code is data” philosophy is a natural enabler for program synthesis.
Read more...
by Lars Birkedal, Michael Hicks, and Brigitte Pientka on Feb 19, 2020 | Tags: computer security, formal verification, functional programming, machine learning, program analysis, program synthesis, semantic models
POPL is the premiere conference on the theoretical foundations of programming languages. The PC Chair, General Chair, and Steering Committee Chair of POPL 2020 review this year’s event.
Read more...