miniblog.

← Back to all posts
Jan 22, 2020 at 04:33
One wonderful aspect of POPL is being able to speak to experts. I've admired Nadia Polikarpova's synthesis work for a while, so I jumped at the opportunity to do a Synquid tutorial led by her!
[T3] Synthesizing Programs from Types (POPL 2020 - TutorialFest) - POPL 2020
Continuing the tradition of previous years, POPL 2020 will host a set of tutorials ranging on different topics relevant to the POPL community.

Related Posts

Jan 16, 2026 at 10:03
7
Wonderful post from the lead LLVM maintainer reflecting on how the project is run, the design issues in LLVM today, and opportunities to make it better:
LLVM: The bad parts
Sep 30, 2024 at 04:07
I travelled recently with six electronic devices, and every single one used USB-C for charging. It was wonderful, and not an experience I've had before.
Jul 29, 2023 at 17:33
Go has a wonderful, accessible discussion of how it does inlining today, the downsides, and the plans for 1.22:
Go 1.22 inlining overhaul
Go 1.22 inlining overhaul
Go 1.22 inlining overhaul , with contributions from , , , and Last update: The Go compiler’s inliner has never been particularly good. It wasn’t until Go 1.12, released in 2019, that the Go compiler supported inlining more than leaf functions, and we’ve slowly chipped away at more limita...