29 citations · 29 across the 6 of their papers we have counts for
7 papers
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…
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…
Supporting Medicinal Chemists in Iterative Hypothesis Generation for Drug Target Identification
Youngseung Jeon, Christopher Hwang, Ziwen Li +6
While drug discovery is vital for human health, the process remains inefficient. Medicinal chemists must navigate a vast protein space to identify target proteins that meet three c…
PriorWeaver: Prior Elicitation via Iterative Dataset Construction
Yuwei Xiao, Shuai Ma, Antti Oulasvirta +1
In Bayesian analysis, prior elicitation, or the process of facilitating the expression of one's beliefs to inform statistical modeling, is an essential yet challenging step. Analys…
PLanet: Formalizing and Analyzing Assignment Procedures in the Design of Experiments
London Bielicke, Anna Zhang, Shruti Tyagi +3
Experimental designs reflect assumptions about variable relationships that determine what causal queries researchers can answer through the experiment. Accounting for and communica…
Flowco: Rethinking Data Analysis in the Age of LLMs
Stephen N. Freund, Brooke Simon, Emery D. Berger +1
Conducting data analysis typically involves authoring code to transform, visualize, analyze, and interpret data. Large language models (LLMs) are now capable of generating such cod…
Beyond Code Generation: LLM-supported Exploration of the Program Design Space
J. D. Zamfirescu-Pereira, Eunice Jun, Michael Terry +2
In this work, we explore explicit Large Language Model (LLM)-powered support for the iterative design of computer programs. Program design, like other design activity, is character…