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

Xiaoyang Sun, Dejice Jacob, Huanting Wang, Jeremy Singer, Zheng Wang
November 2020
PDF Code Dataset
Type
Conference paper
Publication
International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2026)
Xiaoyang Sun
Xiaoyang Sun
Research Fellow
Huanting Wang
Huanting Wang
Lecturer (Assistant Professor)

Lecturer (Assistant Professor) working on machine learning for software security and code optimisation.

Zheng Wang
Zheng Wang
Professor of Intelligent Software Technology