Zhiyao Ma

Zhiyao Ma

Ph.D Candidate of Computer Science

Yale University

Biography

Zhiyao Ma is a Ph.D candidate in the department of computer science at Yale University. He is advised by Professor Lin Zhong, Ph.D. His research interests lie in the field of operating systems, specifically its design and implementation on resource-constrained platforms. His current focus is on building a microcontroller-based embedded system that provides memory safety without sacrificing memory efficiency. His future research will explore empowering a resource-limited computer, at OS level, with the aid of a resourceful computer connected over the network. Additionally, he is also interested in the broader fields of programming languages and compilers. Zhiyao enjoys driving on tracks at HPDE, currently in the intermediate run group, and holds a Kendo 3rd Dan rank.

Interests
  • Operating System
  • Embedded System
  • Compiler
  • Programming Language
Education

  • Ph.D Candidate in Computer Science, 2020 - present

    Yale University

  • Master of Science in Computer Science, 2023

    Yale University

  • Bachelor of Science in Computer Science (Summa Cum Laude), 2020

    Peking University

Recent Posts

Click Here for All Posts

Changing Rust Enum Variant with Mutable Reference
Changing a Rust enum variant through a mutable reference can be achieved either by wrapping the variant attached variable inside Option, or better, by introducing an Undef variant in the enum.
Zhiyao Ma
Feb 14, 2024 3 min read Language
Rust Crate Crossbeam's ArrayQueue Can Deadlock
Although ArrayQueue contains no explicit spin lock or mutex, its code structure forms a big spin lock and thus deadlock is possible.
Zhiyao Ma
Aug 6, 2023 8 min read Algorithm
SVC Can Be Invoked Asynchronously When Dynamically Changing Exception Priority on Cortex-M
SVC will be pended if a higher priority exception arrives during the stacking. If the priority of SVC is raised above the previously higher priority exception inside its handler, SVC will be activated immediately, nested above the current handler, which causes problems because the register context seen by the SVC handler is not system call arguments.
Zhiyao Ma
Jul 6, 2023 5 min read Embedded
Read-Modify-Write On Self-Changing Registers Causes Trouble
Read-modify-write on the cr1 register of I²C may generate two consecutive start condition and hang the peripheral.
Zhiyao Ma
Last updated on Jul 2, 2023 3 min read Embedded
Fix Rust Library stm32f4xx-hal Causing I²C to Hang When Using DMA
The Rust HAL Library stm32f4xx-hal failed to set the LAST bit in I²C CR2 before initiating a DMA read. We tracked down the problem with a logic analyzer and identified the fix.
Zhiyao Ma
Last updated on Apr 19, 2023 4 min read Embedded
See all posts

Recent Publications

All Publications

Zhiyao Ma, Samantha Detor, Lin Zhong (2024). Offloading Operating System Functions to the Cloud. In HotMobile 2024.

PDF Cite DOI

Zhiyao Ma, Guojun Chen, Lin Zhong (2023). Panic Recovery in Rust-based Embedded Systems. In PLOS 2023.

PDF Cite DOI

Yunzhe Ni, Feng Qian, Taide Liu, Yihua Cheng, Zhiyao Ma, Jing Wang, Zhongfeng Wang, Gang Huang, Xuanzhe Liu, Chenren Xu (2023). POLYCORN: Data-driven Cross-layer Multipath Networking for High-speed Railway through Composable Schedulerlets. In NSDI 2023.

PDF Cite

Zhiyao Ma, Lin Zhong (2023). Bringing Segmented Stacks to Embedded Systems. In HotMobile 2023.

PDF Cite DOI

Shuang Jiang, Zhiyao Ma, Xiao Zeng, Chenren Xu, Mi Zhang, Chen Zhang, Yunxin Liu (2020). SCYLLA: QoE-aware Continuous Mobile Vision with FPGA-based Dynamic Deep Neural Network Reconfiguration. In INFOCOM 2020.

PDF Cite DOI

Chenren Xu, Jing Wang, Zhiyao Ma, Yihua Cheng, Yunzhe Ni, Wangyang Li, Feng Qian, Yuanjie Li (2020). A First Look at Disconnection-Centric TCP Performance on High-Speed Railways. In JSAC 2020.

PDF Cite DOI

Teaching Assistant

 
 
 
 
 
Mobile and Embedded Systems
Yale University
Jan 2022 – May 2022
 
 
 
 
 
Operating System Design and Implementation
Yale University
Aug 2021 – Dec 2021
 
 
 
 
 
Computer Architectures
Peking University
Feb 2020 – Jun 2020
 
 
 
 
 
Introduction to Computer Systems
Peking University
Sep 2019 – Jan 2020
 
 
 
 
 
Introduction to Computer Systems
Peking University
Sep 2018 – Jan 2019

Contact