TY  - RPRT
TI  - VeriPort: Automated and Verified Patch Backporting at Scale
AU  - Jonah Ghebremichael
AU  - Wenxin Jiang
AU  - Mikola Lysenko
AU  - Benjamin Barslev Nielsen
AU  - William Enck
AU  - Alexandros Kapravelos
PY  - 2026
UR  - https://arxiv.org/abs/2606.22704
ID  - 2606.22704
ER  -