Zhiyang Chen
I am a PhD student at University of Toronto, (luckily!) supervised by Prof. Fan Long.
Prior than that, I was luckily advised by Prof. Xinyu Wang at UMich, we worked on multiple program synthesis projects.
My current research focus on Smart Contract Security with Static and Dynamic Analysis and Blockchain Scaling(ZKRollup). I'm generally interested in Programming Languages, Software Engineering, Security and Distributed Systems.
I'm also working as a Research Engineer at Zircuit. Prior to that, I also worked at Quantstamp.
Email  / 
Github  / 
Twitter
|
|
Education
-
University of Toronto
PhD in Computer Science, 2026(Expected)
Advisor: Prof. Fan Long
-
University of Michigan, Ann Arbor
Bachelor of Engineering in Computer Science, minor in Mathematics,
Summa Cum Laude, Sept 2019 - May 2021
Advisor: Prof. Xinyu Wang
-
Shanghai Jiao Tong University
Bachelor of Science in Electrical and Computer Engineering, minor in Entrepreneurship,
Sept 2017 - Aug 2021
|
Publications in Academia
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long, “OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond(ASE 2024 Tool Demonstrations)
[paper] [artifact] [video]
Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long, “Demystifying Invariant Effectiveness for Securing Smart Contracts(FSE 2024)
[paper] [artifact] [benchmarks] [invariant study results] [slides] [poster]
Zhiyang Chen, Sidi Mohamed Beillahi, Fan Long, “FlashSyn: Flash Loan Attack Synthesis via Counter
Example Driven Approximation(ICSE 2024) [paper] [extended paper] [artifact] [slides]
Tianyi Zhang, Zhiyang Chen, Yuanli Zhu, Priyan Vaithilingam, Xinyu Wang, Elena L. Glassman, “Interpretable
Program Synthesis”, Proceedings of the 2021 Conference on Human Factors in Computing Systems(CHI 2021) [paper] [video] [artifact]
|
Publications in Industry
Martin Derka, Jan Gorzny, Diego Siqueira, Donato Pellegrino, Marius Guggenmos, Zhiyang Chen, “Sequencer Level Security"
[paper]
|
Awards & Grants
- ACM SIGSOFT CAPS Travel Grant, ACM SIGSOFT CAPS
- DCS Travel Grant, University of Toronto
- Bell Graduate Scholarship, University of Toronto
- The Mitacs Accelerate Fellowship with Bank of Canada, University of Toronto, 2023-2024
- Co-author of Ethereum Foundation Grant FY23-0882 (Back-End API Standard for L2 Block Explorers), 2023
- The Wolfond Scholarship in Wireless Information Technology, University of Toronto, 2021
- Outstanding graduate of Shanghai Jiao Tong University, 2021
- James B. Angell Scholar, UMich, 2021
|
Fun Facts About Me:
-
Recently(2024/08), I started investigating the 'philosophy' in my Doctor of Philosophy program. In the future, I might write down this journey.
-
Pirates of the Caribbean is my favorite movie. I want to be a Pirate.
-
I'm not religious, but I believe in an afterlife where people will either reunite with their deceased loved ones after biological death and/or return to this world in another physical form.
|
Service, Teaching and Volunteer Activities
- Reviewer, IEEE Transactions on Network and Service Management 2024
- Artifact Evaluation Program Committee Member, PLDI 2024
- Sub-reviewer, FSE 2023, ICSE 2024, ASE 2024
- Student Volunteer, SPLASH OOPSLA 2022
- Teaching Assistant of CSC108, CSC263, CSC373, CSC488/2107(as head TA) at UofT
- Grader of MATH 214 Linear Algebra, UMich, Fall 2020.
- Tau Beta Phi-Michigan Gamma, elected in Nov 2020 (attending a series of K12 and professional activities)
|
Finished Research Projects
|
|
Runtime Guard Synthesis to Stop Hacks on the Fly
Accepted to FSE 2024
With Dr. Ye Liu, Prof. Yi Li, Prof. Fan Long and Dr. Sidi Mohamed Beillahi
Smart contract transactions associated with security attacks often exhibit distinct behavioral patterns compared
with historical benign transactions before the attacking events. While many runtime monitoring and guarding
mechanisms have been proposed to validate invariants and stop anomalous transactions on the fly, the empirical
effectiveness of the invariants used remains largely unexplored. We developed a tool which dynamically
generates new invariants customized for a given contract based on its historical transaction data.
|
|
Flashloan Attack Synthesis
Accepted to ICSE 2024, adopted by Quantstamp
With Prof. Fan Long and Dr. Sidi Mohamed Beillahi
This project aims to build the first end-to-end program synthesis tool to detect flash loan attack vulnerabilities and automatically synthesize a profitable transition as proofs. Since executing smart contracts in a forked environment is notoriously slow, we propose a technique to speculate execution results locally. Our tool is evaluated in many flash loan attacks in the history of Ethereum and Binance Smart Chain.
|
|
Accelerate Regular Expresssion Synthesis via Subexpression Queries
Individual research project of EECS499
with Prof. Xinyu Wang
report
In this project, I proposed an algorithm to synthesize the most probable sub- expressions of the ground-truth regular expressions based on input-output examples. I evaluated and testified the effectiveness of sub-expression queries to accelerate regular expression synthesis.
|
|
Interpretable Program Synthesis
CHI '21: Proceedings of the 2021 Conference on Human Factors in Computing Systems
with Prof. Tianyi Zhang, Prof. Xinyu Wang, Prof. Elena Glassman
pdf
   
video
   
code
We propose a novel approach that unveils the synthesis process and enables users to monitor and guide the synthesis. We designed three representations that explain the underlying synthesis process with different levels of fidelity.
|
|
Real-Time and Virtual Driving Simulator
Project of Multidisciplinary Design Program
with Prof. Paul Green
2-min presentation slides
   
code
We built a GUI tool to help human-vehicle interaction researchers design and conduct traffic experiments with CARLA real-time driving simulator.
|
|