Uncertainty propagation in data processing systems

Towards usable checksums: automating the integrity verification of web downloads for the masses

RobinHood: tail latency aware caching – dynamic reallocation

REPT: reverse debugging of failures in deployed software

LegoOS: a disseminated, distributed OS for hardware resource disaggregation

Orca: differential bug localization in large-scale services

ServiceFabric: a distributed platform for building microservices in the cloud

Customized regression model for Airbnb dynamic pricing

Columnstore and B+ tree – are hybrid physical designs important?

NAVEX: Precise and scalable exploit generation for dynamic web applications