Pancake: Verified Systems Programming Made Sweeter
Paper i proceeding, 2023
Författare
Johannes Åman Pohjola
University of New South Wales (UNSW)
Hira Taqdees Syeda
Amazon.com, Inc.
Chalmers, Data- och informationsteknik, Formella metoder
Miki Tanaka
University of New South Wales (UNSW)
Krishnan Winter
University of New South Wales (UNSW)
Tsun Wang Sau
University of New South Wales (UNSW)
Benjamin Nott
University of New South Wales (UNSW)
Tiana Tsang Ung
University of New South Wales (UNSW)
Craig McLaughlin
University of New South Wales (UNSW)
Remy Seassau
University of Oxford
University of New South Wales (UNSW)
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
M. Norrish
Australian National University
Gernot Heiser
University of New South Wales (UNSW)
PLOS 2023 - Proceedings of the 12th Workshop on Programming Languages and Operating Systems, Part of: SOSP 2023
1-9
9798400704048 (ISBN)
Koblenz, Germany,
Ämneskategorier
Data- och informationsvetenskap
Elektroteknik och elektronik
DOI
10.1145/3623759.3624544