most citedNSF-DOE Vera C. Rubin Observatory Observations of Interstellar Comet 3I/ATLAS (C/2025 N1)

7 citations

researchers with a paper here
collaborating institutions
Showing cs.PLShow all

5 papers · 1 filter

cs.PL2026★ 1 cited

Fail Faster: Staging and Fast Randomness for High-Performance PBT

Cynthia Richey, Joseph W. Cutler, Harrison Goldstein +1

Property-based testing (PBT) relies on generators for random test cases, often constructed using embedded domain specific languages, which provide expressive combinators for buildi…

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.PL2026

Choose, Don't Label: Multiple-Choice Query Synthesis for Program Disambiguation

Celeste Barnaby, Danny Ding, Osbert Bastani +1

High-level specifications of code are inherently ambiguous, and prior systems have explored interactive techniques to help users clarify their intent and resolve such ambiguities.…

cs.PL2026★ 6 cited

Optimal Program Synthesis via Abstract Interpretation

Stephen Mell, Steve Zdancewic, Osbert Bastani

We consider the problem of synthesizing programs with numerical constants that optimize a quantitative objective, such as accuracy, over a set of input-output examples. We propose…

cs.PL2026★ 2 cited

Opportunistically Parallel Lambda Calculus

Stephen Mell, Konstantinos Kallas, Steve Zdancewic +1

Scripting languages are widely used to compose external calls such as native libraries and network services. In such scripts, execution time is often dominated by waiting for these…