November 8, 2021
2021
Our paper SolType: Refinement Types for Arithmetic Overflow in Solidity was accepted at POPL’22!