Home
News
People
Publications
Seminar
Courses
Events
Vacancies
Contact
Pulp Fictions
Light
Dark
Automatic
Sail
Formal Specification of Linux eBPF Instruction Set Architecture in Sail
eBPF has become a widely-used mechanism for extending the Linux kernel, and recent standardization efforts have produced the first …
Yazhou Tang
,
Shenghao Yuan
,
Jean-Pierre Talpin
,
Mingshuai Chen
Cite
Cite
×
