by Justin Hsu on Oct 20, 2020 | Tags: formal verification, probabilistic programs, randomized algorithms
Randomized algorithms and probabilistic programs play a growing role in many areas of computer science. What can we do to help ensure that these intricate programs are correct, without the bugs and flaws that plague today’s software?
Read more...
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 John Wickerson on Jun 3, 2020 | Tags: computer security, formal verification, quantum computing
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Mike Hicks, who is a Professor in the Department of Computer Science at the University of Maryland, and was former Chair of ACM SIGPLAN.
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...