SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Tue 17 Nov 2020 11:40 - 12:00 at SPLASH-I - T-3 Chair(s): Burcu Kulahcioglu Ozkan, Olivier Tardieu
Tue 17 Nov 2020 23:40 - 00:00 at SPLASH-I - T-3 Chair(s): Chengyu Zhang, Ting Cao

Mobile operating systems, especially Android, expose apps to a volatile runtime environment. The app state that reflects past user interaction and system environment updates (e.g., battery status changes) can be destroyed implicitly, in response to runtime configuration changes (e.g., screen rotations) or memory pressure. Developers are therefore responsible for identifying app state affected by volatility and preserving it across app lifecycles. When handled inappropriately, the app may lose state or end up in an inconsistent state after a runtime configuration change or when users return to the app.

To free developers from this tedious and error-prone task, we propose a systematic solution, LiveDroid, which precisely identifies the {\em necessary} part of the app state that needs to be preserved across app lifecycles, and automatically saves and restores it. LiveDroid consists of: (i) a static analyzer that reasons about app source code and resource files to pinpoint the program variables and GUI properties that represent the necessary app state, and (ii) a runtime system that manages the state saving and recovering. We implemented LiveDroid as a plugin in Android Studio and a patching tool for APKs. Our evaluation shows that LiveDroid can be successfully applied to 966 Android apps. A focused study with 36 Android apps shows that LiveDroid identifies app state much more precisely than an existing solution that includes all mutable program variables but ignores GUI properties. As a result, on average, LiveDroid is able to reduce the costs of state saving and restoring by 16.6X (1.7X - 141.1X) and 9.5X (1.1X - 43.8X), respectively. Furthermore, compared with the manual state handling performed by developers, our analysis reveals a set of 46 issues due to incomplete state saving/restoring, all of which can be successfully eliminated by LiveDroid.

Conference Day
Tue 17 Nov

Displayed time zone: Central Time (US & Canada) change

11:00 - 12:20
T-3OOPSLA at SPLASH-I +12h
Chair(s): Burcu Kulahcioglu OzkanMPI-SWS, Olivier TardieuIBM Research
11:00
20m
Talk
Koord: A Language for Programming and Verifying Distributed Robotics Application
OOPSLA
Ritwika GhoshUniversity of Illinois at Urbana-Champaign, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sayan MitraUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
11:20
20m
Talk
Learning-Based Controlled Concurrency Testing
OOPSLA
Suvam MukherjeeMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIISc Bangalore, Akash LalMicrosoft Research
Link to publication DOI Pre-print Media Attached
11:40
20m
Talk
LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
OOPSLA
Umar FarooqUniversity of California at Riverside, Zhijia ZhaoUniversity of California at Riverside, Manu SridharanUniversity of California at Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Link to publication DOI Pre-print Media Attached
12:00
20m
Talk
Shiftry: RNN Inference in 2KB of RAM
OOPSLA
Aayan KumarMicrosoft Research, Vivek SeshadriMicrosoft Research, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached
23:00 - 00:20
T-3OOPSLA at SPLASH-I
Chair(s): Chengyu ZhangEast China Normal University, Ting CaoMicrosoft Research
23:00
20m
Talk
Koord: A Language for Programming and Verifying Distributed Robotics Application
OOPSLA
Ritwika GhoshUniversity of Illinois at Urbana-Champaign, Chiao HsiehUniversity of Illinois at Urbana-Champaign, Sasa MisailovicUniversity of Illinois at Urbana-Champaign, Sayan MitraUniversity of Illinois at Urbana-Champaign
Link to publication DOI Pre-print Media Attached
23:20
20m
Talk
Learning-Based Controlled Concurrency Testing
OOPSLA
Suvam MukherjeeMicrosoft Research, Pantazis DeligiannisMicrosoft Research, Arpita BiswasIISc Bangalore, Akash LalMicrosoft Research
Link to publication DOI Pre-print Media Attached
23:40
20m
Talk
LiveDroid: Identifying and Preserving Mobile App State in Volatile Runtime Environments
OOPSLA
Umar FarooqUniversity of California at Riverside, Zhijia ZhaoUniversity of California at Riverside, Manu SridharanUniversity of California at Riverside, Iulian NeamtiuNew Jersey Institute of Technology
Link to publication DOI Pre-print Media Attached
00:00
20m
Talk
Shiftry: RNN Inference in 2KB of RAM
OOPSLA
Aayan KumarMicrosoft Research, Vivek SeshadriMicrosoft Research, Rahul SharmaMicrosoft Research
Link to publication DOI Media Attached