Diogo Behrens

2 papers · 2015–2023 · 2 conferences · across top CS/AI conferences

Achievements

🌍 Conference Polyglot (2) 🏃 Academic Marathon (8) 🧭 Keyword Pioneer 🐝 Cross-Pollinator (14)

Conferences

NSDI (1) OSDI (1)

Top co-authors

Jonathan Schwender (1) Christof Fetzer (1) Haibo Chen (1) Marco Serafini (1) Flavio P. Junqueira (1) Jitang Lei (1) Viktor Vafeiadis (1) Jiawei Wang (1) Hermann Härtig (1) Ming Fu (1)

Keywords

formal verification (1) parallel processing (1) work stealing (1) multicore processing (1) queue scheduling (1)

Papers

BWoS: Formally Verified Block-based Work Stealing for Parallel Processing OSDI 2023

Scalable Error Isolation for Distributed Systems NSDI 2015