Lattuada, Andrea

1. Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
   2023/03/09 by Lattuada, Andrea, Hance, Travis, Cho, Chanhee +6 · 25 citations
   #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
2. Megaphone: Latency-conscious state migration for distributed streaming dataflows
   2018/12/04 by Moritz Hoffmann, Andrea Lattuada, Hoffmann, Moritz +9 · 2 citations
   Computer Science · Decision Sciences · #Advanced Data Storage Technologies #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel #Scientific Computing and Data Management #and Cluster Computing (cs.DC)
3. Unlocking True Elasticity for the Cloud-Native Era with Dandelion
   2025/05/02 by Tom Kuchler, Pinghe Li, Kuchler, Tom +19 · 2 citations
   Computer Science · #Computational Physics and Python Applications