Daniel Matichuk

According to our database, Daniel Matichuk authored at least 12 papers between 2012 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Automation for Proof Engineering: Machine-Checked Proofs At Scale.

Daniel Matichuk

PhD thesis, 2018

Modular Verification Scopes via Export Sets and Translucent Exports.

K. Rustan M. Leino, Daniel Matichuk

Proceedings of the Principled Software Development, 2018

2016

Eisbach: A Proof Method Language for Isabelle.

Daniel Matichuk, Toby C. Murray, Makarius Wenzel

J. Autom. Reason., 2016

Finite Machine Word Library.

Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk, Thomas Sewell

Arch. Formal Proofs, 2016

Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency.

June Andronick, Corey Lewis, Daniel Matichuk, Carroll Morgan, Christine Rizkallah

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

Mining the Archive of Formal Proofs.

Jasmin Christian Blanchette, Max W. Haslbeck, Daniel Matichuk, Tobias Nipkow

Proceedings of the Intelligent Computer Mathematics - International Conference, 2015

Empirical Study Towards a Leading Indicator for Cost of Formal Software Verification.

Daniel Matichuk, Toby C. Murray, June Andronick, D. Ross Jeffery, Gerwin Klein, Mark Staples

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

An Isabelle Proof Method Language.

Daniel Matichuk, Makarius Wenzel, Toby C. Murray

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

2013

seL4: From General Purpose to a Proof of Information Flow Enforcement.

Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Timothy Bourke, Sean Seefried, Corey Lewis, Xin Gao, Gerwin Klein

Proceedings of the 2013 IEEE Symposium on Security and Privacy, 2013

2012

Automatic Function Annotations for Hoare Logic

Daniel Matichuk

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Extensible Specifications for Automatic Re-use of Specifications and Proofs.

Daniel Matichuk, Toby C. Murray

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

Noninterference for Operating System Kernels.

Toby C. Murray, Daniel Matichuk, Matthew Brassil, Peter Gammie, Gerwin Klein

Proceedings of the Certified Programs and Proofs - Second International Conference, 2012