{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003234593,0.001298313,0.001237234,0.004511478,0.00287301,0.003350849,0.002572486,0.001392226,0.007596744],"category_scores_gemma":[0.0161017,0.001268556,0.002555093,0.002289867,0.00421722,0.006341499,0.005845853,0.003758244,0.002406175],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00215758,"about_ca_system_score_gemma":0.003974565,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003787965,"about_ca_topic_score_gemma":0.003248759,"domain_scores_codex":[0.9919474,0.001142931,0.0004072747,0.001600279,0.003644374,0.001257826],"domain_scores_gemma":[0.9877309,0.005232029,0.0009962787,0.00322761,0.002581451,0.0002317713],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0004864188,0.0002023374,0.009541548,0.000569882,0.0001597491,0.001148441,0.001539332,0.03587564,0.02794195,0.6719609,0.01088472,0.2396891],"study_design_scores_gemma":[0.00005067962,0.00009492882,0.001599381,0.0002356229,0.0002376243,0.0008895024,0.0002588385,0.1474435,0.05680592,0.7304494,0.0617802,0.0001544394],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01236783,0.000267527,0.969883,0.0004973551,0.000114755,0.000142611,0.000422349,0.004239446,0.0120652],"genre_scores_gemma":[0.4927328,0.0007673462,0.4834991,0.0009777179,0.0003519127,0.0006698308,0.001329212,0.003360498,0.01631167],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007596744,"threshold_uncertainty_score":0.02541357,"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."}}