Paul Chaignon
@pchaigno.bsky.social
System security, eBPF, and programmable networks. Working on Cilium's BPF-based datapath. He/him.
I wonder if the PREVAIL verifier could do better on those four examples. At least for the first one, I'd expect the ability to track relationship between variables to help.
October 24, 2025 at 3:06 PM
I wonder if the PREVAIL verifier could do better on those four examples. At least for the first one, I'd expect the ability to track relationship between variables to help.
This was made possible by an idea from Hari Vishwanathan et al. implemented in March 2024 and further extended in August this year.
Next step is Agni formally verifying patchset submitted to the mailing list!
Pull request: github.com/bpfverif/agn....
Next step is Agni formally verifying patchset submitted to the mailing list!
Pull request: github.com/bpfverif/agn....
October 16, 2025 at 3:31 PM
This was made possible by an idea from Hari Vishwanathan et al. implemented in March 2024 and further extended in August this year.
Next step is Agni formally verifying patchset submitted to the mailing list!
Pull request: github.com/bpfverif/agn....
Next step is Agni formally verifying patchset submitted to the mailing list!
Pull request: github.com/bpfverif/agn....
Oh, I missed your paper presentation 😱 Happy to meet when you're available Tianyi!
September 10, 2025 at 9:22 AM
Oh, I missed your paper presentation 😱 Happy to meet when you're available Tianyi!
A lot of AI for networks, networks for AI, and LEO satellite networks, but also video streaming, datacenter networking, and all types of wireless networking.
I spotted four papers using eBPF :)
I spotted four papers using eBPF :)
September 4, 2025 at 2:31 PM
A lot of AI for networks, networks for AI, and LEO satellite networks, but also video streaming, datacenter networking, and all types of wireless networking.
I spotted four papers using eBPF :)
I spotted four papers using eBPF :)