John Bender. Correct Compilation of Concurrent C Code. In Mayur Naik, Fernando Magno Quintão Pereira, Ben L. Titzer, editors, Proceedings of the Workshop Dedicated to Jens Palsberg on the Occasion of His 60th Birthday, JENSFEST 2024, Pasadena, CA, USA, 22 October 2024. pages 39-42, ACM, 2024. [doi]
Abstract is missing.