Zikai Liu

I am a first-year doctoral student with Prof. Timothy Roscoe in the Systems Group at ETH Zürich.

I am generally interested in computer systems, including operating systems, architecture, compilers, and software engineering. My other areas of interest include VR/AR, all kinds of programming, design and photography.

Education

Doctor of Science (PhD) in Computer Science
ETH Zürich, Switzerland
November 2023–present
Supervisor: Prof. Timothy Roscoe
Master of Science (MSc) in Computer Science
ETH Zürich, Switzerland
September 2021–September 2023
Thesis: Generating Trustworthy I2C Stacks Across Software and Hardware
Bachelor of Science (BSc) in Computer Engineering
University of Illinois at Urbana-Champaign, United States
September 2017–June 2021, Highest Honors
Supervisor: Prof. Steven Lumetta
Thesis: Using Concolic Execution to Provide Automatic Feedback on LC-3

Bachelor of Engineering (BEng) in Electronics and Computer Engineering
Zhejiang University, China
September 2017–June 2021, Outstanding Graduate

Publications

*Equal contributors

Efeu: generating efficient, verified, hybrid hardware/software drivers for I2C devices
Daniel Schwyn*, Zikai Liu*, Timothy Roscoe
EuroSys'25: 20th European Conference on Computer Systems, March–April 2025 (to appear)
[PDF]
Verified fault handling for modern board management controllers
Ben Fiedler, Zikai Liu, David Cock, Timothy Roscoe
FACS'24: 20th Formal Aspects of Component Software, September 2024
[PDF]
End-to-End Automation of Feedback on Student Assembly Programs
Zikai Liu, Tingkai Liu, Qi Li, Wenqing Luo, Steven S. Lumetta
ASE'21: 36th ACM/IEEE International Conference on Automated Software Engineering, November 2021
[PDF] [DOI] [UIUC]

Presentations

Presenters are underlined

Generating Trustworthy Hardware/Software I2C Drivers for Board Management Controllers
Daniel Schwyn, Zikai Liu, Timothy Roscoe
seL4 Summit 2024, October 2024 (to appear)

seL4 as a CPU Driver in an OS for Real Computers
Roman Meier, Zikai Liu, Ben Fiedler, Timothy Roscoe
seL4 Summit 2024, October 2024 (to appear)
Caching Results from KLEE’s Independent Solver
Zikai Liu, Steven S. Lumetta
2nd KLEE Workshop, June 2021
[Video] [Slides]

Timely Feedback on Assembly Assignments Using KLEE
Zikai Liu, Tingkai Liu, Qi Li, Wenqing Luo, Steven Lumetta
2nd KLEE Workshop, June 2021
[Video] [Slides]

Experience