Something's cooking 🧑‍🍳

Fun time to be an Assistant Professor

PL Academics in the US; I'm looking around for postdoc positions for the coming year!

With the NSF pause, I'm assuming a lot of US faculty are reluctant to hire postdocs right now

Is it worthwhile to continue searching for positions in the US? or should I look elsewhere~

Reposts welcomed!

Re LLMs writing term papers: the other day I saw someone say that using LLMs to write is like bringing a forklift to the gym. It's not that the weights need to go up; it's that you need to do the lifting. The doing of the work is the result, not the paper being done or the weights having moved.

the best kind of commits

My new favorite language is Racket!

Excited about Proofwala, @amitayush.bsky.social's new framework for ML-aided theorem-proving.

* Paper: arxiv.org/abs/2502.04671
* Code: github.com/trishullab/p...

Proofwala allows the collection of proof-step data from multiple proof assistants (Coq and Lean) and multilingual training. (1/3)

Join us! Science Homecoming helps scientists reconnect with communities by writing about the importance of science funding in their hometown newspapers. We’ve mapped every small newspaper in the U.S. and provide resources to get you started. Help science get back home 🧪🔬🧬 🏠

sciencehomecoming.com

"Automatically Verifying Replication-aware Linearizability" has been accepted to OOPSLA 25.

Draft: kcsrk.info/papers/mrdtc...

This work is a substantial improvement over our prior work (dl.acm.org/doi/10.1145/...) on verifying MRDTs.

Back to basics: Concurrency testing in Java!

Our new tool *Fray* correctly solves a 25+ year old problem for real-world software. See this feature from Elastic Labs about Fray's contributions to Lucene.

📰: www.elastic.co/search-labs/...

🔧: github.com/cmu-pasta/fray

📝: arxiv.org/pdf/2501.12618

The entire archive of CDC datasets can be found here.

HUGE shoutout to data archivists- this work is important 👏🙌🏻

archive.org/details/2025...

wapo.st/40KjInJ

This statement from CRA outlines the critical importance that the National Science Foundation plays for our nation's prosperity, security, and future. I highly recommend sharing it with your colleagues, and calling your representatives in Congress to convey these benefits to them in your own words!

I am changing my class notes to render text in white on a white background

My UG student Bhavik Goplani presented our ongoing work on verifying idempotency of REST API clients under for request retries at the POPL '25 SRC.

The work involves some exciting effect analysis and a nifty translation to Dafny to automatically prove liveness and safety

What if we could only code by using examples? How can we integrate AI into actual programming languages? I made a little proof of concept:
austinhenley.com/blog/mirrorl...