Enzuo Zhu

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Tightly Coupled

Top Venues

Publications

Kai Ma, Cheng Li, Enzuo Zhu, Ruichuan Chen, Feng Yan, Kang Chen
Noctua: Towards Automated and Practical Fine-grained Consistency Analysis. EuroSys (2024)