miniblog.

← Back to all posts
Jan 23, 2020 at 04:01
Highlight of #POPL yesterday: seeing some excellent discussions of Coq for verifying programming languages! https://popl20.sigplan.org/details/PLMW-POPL-2020/3/Theorem-provers-are-a-P-L-researcher-s-best-friend I came away with a much clearer sense of *how* you'd verify an optimising compiler.
Theorem provers are a P.L. researcher's best friend (PLMW 2020) - POPL 2020
What is PLMW? The Programming Languages Mentoring Workshop (PLMW) aims to encourage graduate students and senior undergraduate students to pursue careers in programming language research. This workshop will bring together world leaders in programming languages research and teaching from academia and industry to provide (a) technical sessions on cutting-edge PL research and (b) mentoring sessions on how to prepare for a research career. The workshop will engage students in a process of imagining how they might contribute to our research community. We especially encourage women and underrepr ...

Related Posts

Jun 20, 2025 at 22:42
41
I'm still experimenting with UIs for live (sandboxed) evaluation of tests. I've realised that you really want to highlight the failing assertion, not just the failing test. Feedback welcome :)
Feb 5, 2024 at 07:00
I'm experimenting with a patch-style display format for difftastic. What do you think? Do the colours work? What about the last example, where there's only whitespace changes and the syntactic diff has nothing to highlight?
Photo
Dec 16, 2022 at 07:11
I'm adding Erlang support for difftastic! The basic diffing works, but I'm still tweaking syntax highlighting. The grammar distinguishes between "strings" and 'atoms', but I'm not sure if I should highlight both the same way.
Photo