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

Recent Publications

All Publications

(2024). Offloading Operating System Functions to the Cloud. In HotMobile 2024.

DOI

(2023). Panic Recovery in Rust-based Embedded Systems. In PLOS 2023.

PDF Cite DOI

(2023). POLYCORN: Data-driven Cross-layer Multipath Networking for High-speed Railway through Composable Schedulerlets. In NSDI 2023.

PDF Cite

(2023). Bringing Segmented Stacks to Embedded Systems. In HotMobile 2023.

PDF Cite DOI

(2020). SCYLLA: QoE-aware Continuous Mobile Vision with FPGA-based Dynamic Deep Neural Network Reconfiguration. In INFOCOM 2020.

PDF Cite DOI

(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