This talk is a practice for the ISMM 2020 keynote. Any suggestions will be very welcome. In it, I will look at some of the reasons that building modern, high performance GCs is challenging, look at approaches that have been used to try to assure their correctness, and describe what we did to give confidence that our high-performance, fully concurrent, copying, Transitional Sapphire garbage collector is correct. I will argue that out approach is easily accessible for programmers and provides cost-effective way to develop GCs. Apologies to PLASers who have heard bits of this before.
Cornwallis South West,
University of Kent,