CAPOPT: Capability-Aware Superoptimization for Secure and Provably Faster Code

Sun, X., Jacob, D., Wang, H. et al. (2 more authors) (Accepted: 2026) CAPOPT: Capability-Aware Superoptimization for Secure and Provably Faster Code. In: International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2026). International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2026), 04-09 Oct 2026, Oakland, CA, USA. ACM. (In Press)

Metadata

Item Type: Proceedings Paper
Authors/Creators:
Dates:
  • Accepted: 7 August 2026
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Distributed Systems & Services
Funding Information:
Funder
Grant number
EPSRC Accounts Payable
EP/X037304/1
Royal Society *** USE 813030 ***
IF\R1\251008
Date Deposited: 04 Sep 2026 13:09
Last Modified: 04 Sep 2026 13:09
Status: In Press
Publisher: ACM
Related URLs:
Open Archives Initiative ID (OAI ID):

Download not available

A full text copy of this item is not currently available from White Rose Research Online

Export

Statistics


CORE (COnnecting REpositories)