emeryberger merged plasma-umass/scalene#1072 · June 30, 2026 10:07 Formal: prove profiler-correctness desideratum (unbiased + consistent attribution) #1072 Formal: the profiler-correctness desideratum — unbiased & consistent attributionThe earlier formal work (#1068, #1070) proves Scalene's bookkeeping … +501 -1