Rob Johnson

2 papers · 2011–2020 · 2 conferences · across top CS/AI conferences

Achievements

🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🐝 Cross-Pollinator (11) 🌉 Interdisciplinary Bridge

Conferences

ACL (1) OSDI (1)

Top co-authors

Yejin Choi (1) Sandesh Singh (1) Jon Howell (1) Travis Hance (1) Manoj Harpalani (1) Andrea Lattuada (1) Bryan Parno (1) Michael Hart (1) Chris Hawblitzel (1)

Keywords

formal verification (1) distributed system (1) key-value store (1) automated verification (1) linear type (1) dynamic frame (1)

Papers

Storage Systems are Distributed Systems (So Verify Them That Way!) OSDI 2020

Language of Vandalism: Improving Wikipedia Vandalism Detection via Stylometric Analysis ACL 2011