Excited to hear that our paper on weval, the Wasm partial evaluator, was conditionally accepted to PLDI!
I wrote about weval in a blog-post series (https://cfallin.org/blog/2024/08/28/weval/). It's a way to turn interpreters into compilers "for free".
After I gave a talk at NEU last year, @tekknolagi was interested enough to do some impromptu hacking with me, evaluate the tool on some other interpreters, and we wrote up a paper together.
Our preprint from November is here (https://arxiv.org/abs/2411.10559); more later!