Sledovať
Zikai Liu
Zikai Liu
Systems Group, ETH Zurich
Overená e-mailová adresa na: inf.ethz.ch - Domovská stránka
Názov
Citované v
Citované v
Rok
End-to-end automation of feedback on student assembly programs
Z Liu, T Liu, Q Li, W Luo, SS Lumetta
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
112021
Using concolic execution to provide automatic feedback on lc-3 programs
Z Liu
52021
Generating Trustworthy I²C Stacks Across Software and Hardware
Z Liu
ETH Zurich, 2023
12023
Efeu: generating efficient, verified, hybrid hardware/software drivers for I2C devices
D Schwyn, Z Liu, T Roscoe
2025
Verified fault handling for modern board management controllers
B Fiedler, Z Liu, D Cock, T Roscoe
International Conference on Formal Aspects of Component Software, 21-38, 2024
2024
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–5