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
Kotlin's Type System is (Also) Unsound
Elad Kinsbruner, Hila Peleg, Shachar Itzhaky
Soundness of a type system is a fundemental property that guarantees that no operation that is not supported by a value will be performed on that value at run time. A type checker…