April 12, 2021
2021
Our PLDI’21 paper on smart contract sharding with static analysis is now available.