Two papers (conditionally) accepted at PLDI’21:

  • The paper on Practical Smart Contract Sharding with Ownership and Commutativity Analysis (co-authored with George Pîrlea and Amrit Kumar) provides the first PL-based approach to parallelise validation of smart contract transactions in Ethereum-style sharded blockchains. Preprint coming soon!
  • The paper on Cyclic Program Synthesis (joint work with Shachar Itzhaky, Hila Peleg, Nadia Polikarpova and Reuben Rowe) describes the first technique for automatically synthesising heap-manipulating programs with recursive "helper" functions, from declarative specifications, without any other hints.