Zhiyang Chen
Orcid: 0000-0002-2315-397XAffiliations:
- University of Toronto, ON, Canada
According to our database1,
Zhiyang Chen
authored at least 7 papers
between 2021 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2021
2022
2023
2024
0
1
2
3
4
5
6
7
4
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on linkedin.com
-
on twitter.com
-
on orcid.org
-
on github.com
On csauthors.net:
Bibliography
2024
Proc. ACM Softw. Eng., 2024
Instrumenting Transaction Trace Properties in Smart Contracts: Extending the EVM for Real-Time Security.
CoRR, 2024
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024
2021
Proceedings of the CHI '21: CHI Conference on Human Factors in Computing Systems, 2021