23 citations · 100 across the 20 of their papers we have counts for
4 papers · 1 filter
BeePL: Correct-by-compilation kernel extensions
Swarn Priya, Frédéric Besson, Connor Sughrue +4
eBPF is a technology that allows developers to safely extend kernel functionality without modifying kernel source code or developing loadable kernel modules. Since the kernel gover…
Augmented Weak Distance for Fast and Accurate Bounds Checking
Zhoulai Fu, Freek Verbeek, Binoy Ravindran
This work advances floating-point program verification by introducing Augmented Weak-Distance (AWD), a principled extension of the Weak-Distance (WD) framework. WD is a recent appr…
Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
HoHyun Sim, Hyeonjoong Cho, Yeonghyeon Go +4
The C programming language has been foundational in building system-level software. However, its manual memory management model frequently leads to memory safety issues. In respons…
Formally Verified Binary-level Pointer Analysis
Freek Verbeek, Ali Shokri, Daniel Engel +1
Binary-level pointer analysis can be of use in symbolic execution, testing, verification, and decompilation of software binaries. In various such contexts, it is crucial that the r…