Andrea Lattuada
4 papers · 2018–2024 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓
🌉
Interdisciplinary Bridge
🧭
Keyword Pioneer
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(6)
🐝
Cross-Pollinator
(11)
Conferences
OSDI (3)
NSDI (1)
Top co-authors
Keywords
formal verification
(3)
automated verification
(2)
cluster management
(1)
distributed system
(1)
correctness verification
(1)
state machine
(1)
key-value store
(1)
linear type
(1)
liveness property
(1)
transition system
(1)
distributed dataflow
(1)
performance analysis
(1)
streaming computation
(1)
concurrent programming
(1)
concurrent verification
(1)
ownership type
(1)
shared memory verification
(1)
dynamic frame
(1)
critical path analysis
(1)
real-time analysis
(1)
Papers
Anvil: Verifying Liveness of Cluster Management Controllers
OSDI 2024
Sharding the State Machine: Automated Modular Reasoning for Complex Concurrent Systems
OSDI 2023
Storage Systems are Distributed Systems (So Verify Them That Way!)
OSDI 2020
SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows
NSDI 2018