Concepedia

Matthew Naylor

MN

Statistics

Publications

9

Citations

348

H-Index

9

Active since

2007

Affiliations

University of York(Current)

University of Cambridge

Chalmers University of Technology

University of Gothenburg

Matthew Naylor is an author at University of York specializing in engineering, computer engineering, and computer science.

Top concepts

EngineeringComputer ScienceComputer EngineeringProgram AnalysisComputer ArchitectureFormal MethodsHardware SecurityFormal VerificationSoftware TestingSoftware Analysis

Publications per year

2007–2020

9

Publications

9

Smallcheck and lazy smallcheck

Colin Runciman, Matthew Naylor, Fredrik Lindblad · 2008 · 186 citations

Engineering, Verification, Haskell Libraries +18

Rigorous engineering for hardware security: Formal modelling and proof in the CHERI design and implementation process

Kyndylan Nienhuis, Alexandre Joannou, Anthony Fox et al. · 2020 · 30 citations · Full text

Hardware Trojan, Engineering, Hardware Verification Language +27

Managing the FPGA memory wall: Custom computing or vector processing?

Matthew Naylor, Paul J. Fox, A. Theodore Markettos et al. · 2013 · 28 citations

Engineering, Computer Architecture, Vector Machines +17

Smallcheck and lazy smallcheck

Colin Runciman, Matthew Naylor, Fredrik Lindblad · ACM SIGPLAN Notices · 2008 · 28 citations

Engineering, Verification, Haskell Libraries +18

Tinsel: A Manythread Overlay for FPGA Clusters

Matthew Naylor, Simon W. Moore, David B. Thomas · 2019 · 21 citations · Full text

Cluster Computing, Engineering, Fpga Clusters +14

1–5 of 9