Compilers

IR-Sentinel: LLVM-IR Security Analysis via MCP
A Model Context Protocol server that exposes a local LLVM toolchain to an AI agent, which compiles C++ to IR and hunts for use-after-free patterns.
Source
AEGIS: An LLVM Pass for Hardware Reliability
An LLVM transformation pass that duplicates computation and checks it before stores, branches, and calls, cutting silent data corruption by up to 29× under cache fault injection.
Architectural Hurdles: Exploring the Difficulties of x86-to-ARM Binary Cross-Compilation
On the architectural mismatches that make source-free x86-to-AArch64 recompilation hard, and a lifting pipeline validated on SPEC CPU 2017.
Mahbub H. Raton, Michael Franz
Project
Cross-Compiling x86 Binaries to ARM
Extending the Binrec lifting framework to recompile x86 binaries for AArch64 without source, validated on two real SPEC CPU 2017 programs.
Binrec
WARIR: A WebAssembly Optimizing Compiler
A full SMPL-to-WebAssembly compiler with graph-coloring register allocation and SSA-based dataflow optimization.
Source