David J. Pearce. Language Design Meets Verifying Compilers (Keynote). In Bernhard Scholz, Yukiyoshi Kameyama, editors, Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2022, Auckland, New Zealand, December 6-7, 2022. pages 1-4, ACM, 2022. [doi]
Abstract is missing.