Jingyi Emma Zhong

According to our database, Jingyi Emma Zhong authored at least 2 papers between 2020 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Fast and Reliable Formal Verification of Smart Contracts with the Move Prover.

David L. Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Jingyi Emma Zhong

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2020

The Move Prover.

Jingyi Emma Zhong, Kevin Cheang, Shaz Qadeer, Wolfgang Grieskamp, Sam Blackshear, Junkil Park, Yoni Zohar, Clark W. Barrett, David L. Dill

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020