CapOpt: Capability-aware Superoptimization for Secure and Provably Faster Code

Xiaoyang Sun, Dejice Jacob, Huanting Wang, Jeremy Singer, Zheng Wang

Type

Conference paper

Publication

International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2026)

Date

August, 2026

Links

Preprint Code Dataset