I am currently hiring two full time research engineers in programming languages in our Huawei Edinburgh Research Centre. Feel free to DM for extra details. RTs much appreciated. huaweiuk.teamtailor.com/jobs/2588303-p…

This talk by olivier giroux is one of the clearest resources about forward progress guarantees I have found so far. I love the "Progress both causes and solves data races" youtu.be/g9Rgu6YEuqY?si…

Are you a student doing awesome work in Languages, Systems, or Data? We'd love to hear about it at the UCSC LSD seminar! Let us know by filling out this form: docs.google.com/forms/d/e/1FAI… Talks are remote (in person if you're semi-local) at noon on Fridays! Hope to see you there!

Woohoo gpu.cpp has now been officially released! This is a really exciting project which provides a device-independent way to use GPU compute. No more writing separate code for CUDA, AMD, Mac, and Intel GPUs! We can't wait to see what you all are able to create with this.

I am surprised nobody has come up with an implementation based on the MLIR compiler. Is anybody aware of work in this direction?

I need help from smt solver developers. I have two goals: improve a BMC encoding and understand why in an incremental approach, a small delta in the encoding (the assertions added in this iteration) drastically affect performance of the solver (from secs to hs). RT appreciated

I wonder who will be the first one claiming "Solving the out-of-thin-air problem with LLMs"

Are you attending #FOSDEM next weekend in Brussels? Join us for the BOF track "Multicore & Concurrency: Algorithms, Performance, Correctness" fosdem.org/2025/schedule/…

On my way to ASPLOS / Eurosys ... Who from my network is also attending?

I can finally remove from my bucket list having Tyler Sorensen and Reese Levine as co-authors :D GPU Memory Consistency: Specifications, Testing, and Opportunities for Performance Tooling sigarch.org/gpu-memory-con…