Scheduled Maintenance Notice

Please note that Researcher Profiles will be undergoing scheduled maintenance on Wednesday 7th Oct, from 8:00am to 9:00am. During this time, the Researcher Profiles system will be unavailable. We apologise for any inconvenience and appreciate your understanding.

Select Publications

By Dr Miki Tanaka

Conference Papers

Tyler S; Legnani A; Zhao J; Shen Z; Wu R; Tanaka M; Heiser G, 2026, 'SMT-based Deductive Verification of Device Drivers using the Pancake-to-Viper Transpiler', Association for Computing Machinery (ACM), pp. 103 - 111, presented at Proceedings of the 14th Workshop on Programming Languages and Operating Systems, http://dx.doi.org/10.1145/3831586.3838153

Murphy L; Rizaldi A; Rossouw L; George C; Treloar J; Pearce H; Tanaka M; Heiser G, 2025, 'High-Fidelity Specification of Real-World Devices', in Plos 2025 Proceedings of the 13th Workshop on Programming Languages and Operating Systems, pp. 60 - 67, http://dx.doi.org/10.1145/3764860.3768335

Pohjola JÅ; Syeda HT; Tanaka M; Winter K; Sau TW; Nott B; Ung TT; McLaughlin C; Seassau R; Myreen MO; Norrish M; Heiser G, 2023, 'Pancake: Verified Systems Programming Made Sweeter', in Plos 2023 Proceedings of the 12th Workshop on Programming Languages and Operating Systems Part of Sosp 2023, pp. 1 - 9, http://dx.doi.org/10.1145/3623759.3624544

Pohjola JÅ; Syeda HT; Tanaka M; Winter K; Sau TW; Nott B; Ung TJT; McLaughlin C; Seassau R; Myreen MO; Norrish M; Heiser G, 2023, 'Pancake: Verified Systems Programming Made Sweeter.', in PLOS@SOSP, ACM, pp. 1 - 9, https://doi.org/10.1145/3623759


Back to profile page

ORCID as entered in ROS

orcid_icon https://orcid.org/0009-0003-0739-1876

UNSW Sydney NSW 2052 Australia Telephone +61 2 93851000
Authorised by Deputy Vice-Chancellor (Research)
UNSW CRICOS Provider Code: 00098G ABN: 57 195 873 179

Join the conversation