3/3 If you’ve built a company, a career, or a product on top of that system, now is the time to speak up -- before the damage is irreversible.

2/3 Now, with Congress moving to slash NSF funding, that very foundation seems to be at risk. CISE, which is the directorate that funds core computing research, is facing a 65% cut. The U.S. research ecosystem cannot survive cuts like this.

1/3 The US didn’t end up leading the world in computing by luck. It happened because it made long-term, public investments in basic research, especially through NSF. That’s what created the breakthroughs that today’s tech companies are built on.

It's been a real honor and privilege to be your PhD advisor
Shankara Pailoor and Ben Mariano! I am truly so proud of everything you both have accomplished.

📄 Read the full paper:
CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation
arxiv.org/abs/2504.15254
Dataset: github.com/anirudhkhatr...
w/ @robertzhang.bsky.social , Jia Pan, @zetten.bsky.social, @jqchen.bsky.social, @gregdnlp.bsky.social, @idillig.bsky.social.

🧵[6/6]

🚀Meet CRUST-Bench, a dataset for C-to-Rust transpilation for full codebases 🛠️
A dataset of 100 real-world C repositories across various domains, each paired with:
🦀 Handwritten safe Rust interfaces.
🧪 Rust test cases to validate correctness.
🧵[1/6]

For folks interested in C-to-Rust translation, we put together a benchmark suite you can evaluate on!

The FY26 budget slashes NSF by 55%, which directly threatens basic research in the United States. Please call your reps NOW and tell them to reject these cuts and protect science funding. You can find them here: www.congress.gov/members

Self-nominations are most welcome :)

@andersmoeller.bsky.social and I are co-chairing OOPSLA'26 and soliciting PC nominations. If you'd like to serve on the OOPSLA PC next year or know anyone (e.g., recent graduate) who you think would do a good job, please nominate them here: forms.gle/NVnzjcmbshoL...

For formal methods folks looking for a new position: @VeridiseInc is hiring a formal methods researcher to work on verification/analysis tools targeting zero-knowledge applications. More details are here: veridise.com/careers/zk-r...

Here is my starter pack of PL folks -- please come and join the fun! go.bsky.app/6kzdn3x