🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

A great new talk from Chris Casinghino, about making OCaml a better language for performance engineering. youtu.be/g3qd4zpm1LA?si…

Oleg Kiselyov's compilers course in OCaml 👀👀 okmij.org/ftp/tagless-fi…

Hello you fine Internet folks, Today we are continuing our deep-diving into the RDNA4 architecture with looking at the newly added Dynamic Register Allocation and how it compares to Nvidia's `setmaxnreg`. Hope y'all enjoy! open.substack.com/pub/chipsandch… old.chipsandcheese.com/2025/04/05/dyn…

Kyle Martin's talk at Insomni'Hack is live! youtu.be/I0PoE0IdtmE?si… Check it out if you're interested in a slice of modern program analysis and try the latest version of Tanto as well, in the plugin manager or at github.com/Vector35/tanto

[New Blog Post] "Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra #compiler #formalmethods #ghidra philipzucker.com/knuckle_C_pcod…

New CF Bolz-Tereick optimizer just dropped 👀 pypy.org/posts/2025/04/…

A patchwork of Clang patches cor3ntin.github.io/posts/clang21/ #cpp #cplusplus

I put a new preprint up summarizing a year or so of fun e-graph ideas. Check it out! #egraphs #logic #compilers arxiv.org/abs/2504.14340

Pydrofoil: accelerating Sail-based instruction set simulators arxiv.org/abs/2503.04389 github.com/pydrofoil/pydr… ECOOP 2025

First-Class Verification Dialects for MLIR users.cs.utah.edu/~regehr/papers… mlir.llvm.org/docs/Dialects/… Mathieu Fehr, Yuyou Fan (Yuyou Fan), Hugo Pompougnac, John Regehr (mastodon.social/@regehr/114378…), Tobias Grosser PLDI 2025

Exploiting Undefined Behavior in C/C++ Programs for Optimization: A Study on the Performance Impact web.ist.utl.pt/nuno.lopes/pub… Lucian Popescu and Nuno P. Lopes PLDI 2025

ACM Computing Survey by Quentin Ducasse one of my former PhD students. War on JITs: Software-Based Attacks and Hybrid Defenses for JIT Compilers Software attacks targeting JIT compilers in language VMs, and categorizes a range of defenses dl.acm.org/doi/abs/10.114…

PL as a field tends not to think about this, but are there collections of language/stdlib design wisdom? typesanitizer.com/blog/errors.ht… is in the genre, but didn't come out of PL

Obligatory plug for the work of karma that runs many different SMT solvers at the same time on the same SMT formula so you don't have to run them all by hand, automatically exploiting many-core CPUs for your hard SMT formula github.com/a16z/jsi

My PhD student, Arthur Jamet, has a blog post about using packed data in Haskell to avoid the cost serializing/de-serializing data, based on our upcoming ECOOP'25 paper. arthichaud.xyz/posts/packed

What's the big deal with "equational reasoning"? Elegant examples show up in lots of 2nd-year CS lecture, so I believe it is beautiful. But to be really useful it has to work at scale. Does it help at all with million-line programs? Are there papers on this?

In 2012, Brad Chamberlain put a stake in the ground for Chapel, publishing the series "Myths of Scalable Parallel Programming Languages" on the IEEE TCSC blog. Today, we are republishing and revisiting the series on the Chapel blog. See how it holds up! chapel-lang.org/blog/posts/10m…

New blog post! "Load store conflicts", in which we look at some performance sensitive code that has surprisingly dramatic performance swings based on the compiler and the microarchitecture used. RTs appreciated! zeux.io/2025/05/03/loa…

New #cpp post from me. I was inspired by a talk I watched recently to go implement a struct-of-arrays vector in C++ using Reflection. Have I mentioned that I am very excited about Reflection? brevzin.github.io/c++/2025/05/02…

Check out our ✨ fantastic ✨ list of accepted papers (pldi25.sigplan.org/track/pldi-202…)! You still have time to book your tickets to Seoul and watch the PLDI talks live!