Two papers co-authored by IRIF members will be presented at PLDI'20, the main conference on implementations of programming languages. The papers propose new methodologies for verifying distributed protocols and smart contracts running on top of blockchains, respectively.