After #13 has been solved, we should provide a CUPTI metrics plugin.
After #13 has been solved, we should provide a CUPTI metrics plugin.