Two papers were recently accepted at ISSTA’22. The first one is on the checking of permission bugs in smart contracts with my PhD student Ye Liu. We proposed an approach that is based on role mining from the DApp transaction histories. The second one is a transfer learning approach for cross-lingual type inference, with a PhD student, Zhiming Li, who I co-supervise.
This year, 61 of 250 submissions were accepted at ISSTA.
Preprints will follow. Stay tuned.