{"id":"W3004099993","doi":"10.1145/2499370.2462168","title":"Dynamic determinacy analysis","year":2013,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Static analysis; Programming language; JavaScript; Soundness; Determinacy; Program analysis; Functional programming; Leverage (statistics); Source code; Scalability; Theoretical computer science; Operating system; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001616206,0.0001290952,0.0001825894,0.0002560136,0.000103055,0.0003218251,0.001742852,0.00005310185,0.00005245527],"category_scores_gemma":[0.0005704339,0.0001098273,0.00008582063,0.000766006,0.00003435489,0.0005294134,0.0003860557,0.00009339131,0.0002948805],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002058554,"about_ca_system_score_gemma":0.00001845244,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005949347,"about_ca_topic_score_gemma":0.00004240784,"domain_scores_codex":[0.9989848,0.00004416082,0.000175346,0.0003422954,0.0001935395,0.0002598999],"domain_scores_gemma":[0.9977479,0.0007345052,0.0001020652,0.001258288,0.00007139637,0.00008587522],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004539665,0.0002049322,0.3598177,0.00007220017,0.000573984,0.000119861,0.002205783,0.0005020872,0.0007218871,0.001875242,0.03933586,0.594566],"study_design_scores_gemma":[0.0001498608,0.0001350865,0.2869634,0.0000328798,0.0001874231,0.00001889668,0.00001298461,0.6364675,0.0004728249,0.07438529,0.0006209712,0.0005528936],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5483116,0.0002054375,0.4320019,0.001822935,0.0002510135,0.0002437019,0.000003042766,0.01535736,0.001802998],"genre_scores_gemma":[0.6909605,0.000002139396,0.3086038,0.0002788594,0.00001138773,0.00001842062,0.000003404878,0.00000509248,0.0001164318],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6359654,"threshold_uncertainty_score":0.4478626,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01462332702158383,"score_gpt":0.2669698366788959,"score_spread":0.2523465096573121,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}