Login / Signup
Benjamin Nott
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Programming Language
Case Study
Multiscale
Development Environment
Top Venues
PLOS@SOSP
</>
Publications
</>
Johannes Åman Pohjola
,
Hira Taqdees Syeda
,
Miki Tanaka
,
Krishnan Winter
,
Tsun Wang Sau
,
Benjamin Nott
,
Tiana J. Tsang Ung
,
Craig McLaughlin
,
Remy Seassau
,
Magnus O. Myreen
,
Michael Norrish
,
Gernot Heiser
Pancake: Verified Systems Programming Made Sweeter.
PLOS@SOSP
(2023)