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 6/8/2026

Evidence 4 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

4 connections

Anoop Nataraja ← part of 100% 1e

Anoop Nataraja is affiliated with University of Washington.

Michael Bedford Taylor ← part of 100% 1e

Michael Bedford Taylor is affiliated with University of Washington.

ProcessorFuzz: Processor Fuzzing with Control and Status Registers Guidance ← authored by 100% 1e

Some authors are affiliated with University of Washington.

ProcessorFuzz paper ← authored by 100% 1e

The ProcessorFuzz paper is affiliated with University of Washington.

LINKED ENTITIES

1 links

Boston University collaborates_with_on_blackparrot The evidence states that BlackParrot is joint work of the University of Washington and Boston University.

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 ...