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