[choose] Portable and Efficient Profiling for the JVM Using Bytecode Instrumentation