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 are notoriously prone to reproducibility failures. By permitting out-of-order cell execution, notebooks accumulate hidden state and implicit dependencies th…
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…