May 10, 2024

Congrats to Guannan, Danning, Yongwei and their co-authors on their upcoming PLDI paper on making smart contracts safer by integrating behavioral contracts into Solidity!