Liam Murphy
Research Assistant
Research Interests
Liam is working on formalising device controllers and verifying their drivers against that interface.
Contact Details
| Email: | liam.p.murphy@student.unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |
Publications
Trustworthy Systems Group Papers
2025
 
|
 |
Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka and Gernot Heiser High-fidelity specification of real-world devices Workshop on Programming Languages and Operating Systems (PLOS), October, 2025 |