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

profile photo
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.


Homepage credits: Jon Barron.