@misc{indiciae3ab8e30b5b4e,
  title = {VeriPort: Automated and Verified Patch Backporting at Scale},
  author = {Jonah Ghebremichael and Wenxin Jiang and Mikola Lysenko and Benjamin Barslev Nielsen and William Enck and Alexandros Kapravelos},
  year = {2026},
  url = {https://arxiv.org/abs/2606.22704},
  note = {Source identifier: 2606.22704}
}