‪Zikai Liu‬ - ‪Academic Search‬

Obtenir mon propre profil

Citée par

	Toutes	Depuis 2020
Citations	17	17
indice h	2	2
indice i10	1	1

0

6

3

202120222023202420254 2 5 5 1

Coauteurs

Wenqing LuoUniversity of Illinois Urbana-ChampaignAdresse e-mail validée de illinois.edu
Timothy RoscoeProfessor of Computer Science, ETH ZurichAdresse e-mail validée de inf.ethz.ch
David CockSenior Researcher, ETH ZurichAdresse e-mail validée de cse.unsw.edu.au
Daniel SchwynETH ZürichAdresse e-mail validée de inf.ethz.ch
Ben FiedlerETH ZürichAdresse e-mail validée de inf.ethz.ch

Zikai Liu

Zikai Liu

Systems Group, ETH Zurich

Adresse e-mail validée de inf.ethz.ch - Page d'accueil

operating systems computer architecture software engineering


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	11	2021
Using concolic execution to provide automatic feedback on lc-3 programs Z Liu	5	2021
Generating Trustworthy I²C Stacks Across Software and Hardware Z Liu ETH Zurich, 2023	1	2023
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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–5