{"id":"W3109210160","doi":"10.1145/3428207","title":"Handling bidirectional control flow","year":2020,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"National Aeronautics and Space Administration","keywords":"Computer science; Programming language; Control flow; Programmer; Soundness; Compiler; Semantics (computer science); Correctness; Theoretical computer science","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.0003852608,0.0001777486,0.0002444822,0.00005554331,0.0001815493,0.0002575307,0.002446654,0.0000754629,0.000006109191],"category_scores_gemma":[0.001372259,0.0001167467,0.000165078,0.0005039271,0.0000726099,0.0002438469,0.0005337935,0.0002092069,0.00002283135],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002317771,"about_ca_system_score_gemma":0.00002948138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002404184,"about_ca_topic_score_gemma":0.00000120368,"domain_scores_codex":[0.998558,0.00001503471,0.000264578,0.0003945076,0.0004489498,0.000318948],"domain_scores_gemma":[0.9990062,0.0000908378,0.0002543378,0.0003498349,0.0001905109,0.0001082964],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001409452,0.0003859588,0.03802407,0.0006792086,0.0003354433,0.00001364656,0.01222689,0.0001145132,0.02365625,0.2788536,0.007289324,0.6382802],"study_design_scores_gemma":[0.01059076,0.005131844,0.01189049,0.0005015561,0.0004220829,0.0003170192,0.007368153,0.05472303,0.4048387,0.07249786,0.4279886,0.003729923],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5053773,0.01049756,0.2491998,0.1602795,0.007328786,0.0104367,0.00002807163,0.01015939,0.04669287],"genre_scores_gemma":[0.9756802,0.000004226191,0.02310353,0.0006800669,0.0003126099,0.0000464848,6.155369e-7,0.000015641,0.0001566042],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6345502,"threshold_uncertainty_score":0.4760792,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02022218492803879,"score_gpt":0.2471101335392914,"score_spread":0.2268879486112526,"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."}}