Software Verification in the Google App-Engine Cloud
No abstract available.
Related papers
- Local-first software: you own your data, in spite of the cloud Onward! 2019
- Interactively verifying absence of explicit information flows in Android apps OOPSLA 2015
- Programming in the Large for the Internet of Things (Invited Talk) ECOOP 2015
- ApkDiffer: Accurate and Scalable Cross-Version Diffing Analysis for Android Applications OOPSLA 2025
- Cloud-Based Verification of Concurrent Software VMCAI 2016
- ShamDroid: gracefully degrading functionality in the presence of limited resource access OOPSLA 2015
- Runtime metric meets developer: building better cloud applications using feedback Onward! 2015
- Look up!: your future is in the cloud PLDI 2013