Trustworthy Systems

Krishnan Winter
OS Engineer

Research Interests

Krishnan is working on exercising the Pancake language for real device drivers

Contact Details

Email:k.winter@student.unsw.edu.au

More contact information is available at the Contact page.

Photo of Krishnan Winter

Publication List

Projects

Current

Publications

Trustworthy Systems Group Papers

2023

plain text to be published Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Gordon Sau, Ben Nott, Tiana Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus Myreen, Michael Norrish and Gernot Heiser
Pancake: verified systems programming made sweeter
Workshop on Programming Languages and Operating Systems (PLOS), Koblenz, DE, October, 2023