Daniel Matichuk

13 papers A* 1B 4C 1Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
Macaw: A Machine Code Toolbox for the Busy Binary Analyst.
CoRR
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
2018 — —
Automation for Proof Engineering: Machine-Checked Proofs At Scale.
Daniel Matichuk
2018 — conf
Modular Verification Scopes via Export Sets and Translucent Exports.
Principled Software Development
K. Rustan M. Leino, Daniel Matichuk
2016 J jnl
Eisbach: A Proof Method Language for Isabelle.
J. Autom. Reason.
Daniel Matichuk, Toby C. Murray, Makarius Wenzel
2016 J jnl
Finite Machine Word Library.
Arch. Formal Proofs
Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell
2016 B conf
Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency.
ITP
June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah
2015 — conf
Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification.
ICSE (1)
Daniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples
2015 C conf
Mining the Archive of Formal Proofs.
CICM
Jasmin Christian Blanchette, Max W. Haslbeck, Daniel Matichuk, Tobias Nipkow
2014 B conf
An Isabelle Proof Method Language.
ITP
Daniel Matichuk, Makarius Wenzel, Toby C. Murray
2013 A* conf
seL4: From General Purpose to a Proof of Information Flow Enforcement.
IEEE Symposium on Security and Privacy
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein
2012 — conf
Automatic Function Annotations for Hoare Logic
SSV
Daniel Matichuk
2012 B conf
Extensible Specifications for Automatic Re-use of Specifications and Proofs.
SEFM
Daniel Matichuk, Toby C. Murray
2012 B conf
Noninterference for Operating System Kernels.
CPP
Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein