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.
Ph.D Candidate in Computer Science, 2020 - present
Master of Science in Computer Science, 2023
Bachelor of Science in Computer Science (Summa Cum Laude), 2020
Option, or better, by introducing an
Undef variant in the enum.
ArrayQueue contains no explicit spin lock or mutex, its code structure forms a big spin lock and thus deadlock is possible.
cr1 register of I²C may generate two consecutive start condition and hang the peripheral.
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.