Junming Zhao
PhD Student
Research Interests
Junming is interested in memory management and formal methods. She is currently working on verifiying a Pancake ethernet driver using SMT solvers.
Contact Details
| Email: | junming.zhao@unsw.edu.au |
|---|
More contact information is available at the Contact page.
Projects
Current |
Qualifications
Bachelor of Advanced Computing (1st class honours), ANU, 2023
Bachelor of Mathematical Sciences, ANU, 2023
Publications
Trustworthy Systems Group Papers
2026
 
|
 |
Junming Zhao Mechanising local rely-guarantee reasoning over the seL4 trace monad Isabelle Workshop, July, 2026 |
|
|
|
Samuel Tyler, Alessandro Legnani, Junming Zhao, Zhewen Shen, Rihui Wu, Miki Tanaka and Gernot Heiser SMT-based deductive verification of device drivers using the Pancake-to-Viper transpiler Workshop on Programming Languages and Operating Systems (PLOS), 2026 |
2025
|
|
|
Junming Zhao, Alessandro Legnani, Tiana Tsang Ung, H. Truong, Tsun Wang Sau, Miki Tanaka, Johannes Åman Pohjola, Thomas Sewell, Rob Sison, Hira Syeda, Magnus Myreen, Michael Norrish and Gernot Heiser Verifying device drivers with Pancake arXiv preprint, January, 2025 |