2 citations · 2 across the 3 of their papers we have counts for
4 papers · 1 filter
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…
Scalable Floating-Point Satisfiability via Staged Optimization
Yuanzhuo Zhang, Zhoulai Fu, Binoy Ravindran
This work introduces StageSAT, a new approach to solving floating-point satisfiability that bridges SMT solving with numerical optimization. StageSAT reframes a floating-point form…
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…