works on
constant-time discipline 1leakage contracts 1modular verification 1refinement 1timing side channels 1

From the 1 of 9 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.HCShow all

1 paper · 1 filter

cs.HC2026

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…