Yi Li bio photo

Yi Li

Associate Professor

College of Computing and Data Science (CCDS)
Nanyang Technological University (NTU)

Address: Block N4-02b-63
50 Nanyang Avenue, Singapore 639798
Phone: +65 6790 4287

Email Twitter LinkedIn GitHub Bitbucket Google Scholar ORCID

Two papers were recently accepted at FSE’20. The first one [1] is on the fairness verification of smart contracts with my PhD student Ye Liu. The second one [2] is a more efficient program equivalence checking approach with Julia Rubin’s team.

Preprints will follow. Stay tuned.

References

  1. Liu, Y., Li, Y., Lin, S.-W., & Zhao, R. (2020). Towards Automated Verification of Smart Contract Fairness. Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 666–677.
  2. Badihi, S., Akinotcho, F., Li, Y., & Rubin, J. (2020). ARDiff: Scaling Program Equivalence Checking via Iterative Abstraction and Refinement of Common Code. Proceedings of the 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (FSE), 13–24.