Miki Tanaka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2000–2025
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | PLOS | High-Fidelity Specification of Real-World Devices. | Liam Murphy, Albert Rizaldi, Lesley Rossouw, Chen George, James Treloar, Hammond Pearce, Miki Tanaka, Gernot Heiser |
| 2023 | PLOS | Pancake: Verified Systems Programming Made Sweeter. | Johannes man Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser |
| 2007 | ProvSec | Formal Proof of Provable Security by Game-Playing in a Proof Assistant. | Reynald Affeldt, Miki Tanaka, Nicolas Marti |
| 2005 | ICFP | A unified category-theoretic formulation of typed binding signatures. | Miki Tanaka, John Power |
| 2000 | MFCS | Abstract Syntax and Variable Binding for Linear Binders. | Miki Tanaka |