Propagating C++ Exceptions across the User/Kernel Boundary. - Dmitry Voronetskiy; Tom Spink (PLOS@SOSP, 2025)