<p>Excited to hear that our paper on weval, the Wasm partial evaluator, was conditionally accepted to PLDI!</p><p>I wrote about weval in a blog-post series (<a href="https://cfallin.org/blog/2024/08/28/weval/" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">cfallin.org/blog/2024/08/28/we</span><span class="invisible">val/</span></a>). It's a way to turn interpreters into compilers "for free".</p><p> After I gave a talk at NEU last year, <span class="h-card" translate="no"><a href="https://mastodon.social/@tekknolagi" class="u-url mention">@<span>tekknolagi</span></a></span> was interested enough to do some impromptu hacking with me, evaluate the tool on some other interpreters, and we wrote up a paper together.</p><p>Our preprint from November is here (<a href="https://arxiv.org/abs/2411.10559" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="">arxiv.org/abs/2411.10559</span><span class="invisible"></span></a>); more later!</p>
