Tianci Cao

Publications with FICTION

Journal Articles

1. Shenghao Yuan, Yazhou Tang, Tianci Cao, Frédéric Besson, Jean-Pierre Talpin, Mingshuai Chen (2026). Formalizing the Linux eBPF Core ISA: A Mechanized Operational Semantics and Its Real-World Applications. Proc. ACM Program. Lang. (OOPSLA). Cite