Gold Award
CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives
Joel Kuepper; Andres Erbsen; Jason Gross; Owen Conoly; Chuyue Sun; Samuel Tian; David Wu; Adam Chlipala; Chitchanok Chuengsatiansun; Daniel Genkin; Markus Wagner; Yuval Yarom
Silver Award
A flexible symbolic regression method for constructing interpretable clinical prediction models
William La Cava; Paul C. Lee; Imran Ajmal; Xiruo Ding; Priyanka Solanki; Jordana B. Cohen; Jason Moore; Daniel Herman
Silver Award
Learning Emergency Medical Dispatch Policies via Genetic Programming
Jordan MacLachlan; Yi Mei; Fangfang Zhang; Mengjie Zhang; Jessica Signal
Bronze Award
Towards Improving Simulations of Flows around Spherical Particles Using Genetic Programming
Julia Reuter; Hani Elmestikawy; Sanaz Mostaghim; Berend van Wachem; Fabien Evrard; Manoj Cendrollu