CryptOpt: Automatic optimization of straightline code

Joel Kuepper; David Wu; Andres Erbsen; Jason Gross; Owen Conoly; Chuyue Sun; Samuel Tian; Adam Chlipala; Chitchanok Chuengsatiansup; Daniel Genkin; Markus Wagner; Yuval Yarom

doi:10.1109/ICSE-Companion58688.2023.00042

CryptOpt: Automatic optimization of straightline code

Joel Kuepper, David Wu, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom

Department of Data Science & AI

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

Abstract

Manual engineering of high-performance implemen-tations typically consumes many resources and requires in-depth knowledge of the hardware. Compilers try to address these problems; however, they are limited by design in what they can do. To address this, we present CryptOpt, an automatic optimizer for long stretches of straightline code. Experimental results across eight hardware platforms show that CryptOpt achieves a speed-up factor of up to 2.56 over current off-the-shelf compilers.

Original language	English
Title of host publication	Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering
Subtitle of host publication	Companion Proceedings, ICSE-Companion 2023
Editors	John Grundy
Place of Publication	Piscataway NJ USA
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	141-145
Number of pages	5
ISBN (Electronic)	9798350322637
ISBN (Print)	9798350322644
DOIs	https://doi.org/10.1109/ICSE-Companion58688.2023.00042
Publication status	Published - 2023
Event	International Conference on Software Engineering 2023 - Melbourne, Australia Duration: 15 May 2023 → 16 May 2023 Conference number: 45th https://ieeexplore.ieee.org/xpl/conhome/10172484/proceeding (Proceedings) https://conf.researchr.org/home/icse-2023 (Website)

Conference

Conference	International Conference on Software Engineering 2023
Abbreviated title	ICSE 2023
Country/Territory	Australia
City	Melbourne
Period	15/05/23 → 16/05/23
Internet address	https://ieeexplore.ieee.org/xpl/conhome/10172484/proceeding (Proceedings) https://conf.researchr.org/home/icse-2023 (Website)

Keywords

Automatic Performance Optimization
Elliptic Curve Cryptography
Local Search
Search Based Software Engineering

Access to Document

10.1109/ICSE-Companion58688.2023.00042

Cite this

Kuepper, J., Wu, D., Erbsen, A., Gross, J., Conoly, O., Sun, C., Tian, S., Chlipala, A., Chuengsatiansup, C., Genkin, D., Wagner, M., & Yarom, Y. (2023). CryptOpt: Automatic optimization of straightline code. In J. Grundy (Ed.), Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2023 (pp. 141-145). IEEE, Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ICSE-Companion58688.2023.00042

@inproceedings{458718f46dcf4476872e2ec04c68dc0d,

title = "CryptOpt: Automatic optimization of straightline code",

abstract = "Manual engineering of high-performance implemen-tations typically consumes many resources and requires in-depth knowledge of the hardware. Compilers try to address these problems; however, they are limited by design in what they can do. To address this, we present CryptOpt, an automatic optimizer for long stretches of straightline code. Experimental results across eight hardware platforms show that CryptOpt achieves a speed-up factor of up to 2.56 over current off-the-shelf compilers.",

keywords = "Automatic Performance Optimization, Elliptic Curve Cryptography, Local Search, Search Based Software Engineering",

author = "Joel Kuepper and David Wu and Andres Erbsen and Jason Gross and Owen Conoly and Chuyue Sun and Samuel Tian and Adam Chlipala and Chitchanok Chuengsatiansup and Daniel Genkin and Markus Wagner and Yuval Yarom",

note = "Funding Information: This research was supported by the Air Force Office of Scientific Research (AFOSR) under award number FA9550-20-1- 0425; the ARC DECRA DE200101577; the ARC Discovery Projects DP200102364 DP210102670; the Blavatnik ICRC at Tel-Aviv University; CSIRO s Data61; the National Science Foundation under grants CNS-1954712 and CNS-2130671; the National Science Foundation Expedition on the Science of Deep Specification award CCF-1521584; and gifts from Amazon Web Services, AMD, Cisco, Facebook, Google, Intel, and the Tezos Foundation. Publisher Copyright: {\textcopyright} 2023 IEEE.; International Conference on Software Engineering 2023, ICSE 2023 ; Conference date: 15-05-2023 Through 16-05-2023",

year = "2023",

doi = "10.1109/ICSE-Companion58688.2023.00042",

language = "English",

isbn = "9798350322644",

pages = "141--145",

editor = "John Grundy",

booktitle = "Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

address = "United States of America",

url = "https://ieeexplore.ieee.org/xpl/conhome/10172484/proceeding, https://conf.researchr.org/home/icse-2023",

}

