Bochen Xu, Eliot Moss, Stephen M. Blackburn. Towards a Model Checking Framework for a New Collector Framework. In Elisa Gonzalez Boix, Tobias Wrigstad, editors, Proceedings of the 19th International Conference on Managed Programming Languages and Runtimes, MPLR 2022, Brussels, Belgium, September 14-15, 2022. pages 128-139, ACM, 2022. [doi]
Abstract is missing.