BluesFL uses block-level instruction-oriented slicing with LLMs to localize 24 bugs at Top-1 in a 19K-line RISC-V processor, a 242.9% gain over prior SOTA of 7 bugs.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 3verdicts
UNVERDICTED 3roles
background 1polarities
background 1representative citing papers
Janus integrates ARM PA and BTI primitives into a compiler with modifier fusion and carrier reuse to defend against transient execution attacks, reporting 3.85% average overhead on SPEC CPU2017.
ATLAS uses large language models to automatically generate formal security properties from threat models and vulnerability databases, detecting 39 of 48 CWEs and producing correct assertions for 33 on three HACK@DAC benchmarks.
citing papers explorer
-
Debug Like a Human: Scaling LLM-based Fault Localization to Processor Design via Block-Level Instruction-Oriented Slicing
BluesFL uses block-level instruction-oriented slicing with LLMs to localize 24 bugs at Top-1 in a 19K-line RISC-V processor, a 242.9% gain over prior SOTA of 7 bugs.
-
Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives
Janus integrates ARM PA and BTI primitives into a compiler with modifier fusion and carrier reuse to defend against transient execution attacks, reporting 3.85% average overhead on SPEC CPU2017.
-
ATLAS: AI-Assisted Threat-to-Assertion Learning for System-on-Chip Security Verification
ATLAS uses large language models to automatically generate formal security properties from threat models and vulnerability databases, detecting 39 of 48 CWEs and producing correct assertions for 33 on three HACK@DAC benchmarks.