miniblog.

← Back to all posts
Jan 20, 2020 at 14:19
Day 1 at @poplconf had a bunch of interesting talks at VMCAI (Verification, Model Checking, and Abstract Interpretation). https://popl20.sigplan.org/home/VMCAI-2020 Thread.
VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation - POPL 2020
Welcome to the website of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020). VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2020 will be the 21st edition in the series. Proceedings https://link.springer.com/book/10.1007/978-3-030-39322-9 Invited Speakers We are pleased to announce the the invited speakers for VMCAI 2020 are: Rajeev ...

Related Posts

Jul 7, 2026 at 08:53
I asked Hermes Agent to change how it set thread titles, and it patched its own source code! Self modifying code is hard to reason about even in a deterministic environment. I'd already limited Hermes access to the todoist API and web search out of an abundance of caution.
Mar 5, 2023 at 20:31
TIL that you can give your threads names!
std::thread - Rust
Native threads.
Feb 13, 2021 at 10:00
2
My favourite programming model is single machine, single thread. It's so much easier to reason about when you have fewer failure possibilities.