eBPF can take many different forms. Its performance will largely depend on its hook point, its maps, the algorithm its implementing. That's the point I tried to illustrate in pchaigno.github.io/ebpf/2020/09....
State pruning is an optimization to the eBPF verifier to help it scale to larger programs. Pruning points are instructions in the program where this optimization is triggered.
State pruning is an optimization to the eBPF verifier to help it scale to larger programs. Pruning points are instructions in the program where this optimization is triggered.
This was possible thanks to Sebastiano Miano who kept archives from the workshops over the years 🙏
This was possible thanks to Sebastiano Miano who kept archives from the workshops over the years 🙏
Website: ci.syzbot.org
Slides: lpc.events/event/19/con...
Video: www.youtube.com/watch?v=69Pj...
Website: ci.syzbot.org
Slides: lpc.events/event/19/con...
Video: www.youtube.com/watch?v=69Pj...
Recording: www.youtube.com/watch?v=_Qy4...
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=_Qy4...
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=iF7J...
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=iF7J...
Slides: lpc.events/event/19/con...
Recording: youtu.be/n0xMU3XkXYM
Slides: lpc.events/event/19/con...
Recording: youtu.be/n0xMU3XkXYM
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=di2R...
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=di2R...
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=ecQo...
Demo: youtu.be/0qmQ1bTBLHo
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=ecQo...
Demo: youtu.be/0qmQ1bTBLHo
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=-_P1...
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=-_P1...
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=sydT...
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/watch?v=sydT...
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/live/ZLRngpd...
Slides: lpc.events/event/19/con...
Recording: www.youtube.com/live/ZLRngpd...
Slides: lpc.events/event/19/con...
conferences.sigcomm.org/hotnets/2025...
conferences.sigcomm.org/hotnets/2025...
lpc.events/event/19/ses...
lpc.events/event/19/ses...
Video: www.youtube.com/watch?v=DgiE...
Article: lwn.net/Articles/103...
Video: www.youtube.com/watch?v=DgiE...
Article: lwn.net/Articles/103...
github.com/bpfverif/agn...
github.com/bpfverif/agn...
Code: lore.kernel.org/bpf/20250818...
Video: www.youtube.com/watch?v=pgDI...
Code: lore.kernel.org/bpf/20250818...
Video: www.youtube.com/watch?v=pgDI...
(You may need to click on Contribution list to see the talks.)
(You may need to click on Contribution list to see the talks.)
Slides: drive.google.com/file/d/1xrGE...
Paper: dl.acm.org/doi/pdf/10.1...
Slides: drive.google.com/file/d/1xrGE...
Paper: dl.acm.org/doi/pdf/10.1...
Slides: drive.google.com/file/d/1qsBS...
Paper: dl.acm.org/doi/pdf/10.1...
Code: github.com/VladimiroPas...
Slides: drive.google.com/file/d/1qsBS...
Paper: dl.acm.org/doi/pdf/10.1...
Code: github.com/VladimiroPas...