August 25, 2024

Congratulations to Anmol, Suresh, and their co-authors on their upcoming OOPSLA’24 paper on verifying concurrent data structures!