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 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 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 John Wickerson on May 26, 2020 | Tags: algebra, concurrency, diversity, formal reasoning, NetKAT
People of PL is a series of interviews with PL researchers. In today’s post, John Wickerson chats with Alexandra Silva, who is a Professor in the Department of Computer Science at UCL.
Read more...
by John Wickerson on Nov 14, 2019 | Tags: academic writing, communicating quantitative information, graphs, Measurements, statistics
Drawing on numerous examples from papers published in PLDI 2019, I argue that scatter plots can be easier to understand than bar charts.
Read more...