Zikai Liu

According to our database, Zikai Liu authored at least 5 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Mainframe-style channel controllers for modern disaggregated memory systems.

Zikai Liu, Jasmin Schult, Pengcheng Xu, Timothy Roscoe

CoRR, June, 2025

Efeu: generating efficient, verified, hybrid hardware/software drivers for I2C devices.

Daniel Schwyn, Zikai Liu, Timothy Roscoe

Proceedings of the Twentieth European Conference on Computer Systems, 2025

2024

Verified Fault Handling for Modern Board Management Controllers.

Ben Fiedler, Zikai Liu, David A. Cock, Timothy Roscoe

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Scientific Knowledge Combination in Networks: New Perspectives on Analyzing Knowledge Absorption and Integration.

Hongshu Chen, Jingkang Liu, Zikai Liu

Proceedings of Joint Workshop of the 4th Extraction and Evaluation of Knowledge Entities from Scientific Documents (EEKE2023) and the 3rd AI + Informetrics (AII2023) co-located with the JCDL 2023, 2023

2021

End-to-End Automation of Feedback on Student Assembly Programs.

Zikai Liu, Tingkai Liu, Qi Li, Wenqing Luo, Steven S. Lumetta

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021