This post explains the sampling method introduced in the paper On the Cost of Type-Tag Soundness

Performance matters for software systems, but performance is not always easy to measure. At the PRL we recently had a scare with some unreliable measurements. Here is the story.