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.

Isil Dillig on X: "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 technology that today’s companies are built on." / X

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 technology that today’s companies are built on.

x.com

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]

CRUST-Bench: A Comprehensive Benchmark for C-to-safe-Rust Transpilation

C-to-Rust transpilation is essential for modernizing legacy C code while enhancing safety and interoperability with modern Rust ecosystems. However, no dataset currently exists for evaluating whether ...

arxiv.org

🚀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!

Anirudh Khatry@anirudhkhatry.bsky.social · last yr.

📄 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]

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