29 citations · 29 across the 6 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
FlowBook: Enforcing Reproducibility in Computational Notebooks
Stephen N. Freund, Emery D. Berger, Cormac Flanagan +1
Computational notebooks interleave code cells with their outputs and let users edit and execute cells in arbitrary order. This flexibility supports interactive exploration, but it…
cs.PL2026
Causality and Semantic Separation
Anna Zhang, Qinglan Luo, London Bielicke +2
The design of scientific experiments deserves its own variation of formal verification to catch cases where scientists made important mistakes, such as forgetting to take confoundi…