Allegro applies multi-stage programming to PBT generators and pairs it with faster randomness to achieve up to 13x faster bug discovery while exactly preserving generator semantics.
Eisenberg, Stephen Dolan, and Leo White
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Fail Faster: Staging and Fast Randomness for High-Performance PBT
Allegro applies multi-stage programming to PBT generators and pairs it with faster randomness to achieve up to 13x faster bug discovery while exactly preserving generator semantics.