2 citations · 2 across the 3 of their papers we have counts for
7 papers
Adding Compilation Metadata To Binaries To Make Disassembly Decidable
Daniel Engel, Freek Verbeek, Pranav Kumar +1
The binary executable format is the standard method for distributing and executing software. Yet, it is also as opaque a representation of software as can be. If the binary format…
ENCRUST: Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation
Hohyun Sim, Hyeonjoong Cho, Ali Shokri +2
We present Encapsulated Substitution and Agentic Refinement on a Live Scaffold for Safe C-to-Rust Translation, a two-phase pipeline for translating real-world C projects to safe Ru…
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…