Genetic Programming Bibliography entries for Joel Kuepper

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.8290

GP coauthors/coeditors: Andres Erbsen, Jason Gross, Owen Conoly, Chuyue (Livia) Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom,

Genetic Programming PhD doctoral thesis Joel Kuepper

• Joel Kuepper. Enhancing State-of-the-Art Techniques Generating Low-Level Code for Cryptographic Arithmetic. PhD thesis, School of Computer and Mathematical Sciences, Faculty of Sciences, Engineering, and Technology, The University of Adelaide, Australia, 2024. details

Genetic Programming conference papers by Joel Kuepper

• Joel Kuepper and Andres Erbsen and Jason Gross and Owen Conoly and Chuyue Sun and Samuel Tian and David Wu and Adam Chlipala and Chitchanok Chuengsatiansup and Daniel Genkin and Markus Wagner and Yuval Yarom. CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives. In Nate Foster editor, 44th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2023, page article no. 158, Orlando, Florida, 2023. Association for Computing Machinery. Gold winner 2023 HUMIES, PLDI Distinguished Paper. details