Loading...
 

Humies Awards


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