Genetic Programming Bibliography entries for Chitchanok Chuengsatiansup
up to index
Created by W.Langdon from
gp-bibliography.bib Revision:1.8051
GP coauthors/coeditors:
Markus Wagner,
Yuval Yarom,
Joel Kuepper,
Andres Erbsen,
Jason Gross,
Owen Conoly,
Chuyue (Livia) Sun,
Samuel Tian,
David Wu,
Adam Chlipala,
Daniel Genkin,
Genetic Programming conference papers by Chitchanok Chuengsatiansup
-
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
-
Chitchanok Chuengsatiansup and Markus Wagner and Yuval Yarom.
Opportunities for Genetic Improvement of Cryptographic Code. In
Bobby R. Bruce and Vesna Nowack and Aymeric Blot and Emily Winter and W. B. Langdon and Justyna Petke editors,
GI @ GECCO 2022, pages 1928-1929, Boston, USA, 2022. Association for Computing Machinery.
details