Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
The Search for Constrained Random Generators
Harrison Goldstein, Hila Peleg, Cassia Torczon +3
Among the biggest challenges in property-based testing (PBT) is the constrained random generation problem: given a predicate on program values, randomly sample from the set of all…
cs.PL2024
Effects and Coeffects in Call-By-Push-Value (Extended Version)
Cassia Torczon, Emmanuel Suárez Acevedo, Shubh Agrawal +2
Effect and coeffect tracking integrate many types of compile-time analysis, such as cost, liveness, or dataflow, directly into a language's type system. In this paper, we investiga…