Pancake: Verified Systems Programming Made Sweeter.
Johannes Åman PohjolaHira Taqdees SyedaMiki TanakaKrishnan WinterTsun Wang SauBenjamin NottTiana J. Tsang UngCraig McLaughlinRemy SeassauMagnus O. MyreenMichael NorrishGernot HeiserPublished in: PLOS@SOSP (2023)