{"id":"W4387674221","doi":"10.1145/3622844","title":"Initializing Global Objects: Time and Order","year":2023,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Initialization; Computer science; Static analysis; Programming language; Scala; Programming paradigm; Distributed computing; Java","routes":{"ca_aff":true,"ca_fund":true,"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.0005845861,0.0001791934,0.0002173947,0.00008526551,0.0001842117,0.0003357567,0.001901928,0.00008506238,0.000002855643],"category_scores_gemma":[0.001187052,0.0001201296,0.00007391895,0.001273063,0.0001097413,0.0002750051,0.001466565,0.0001247759,0.0000545057],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000290211,"about_ca_system_score_gemma":0.0000274385,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007586172,"about_ca_topic_score_gemma":0.000004433244,"domain_scores_codex":[0.9985887,0.00001501507,0.0002305735,0.0003846295,0.0003793874,0.0004017265],"domain_scores_gemma":[0.9990315,0.00007654184,0.0002014923,0.0004491214,0.0001688055,0.00007248596],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00003514483,0.0001961183,0.02778751,0.000611141,0.0001780044,0.00002876195,0.01013599,0.000006178863,0.00603983,0.3858006,0.005860148,0.5633206],"study_design_scores_gemma":[0.008231254,0.005224807,0.06590733,0.001473361,0.0004844131,0.001245044,0.02944473,0.01000833,0.1197594,0.5790876,0.1730151,0.00611856],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9443195,0.001802958,0.0008891748,0.007530805,0.001239126,0.002303618,0.000008704922,0.004075535,0.03783055],"genre_scores_gemma":[0.9896985,0.00001363663,0.009423404,0.0001604761,0.0001102778,0.00003878651,0.00000158461,0.00001512522,0.0005382586],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.557202,"threshold_uncertainty_score":0.4898742,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01881177669983823,"score_gpt":0.2740471109469838,"score_spread":0.2552353342471455,"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."}}