Zhiyao Ma

Zhiyao Ma

Ph.D Candidate in Computer Science

zhiyao.ma AT yale.edu

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 Philosophy in Computer Science, 2024

    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

PendSV Allows Simple and Efficient Context Switch on Cortex-M
Centralizing context switch logic in PendSV simplifies concurrency reasoning and enhances system performance by reducing register preservation overhead of all other exceptions.
Zhiyao Ma
Jun 10, 2024 4 min read Embedded
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
See all posts

Recent 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

See all publications