As the grad school admissions process comes to a close, a note: A "reject" may not reflect that you are not a qualified candidate, but rather, reflects that there are a limited number of positions to fill. William puts it best: williamjbowman.com/blog/2020/02/0…

Hi all, registration for PLDI in San Diego, CA is now open! pldi22.sigplan.org/attending/Regi… #pldi2022 (RT most appreciated!)

I'm deeply honored to get my first teaching award, but it was really only possible because of the extremely hard work of my students Lennard Gäher and Simon Spies. They put in a huge effort to adapt my previous half course to a full one with new material on Iris/Coq.

Here we begin! LLVMFoundation

Need more reasons to visit Berlin apart from attending #ECOOP22?! Fine, how about this awesome Atlas Obscura list of "Cool, Hidden, and Unusual Things to Do in Berlin"?atlasobscura.com/things-to-do/b…

Does anyone have an Nvidia Kepler GPU? We are trying to reproduce some results from an old paper. We have a small suite of experiments that can be run completely in the browser. We'd appreciate any help!

By popular demand, it's back! PL+HCI Swimmer School: August 15-18, 2022! Please help us publicize. Speakers and details TBD, just a placeholder for now. CC Sarah E. Chasins Elena Glassman Hila Peleg is not here 🦋 shriram.github.io/pl-hci-school-…

Some fun during virtual sv dinner at PLDI'22!

🎉👏Congratulations to #BaskinEngineering Professor Tyler Sorensen for receiving an NSF CAREER award to support his research in developing the logical frameworks & mathematical models required to enable diverse processors to work together. Tyler Sorensen news.ucsc.edu/2023/02/nsf-ca…

Have a spare 20 minutes? Help us do some research! Just a few simple steps, no need for running any special software: 1.) Head to gpuharbor.ucsc.edu/webgpu-mem-tes… (must be on Chrome) 2.) Optionally turn on a developer flag 3.) Run the Tune/Conform action 4.) Submit your results!

Check out this cool article from UCSC on our ASPLOS ‘23 paper, MC Mutants. Thanks to all my collaborators, Tim Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto @[email protected], @AndrewRQuinn, and Tyler Sorensen. news.ucsc.edu/2023/03/sorens…

Congratulations to #BaskinEngineering Ph.D. students Reese Levine & Haoyuan Wang & Professors Tyler Sorensen, @AndrewRQuinn, & scott beamer (@[email protected]) for bringing home two Distinguished Paper Awards and one Distinguished Artifact Award from the ASPLOS 2023 Conference! asplos-conference.org 🎉

LeftoverLocals is now an arxiv paper! Sadly nothing really new here if you read the blog post, but it makes it easier to distribute and reference in some cases. arxiv.org/abs/2401.16603

What is the best resource for a complete noob to learn GPGPU programming? I keep recommending "CUDA by Example" even though it is 14 years old now. It holds up remarkably well, but there's gotta be something more recent right?

(1/2) In a scientific career, if you stick around, there are four major phases with different priorities: (1) get a PhD and find a job you like, (2) keep your job (e.g., tenure) and get promoted, (3) seek stronger personal impact, (4) seek broader impact through leadership.

I just heard a PhD student say "I just need to get through one more week and then things will be less busy..." I didn't have the heart to say anything

We need your feedback on an llvm.org website redesign! Please fill out this survey: docs.google.com/forms/d/1xr1Cl…

Learning models from programs! Given a program P, our MODELIZER learns a model M that mocks P's behavior, producing P's output for a given input. But M is also reversible, predicting inputs for which P produces a given output, with up to 95.4% accuracy: arxiv.org/abs/2407.08597 🧵

With apologies to ✨ Jean Yang ✨, here's a 🧵of academic papers I've written as Taylor Swift lyrics...

Our new t-shirt. We're very excited for multicore OCaml...