Aggregating concurrent trace results

[streamich]

The sequential traces are much easier to execute and hence create benchmarks where different libraries are compared.

However, for the concurrent traces, first the trace needs to be converted to the native format of each library, which is considerable effort. I was wondering what would be the best way to compare concurrent editing performances?