Yadnesh Salvi

Story · Semantic Scholar

Extending concurrent separation logic to the hardware level to verify the xv6 OS kernel on RISC-V with AI agents (Semantic Scholar)

paper · Story page

Agents help verify xv6 at the RISC-V hardware level, finding nine bugs

Appeared in

Subscribe

Get the brief in your inbox

Pick daily, weekly, or both. Nothing is gated either way: every issue is on the site and in the feeds.

  • Weekdays at 8:45am IST, one lead story and 6 to 9 items.
  • Sundays, an argued synthesis rather than a recap.
  • One click to leave, and quiet days say so in the subject line.
How often

Weekdays 8:45am IST + Sundays. Unsubscribe in one click.

You're asking for The Agentic Brief by email at the cadence you picked. You can unsubscribe in one click from any issue, and your address is never sold or shared.

Subscribe by RSS →