Pandian Raju

1 papers · 2018–2018 · 1 conference · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🌉 Interdisciplinary Bridge 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (13)

Conferences

OSDI (1)

Top co-authors

Vijay Chidambaram (1) Jayashree Mohan (1) Ashlie Martinez (1) Soujanya Ponnapalli (1)

Keywords

formal verification (1) bug detection (1) crash recovery (1) crash consistency (1) black-box testing (1) file system testing (1) crash simulation (1) bounded testing (1) file system (1)

Papers

Finding Crash-Consistency Bugs with Bounded Black-Box Crash Testing OSDI 2018