Skip to content
STIMSMITH

University of Washington

Organization

The provided evidence identifies the University of Washington in processor-research contexts: Department of ECE affiliation for Anoop Nataraja and Michael Bedford Taylor on the ProcessorFuzz paper, and as one of the institutions behind BlackParrot, described as joint work with Boston University.

First seen 5/28/2026
Last seen 7/11/2026
Evidence 10 chunks
Wiki v2

WIKI

Overview

The provided evidence identifies the University of Washington through computer-architecture and processor-verification research. In the paper ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance, Anoop Nataraja and Michael Bedford Taylor are listed under affiliation Department of ECE, University of Washington. A separate processor-verification paper describes BlackParrot as joint work of the University of Washington and Boston University.

ProcessorFuzz connection

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

8 connections
Michael Taylor ← part of 97% 3e
Michael Taylor is a professor at the University of Washington and thesis committee chair
Mark Oskin ← part of 95% 2e
Mark Oskin is a professor on the reading committee at UW
ProcessorFuzz paper is affiliated with University of Washington.
ProcessorFuzz paper ← authored by 100% 1e
The ProcessorFuzz paper is affiliated with University of Washington.
Anoop Nataraja ← part of 100% 1e
Anoop Nataraja is affiliated with University of Washington.
ZP Cosim ← published by 97% 1e
ZP Cosim was presented as a thesis at the University of Washington
Michael Bedford Taylor ← part of 100% 1e
Michael Bedford Taylor is affiliated with University of Washington.
The authors are identified as researchers from the University of Washington.

CITATIONS

5 sources
5 citations — click to expand
[1] ProcessorFuzz lists Anoop Nataraja and Michael Bedford Taylor with affiliation 'Department of ECE, University of Washington.' ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance
[2] ProcessorFuzz uses a CSR-transition coverage metric that monitors Control and Status Register transitions to guide exploration of processor states. ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance
[3] ProcessorFuzz was evaluated on Rocket, BOOM, and BlackParrot; it triggered ground-truth bugs 1.23× faster on average than DIFUZZRTL and exposed nine confirmed new bugs. ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance
[4] BlackParrot is described as joint work of the University of Washington and Boston University. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[5] BlackParrot is described as a SystemVerilog, single-issue, in-order 64-bit RISC-V core capable of booting Linux, with a four-core configuration taped out in 12 nm technology. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...