Cloud-Based Verification of Concurrent Software
Abstract elided by the publisher.
Related papers
- Software Verification in the Google App-Engine Cloud CAV 2014
- Programming the cloud PPoPP 2011
- Towards Haskell in the cloud Haskell 2011
- Local-first software: you own your data, in spite of the cloud Onward! 2019
- Runtime metric meets developer: building better cloud applications using feedback Onward! 2015
- Log++ logging for a cloud-native world DLS 2018
- Cloud Programming Languages and Infrastructure from Code: An Empirical Study SLE 2024
- SGDRC: Software-Defined Dynamic Resource Control for Concurrent DNN Inference on NVIDIA GPUs PPoPP 2025