corpus.blog
41554 blogs · [ { "id": "01a0e28a-2a02-7397-971f-1740b3f13b1e", "title": null, "url": "https://pchaigno.github.io/abstract-interpretation.html", "published_at": "2026-09-22T14:57:50+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740b4221c01", "title": null, "url": "https://pchaigno.github.io/ebpf-prevail.html", "published_at": "2026-09-22T14:57:50+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740b49d15d1", "title": "Linguist Language Quizz", "url": "https://pchaigno.github.io/linguist/", "published_at": "2026-09-22T14:57:50+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740b4f47daf", "title": null, "url": "https://pchaigno.github.io/test-verifier-complexity.html", "published_at": "2026-09-22T14:57:50+00:00" }, { "id": "01a0cb24-2a6d-70a6-87d0-ac0f5f0e83f2", "title": "netkit: Specializing Linux Packet Delivery for Container Networks", "url": "https://pchaigno.github.io/ebpf/2026/09/22/netkit-paper.html", "published_at": "2026-09-22T08:26:10+00:00" }, { "id": "01a087be-9f5a-7252-8d32-58f36190dd21", "title": "ACM SOSP’26 Papers & Preprints", "url": "https://pchaigno.github.io/academic/2026/08/03/sosp-2026-papers.html", "published_at": "2026-08-03T08:26:10+00:00" }, { "id": "01a087be-9f5a-7252-8d32-58f361e91404", "title": "BPF Selftests: Troubleshooting vmtest.sh", "url": "https://pchaigno.github.io/ebpf/2026/05/05/bpf-selftests-troubleshooting-vmtest.sh.html", "published_at": "2026-05-05T08:26:10+00:00" }, { "id": "01a087be-9f5a-7252-8d32-58f36233b547", "title": "BPF Verifier State Pruning: Timeline", "url": "https://pchaigno.github.io/ebpf/2026/01/20/state-pruning-timeline.html", "published_at": "2026-01-20T08:26:10+00:00" }, { "id": "01a087be-9f5a-7252-8d32-58f362e28c0e", "title": "Test Verifier Changes on Cilium’s BPF Programs", "url": "https://pchaigno.github.io/ebpf/2025/09/23/test-verifier-changes-on-cilium-bpf-programs.html", "published_at": "2025-09-23T08:26:10+00:00" }, { "id": "01a087be-9f5a-7252-8d32-58f3639b1864", "title": "eBPF Workshops: Slides & Papers", "url": "https://pchaigno.github.io/ebpf/2025/09/17/ebpf-workshops-slides-papers.html", "published_at": "2025-09-17T08:26:10+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740ab8e73f7", "title": null, "url": "https://pchaigno.github.io/bpf/2021/10/20/ebpf-instruction-sets.html", "published_at": "2025-01-23T14:31:00+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740a91da453", "title": null, "url": "https://pchaigno.github.io/ebpf/2019/07/02/bpf-verifier-complexity.html", "published_at": "2025-01-14T10:31:00+00:00" }, { "id": "01a087be-9f5a-7252-8d32-58f363b00bcc", "title": "eBPF Research Papers", "url": "https://pchaigno.github.io/bpf/2025/01/07/research-papers-bpf.html", "published_at": "2025-01-07T08:22:10+00:00" }, { "id": "01a087be-9f5a-7252-8d32-58f364a61e86", "title": "First Cilium Pull Request", "url": "https://pchaigno.github.io/cilium/2024/12/05/first-cilium-pull-request.html", "published_at": "2024-12-05T08:26:10+00:00" }, { "id": "01a087be-9f5a-7252-8d32-58f364d224e4", "title": "Linux XFRM Reference Guide for IPsec", "url": "https://pchaigno.github.io/xfrm/2024/10/30/linux-xfrm-ipsec-reference-guide.html", "published_at": "2024-10-30T08:26:10+00:00" }, { "id": "01a087be-9f5b-72fd-9f0f-a1ed84b5c5d4", "title": "Research Grant from the eBPF Foundation", "url": "https://pchaigno.github.io/ebpf/2024/04/02/research-grant-ebpf-foundation.html", "published_at": "2024-04-02T08:26:10+00:00" }, { "id": "01a087be-9f5b-72fd-9f0f-a1ed84bdeece", "title": "PREVAIL: Understanding the Windows eBPF Verifier", "url": "https://pchaigno.github.io/ebpf/2023/09/06/prevail-understanding-the-windows-ebpf-verifier.html", "published_at": "2023-09-06T08:26:10+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740ab58516e", "title": null, "url": "https://pchaigno.github.io/ebpf/2021/04/12/bmc-accelerating-memcached-using-bpf-and-xdp.html", "published_at": "2021-04-12T08:02:10+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740aac4becf", "title": null, "url": "https://pchaigno.github.io/ebpf/2021/03/22/cost-bpf-tail-calls.html", "published_at": "2021-03-22T14:00:00+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740aab62383", "title": null, "url": "https://pchaigno.github.io/ebpf/2020/11/04/hxdp-efficient-software-packet-processing-on-fpga-nics.html", "published_at": "2020-11-04T16:11:10+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740aa86aac6", "title": null, "url": "https://pchaigno.github.io/ebpf/2020/09/29/bpf-isnt-about-speed.html", "published_at": "2020-09-29T17:10:10+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740a9f72240", "title": null, "url": "https://pchaigno.github.io/strace/2019/10/02/introducing-strace-seccomp-bpf.html", "published_at": "2020-09-19T14:49:00+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740aa45edf8", "title": null, "url": "https://pchaigno.github.io/ebpf/2019/10/11/bpf-syntax-highlighting.html", "published_at": "2019-12-04T16:41:00+00:00" }, { "id": "01a0e28a-2a02-7397-971f-1740b1ebb15d", "title": null, "url": "https://pchaigno.github.io/about/", "published_at": null }, { "id": "01a0e28a-2a02-7397-971f-1740b2319343", "title": null, "url": "https://pchaigno.github.io/", "published_at": null }, { "id": "01a0e28a-2a02-7397-971f-1740b2f4aa5b", "title": null, "url": "https://pchaigno.github.io/talks/", "published_at": null } ] posts Claim your blog
Back to pchaigno.github.io
Blog · corpus.blog/blogs/pchaigno.github.io/posts

