Sat 28 Aug 2021 05:20 - 05:30 - Architectures & Design—Cloud Computing 2 Chair(s): Yu Kang
We present RAPID, an industrial-strength analysis developed at AWS that aims to help developers by providing automatic, fast and actionable feedback about correct usage of cloud-service APIs. RAPID’s design is based on the insight that cloud service APIs are structured around short-lived request- and response-objects whose usage patterns can be specified as value-dependent type-state automata and be verified by combining local type-state with global value-flow analyses. We describe various challenges that arose to deploy RAPID at scale. Finally, we present an evaluation that validates our design choices, deployment heuristics, and shows that RAPID is able to quickly and precisely report a wide variety of useful API misuse violations in large, industrial-strength code bases.
Fri 27 AugDisplayed time zone: Athens change
17:00 - 18:00 | Architectures & Design—Cloud Computing 2Industry Papers / Research Papers +12h Chair(s): Luciano Baresi Politecnico di Milano, Yu Kang Microsoft Research, Beijing, China | ||
17:00 10mPaper | Onion: Identifying Incident-Indicating Logs for Cloud Systems Industry Papers Xu Zhang Microsoft Research, Yong Xu Microsoft Research, Si Qin Microsoft Research, Shilin He Microsoft Research, Bo Qiao Microsoft Research, Ze Li Microsoft Azure, Hongyu Zhang University of Newcastle, Xukun Li Microsoft Azure, Yingnong Dang Microsoft Azure, Qingwei Lin Microsoft Research, Murali Chintalapati Microsoft Azure, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research DOI | ||
17:10 10mPaper | Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices Industry Papers Anup K. Kalia IBM Research, Jin Xiao IBM Research, Rahul Krishna IBM Research, Saurabh Sinha IBM Research, Maja Vukovic IBM Research, Debasish Banerjee IBM DOI | ||
17:20 10mPaper | RAPID: Checking API Usage for the Cloud in the Cloud Industry Papers Michael Emmi Amazon Web Services, Liana Hadarean Amazon Web Services, Ranjit Jhala University of California at San Diego; Amazon Web Services, Lee Pike Amazon Web Services, Nico Rosner Amazon Web Services, Martin Schäf Amazon Web Services, Aritra Sengupta Amazon Web Services, Willem Visser Amazon Web Services DOI | ||
17:30 30mLive Q&A | Q&A (Architectures & Design—Cloud Computing 2) Research Papers |
Sat 28 AugDisplayed time zone: Athens change
05:00 - 06:00 | Architectures & Design—Cloud Computing 2Research Papers / Industry Papers Chair(s): Yu Kang Microsoft Research, Beijing, China | ||
05:00 10mPaper | Onion: Identifying Incident-Indicating Logs for Cloud Systems Industry Papers Xu Zhang Microsoft Research, Yong Xu Microsoft Research, Si Qin Microsoft Research, Shilin He Microsoft Research, Bo Qiao Microsoft Research, Ze Li Microsoft Azure, Hongyu Zhang University of Newcastle, Xukun Li Microsoft Azure, Yingnong Dang Microsoft Azure, Qingwei Lin Microsoft Research, Murali Chintalapati Microsoft Azure, Saravanakumar Rajmohan Microsoft 365, Dongmei Zhang Microsoft Research DOI | ||
05:10 10mPaper | Mono2Micro: A Practical and Effective Tool for Decomposing Monolithic Java Applications to Microservices Industry Papers Anup K. Kalia IBM Research, Jin Xiao IBM Research, Rahul Krishna IBM Research, Saurabh Sinha IBM Research, Maja Vukovic IBM Research, Debasish Banerjee IBM DOI | ||
05:20 10mPaper | RAPID: Checking API Usage for the Cloud in the Cloud Industry Papers Michael Emmi Amazon Web Services, Liana Hadarean Amazon Web Services, Ranjit Jhala University of California at San Diego; Amazon Web Services, Lee Pike Amazon Web Services, Nico Rosner Amazon Web Services, Martin Schäf Amazon Web Services, Aritra Sengupta Amazon Web Services, Willem Visser Amazon Web Services DOI | ||
05:30 30mLive Q&A | Q&A (Architectures & Design—Cloud Computing 2) Research Papers |