The ART platform extension of the Android operating system