Optimizing LLVM Pass Sequences with Shackleton: A Linear Genetic Programming Framework

31 January 2022

Papers citing "Optimizing LLVM Pass Sequences with Shackleton: A Linear Genetic Programming Framework"

2 / 2 papers shown

Title
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives (full version) Joel Kuepper Andres Erbsen Jason Gross Owen Conoly Chuyue Sun ... A. Chlipala C. Chuengsatiansup Daniel Genkin Markus Wagner Y. Yarom 12 0 0 19 Nov 2022
Genetic Improvement in the Shackleton Framework for Optimizing LLVM Pass Sequences Shuyue Stella Li H. Peeler A. Sloss Kenneth N. Reid W. Banzhaf 20 5 0 28 Apr 2022