4 citations · 7 across the 5 of their papers we have counts for
6 papers
Tunable Automation in Automated Program Verification
Alexander Y. Bai, Chris Hawblitzel, Andrea Lattuada
Automated verification tools based on SMT solvers have made significant progress in verifying complex software systems. However, these tools face a fundamental tension between auto…
Unlocking True Elasticity for the Cloud-Native Era with Dandelion
Tom Kuchler, Pinghe Li, Yazhuo Zhang +8
Elasticity is fundamental to cloud computing, as it enables quickly allocating resources to match the demand of each workload as it arrives, rather than pre-provisioning resources…
Verus: Verifying Rust Programs using Linear Ghost Types (extended version)
Andrea Lattuada, Travis Hance, Chanhee Cho +6
The Rust programming language provides a powerful type system that checks linearity and borrowing, allowing code to safely manipulate memory without garbage collection and making R…
Timestamp tokens: a better coordination primitive for data-processing systems
Andrea Lattuada, Frank McSherry
Distributed data processing systems have advanced through models that expose more and more opportunities for concurrency within a computation. The scheduling of these increasingly…
Shared Arrangements: practical inter-query sharing for streaming dataflows
Frank McSherry, Andrea Lattuada, Malte Schwarzkopf +1
Current systems for data-parallel, incremental processing and view maintenance over high-rate streams isolate the execution of independent queries. This creates unwanted redundancy…
Megaphone: Latency-conscious state migration for distributed streaming dataflows
Moritz Hoffmann, Andrea Lattuada, Frank McSherry +3
We design and implement Megaphone, a data migration mechanism for stateful distributed dataflow engines with latency objectives. When compared to existing migration mechanisms, Meg…