Full verification of compiler optimizations requires roughly an order of magnitude more development effort than credible compilation when implemented by a coding agent.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
verdicts
UNVERDICTED 2roles
background 1polarities
unclear 1representative citing papers
BEC is a bit-level static analysis implemented in LLVM that classifies register bit corruptions to prune up to 30% of fault-injection campaigns and reduce program vulnerability by up to 13% via bit-aware instruction scheduling on RISC-V.
citing papers explorer
-
Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
Full verification of compiler optimizations requires roughly an order of magnitude more development effort than credible compilation when implemented by a coding agent.
-
BEC: Bit-Level Static Analysis for Reliability against Soft Errors
BEC is a bit-level static analysis implemented in LLVM that classifies register bit corruptions to prune up to 30% of fault-injection campaigns and reduce program vulnerability by up to 13% via bit-aware instruction scheduling on RISC-V.