Daniel Matichuk

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 5

Top Venues

ITP

CoRR

ICSE (1)

CICM

University of New South Wales, Sydney, Australia (PHD)

Education History

University of New South Wales, Sydney, Australia

PHD

Publications

Ryan G. Scott, Brett Boston, Benjamin Davis, Iavor S. Diatchki, Mike Dodds, Joe Hendrix, Daniel Matichuk, Kevin Quick, Tristan Ravitch, Valentin Robert, Benjamin Selfridge, Andrei Stefanescu, Daniel Wagner, Simon Winwood
Macaw: A Machine Code Toolbox for the Busy Binary Analyst. CoRR (2024)
K. Rustan M. Leino, Daniel Matichuk
Modular Verification Scopes via Export Sets and Translucent Exports. Principled Software Development (2018)
Daniel Matichuk, Toby C. Murray, Makarius Wenzel
Eisbach: A Proof Method Language for Isabelle. J. Autom. Reason. 56 (3) (2016)
June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah
Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency. ITP (2016)
Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell
Finite Machine Word Library. Arch. Formal Proofs 2016 (2016)
Jasmin Christian Blanchette, Max W. Haslbeck, Daniel Matichuk, Tobias Nipkow
Mining the Archive of Formal Proofs. CICM (2015)
Daniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification. ICSE (1) (2015)
Daniel Matichuk, Makarius Wenzel, Toby C. Murray
An Isabelle Proof Method Language. ITP (2014)
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein
seL4: From General Purpose to a Proof of Information Flow Enforcement. IEEE Symposium on Security and Privacy (2013)
Daniel Matichuk, Toby C. Murray
Extensible Specifications for Automatic Re-use of Specifications and Proofs. SEFM (2012)
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein
Noninterference for Operating System Kernels. CPP (2012)
Daniel Matichuk
Automatic Function Annotations for Hoare Logic SSV (2012)

Daniel Matichuk.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Matichuk