Kuepper, J, Wu, D, Erbsen, A, Gross, J, Conoly, O, Sun, C, Tian, S, Chlipala, A, Chuengsatiansup, C, Genkin, D, Wagner, M & Yarom, Y 2023, CryptOpt: Automatic optimization of straightline code. in J Grundy (ed.), Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2023. IEEE, Institute of Electrical and Electronics Engineers, Piscataway NJ USA, pp. 141-145, International Conference on Software Engineering 2023, Melbourne, Victoria, Australia, 15/05/23. https://doi.org/10.1109/ICSE-Companion58688.2023.00042

CryptOpt: Automatic optimization of straightline code. / Kuepper, Joel; Wu, David; Erbsen, Andres et al.
Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2023. ed. / John Grundy. Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers, 2023. p. 141-145.

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - CryptOpt

T2 - International Conference on Software Engineering 2023

AU - Kuepper, Joel

AU - Wu, David

AU - Erbsen, Andres

AU - Gross, Jason

AU - Conoly, Owen

AU - Sun, Chuyue

AU - Tian, Samuel

AU - Chlipala, Adam

AU - Chuengsatiansup, Chitchanok

AU - Genkin, Daniel

AU - Wagner, Markus

AU - Yarom, Yuval

N1 - Conference code: 45th

PY - 2023

Y1 - 2023

N2 - Manual engineering of high-performance implemen-tations typically consumes many resources and requires in-depth knowledge of the hardware. Compilers try to address these problems; however, they are limited by design in what they can do. To address this, we present CryptOpt, an automatic optimizer for long stretches of straightline code. Experimental results across eight hardware platforms show that CryptOpt achieves a speed-up factor of up to 2.56 over current off-the-shelf compilers.

AB - Manual engineering of high-performance implemen-tations typically consumes many resources and requires in-depth knowledge of the hardware. Compilers try to address these problems; however, they are limited by design in what they can do. To address this, we present CryptOpt, an automatic optimizer for long stretches of straightline code. Experimental results across eight hardware platforms show that CryptOpt achieves a speed-up factor of up to 2.56 over current off-the-shelf compilers.

KW - Automatic Performance Optimization

KW - Elliptic Curve Cryptography

KW - Local Search

KW - Search Based Software Engineering

UR - http://www.scopus.com/inward/record.url?scp=85171848895&partnerID=8YFLogxK

U2 - 10.1109/ICSE-Companion58688.2023.00042

DO - 10.1109/ICSE-Companion58688.2023.00042

M3 - Conference Paper

AN - SCOPUS:85171848895

SN - 9798350322644

SP - 141

EP - 145

BT - Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering

A2 - Grundy, John

PB - IEEE, Institute of Electrical and Electronics Engineers

CY - Piscataway NJ USA

Y2 - 15 May 2023 through 16 May 2023

ER -

Kuepper J, Wu D, Erbsen A, Gross J, Conoly O, Sun C et al. CryptOpt: Automatic optimization of straightline code. In Grundy J, editor, Proceedings - 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings, ICSE-Companion 2023. Piscataway NJ USA: IEEE, Institute of Electrical and Electronics Engineers. 2023. p. 141-145 doi: 10.1109/ICSE-Companion58688.2023.00042

CryptOpt: Automatic optimization of straightline code

Abstract

Conference

Keywords

Access to Document

Other files and links

Cite this