23 citations · 67 across the 13 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
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…
cs.SE2025
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…