Michael Walfish

5 papers · 2013–2026 · 2 venues · across top CS/AI venues

Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.

Achievements

Jump to papers ↓

🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze

Venues

NSDI (3) OSDI (2)

Top co-authors

Trinabh Gupta (2) Zachary DeStefano (2) Julius Zhang (1) Arasu Arun (1) Changgeng Zhao (1) Paul Grubbs (1) Collin Zhang (1) Sam Frank (1) Joseph Bonneau (1) New York University (1)

Research topics

Computer Science (2) Foundations (2) Systems (2) Machine Learning (1) Mathematics & Optimization (1) Application Areas (1) Mathematics (1)

Keywords

formal verification (1) network privacy (1) policy enforcement (1) zero-knowledge proof (1) smt solving (1) regular expression (1) numerical computation (1) verifiable computation (1) data loss prevention (1) transactional key-value store (1) serializability verification (1) black-box checking (1) succinct proof (1) constraint system (1) proof protocol (1) approximate satisfiability (1)

Papers

Spain: Succinct Proofs for Numerical Computations OSDI 2026 Zombie: Middleboxes that Don’t Snoop NSDI 2024 Cobra: Making Transactional Key-Value Stores Verifiably Serializable OSDI 2020 Scalable and Private Media Consumption with Popcorn NSDI 2016 Improving Availability in Distributed Systems with Failure Informers NSDI 2013