Concepedia

Andrea Lattuada

AL

5

Publications

159

Citations

5

H-Index

2018

Active since

Affiliations

ETH Zurich(Current)

Carnegie Mellon University

Microsoft (United States)

Andrea Lattuada is an author at ETH Zurich specializing in engineering, computer science, and parallel programming.

Top concepts

EngineeringComputer ScienceCloud ComputingData ManagementCluster ComputingParallel ComputingParallel ProgrammingComputer ArchitectureBig DataManagement

Publications per year

2018–2024

5

Publications

5

Verus: Verifying Rust Programs using Linear Ghost Types

Andrea Lattuada, Travis Hance, Chanhee Cho et al. · Proceedings of the ACM on Programming Languages · 2023 · 67 citations · Full text

Program Checking, Engineering, Verification +19

Moritz Hoffmann, Andrea Lattuada, Frank McSherry · Proceedings of the VLDB Endowment · 2019 · 46 citations · Full text

Cluster Computing, Implement Megaphone, Workflow Execution +15

Verus: A Practical Foundation for Systems Verification

Andrea Lattuada, Travis Hance, Jay Bosamiya et al. · 2024 · 18 citations · Full text

SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows

Moritz Hoffmann, Andrea Lattuada, John Liagouris et al. · Repository for Publications and Research Data (ETH Zurich) · 2018 · 14 citations · Full text

Shared arrangements

Frank McSherry, Andrea Lattuada, Malte Schwarzkopf et al. · Proceedings of the VLDB Endowment · 2020 · 14 citations

Cluster Computing, Engineering, Computer Architecture +17

Rows per page

1–5 of 5