Andrea Lattuada
4 papers
· 2018–2024
· 2 conferences
· across top CS/AI conferences
Achievements
🌉
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)