pchaigno.github.io

pchaigno.github.io

2026

https://pchaigno.github.io/abstract-interpretation.htmloriginal ↗
22 Sept 2026
https://pchaigno.github.io/ebpf-prevail.htmloriginal ↗
22 Sept 2026
Linguist Language Quizzoriginal ↗
22 Sept 2026
https://pchaigno.github.io/test-verifier-complexity.htmloriginal ↗
22 Sept 2026
netkit: Specializing Linux Packet Delivery for Container Networksoriginal ↗
22 Sept 2026
ACM SOSP’26 Papers & Preprintsoriginal ↗
3 Aug 2026
BPF Selftests: Troubleshooting vmtest.shoriginal ↗
5 May 2026
BPF Verifier State Pruning: Timelineoriginal ↗
20 Jan 2026

2025

Test Verifier Changes on Cilium’s BPF Programsoriginal ↗
23 Sept 2025
eBPF Workshops: Slides & Papersoriginal ↗
17 Sept 2025
https://pchaigno.github.io/bpf/2021/10/20/ebpf-instruction-sets.htmloriginal ↗
23 Jan 2025
https://pchaigno.github.io/ebpf/2019/07/02/bpf-verifier-complexity.htmloriginal ↗
14 Jan 2025
eBPF Research Papersoriginal ↗
7 Jan 2025

2024

First Cilium Pull Requestoriginal ↗
5 Dec 2024
Linux XFRM Reference Guide for IPsecoriginal ↗
30 Oct 2024
Research Grant from the eBPF Foundationoriginal ↗
2 Apr 2024

2023

PREVAIL: Understanding the Windows eBPF Verifieroriginal ↗
6 Sept 2023

2021

https://pchaigno.github.io/ebpf/2021/04/12/bmc-accelerating-memcached-using-bpf-and-xdp.htmloriginal ↗
12 Apr 2021
https://pchaigno.github.io/ebpf/2021/03/22/cost-bpf-tail-calls.htmloriginal ↗
22 Mar 2021

2020

https://pchaigno.github.io/ebpf/2020/11/04/hxdp-efficient-software-packet-processing-on-fpga-nics.htmloriginal ↗
4 Nov 2020
https://pchaigno.github.io/ebpf/2020/09/29/bpf-isnt-about-speed.htmloriginal ↗
29 Sept 2020
https://pchaigno.github.io/strace/2019/10/02/introducing-strace-seccomp-bpf.htmloriginal ↗
19 Sept 2020

2019

https://pchaigno.github.io/ebpf/2019/10/11/bpf-syntax-highlighting.htmloriginal ↗
4 Dec 2019

Undated

https://pchaigno.github.io/about/original ↗
—
https://pchaigno.github.io/original ↗
—
https://pchaigno.github.io/talks/original ↗
—