arXiv 2003-07-25 EN Efficient Instrumentation for Performance Profiling Metz, Edu · Lencevicius, Raimondas