{"id":"W4244991550","doi":"10.1145/2872887.2750395","title":"C <scp>lean</scp>","year":2015,"lang":"en","type":"article","venue":"ACM SIGARCH Computer Architecture News","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Overhead (engineering); Synchronization (alternating current); Semantics (computer science); Parsec; Software; Exploit; Parallel computing; Source lines of code; Compiler; Programming language; Computer security; Computer network; Channel (broadcasting)","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006282384,0.0004067567,0.0004003471,0.0004059711,0.0001928201,0.0003935435,0.004288508,0.0001552356,0.000002683393],"category_scores_gemma":[0.0005621793,0.0003594556,0.0001712464,0.0008529202,0.0001047177,0.0003006209,0.002630021,0.0005943415,0.00015111],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007391359,"about_ca_system_score_gemma":0.0002343539,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005177198,"about_ca_topic_score_gemma":0.00001204152,"domain_scores_codex":[0.9968701,0.0002598923,0.0004535157,0.0009088626,0.000742849,0.0007647584],"domain_scores_gemma":[0.9960434,0.0007778424,0.0001702331,0.002180035,0.0002652672,0.0005632146],"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.000007587442,0.0002127437,0.001317691,0.00003138294,0.00008325441,0.0001254904,0.009139257,0.08955049,0.0001085957,0.01518065,0.4235409,0.460702],"study_design_scores_gemma":[0.001640295,0.0009860786,0.0009908219,0.00009249279,0.00001582062,0.0003855594,0.00004217951,0.4100462,0.002546016,0.1551921,0.4275587,0.0005037443],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00639742,0.0002273821,0.9807589,0.002082488,0.0007846881,0.000333589,0.000001971726,0.002105083,0.007308472],"genre_scores_gemma":[0.05590967,0.00001357514,0.9389744,0.003596712,0.0007972911,0.00002600992,0.00001311932,0.00003973609,0.0006295205],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4601982,"threshold_uncertainty_score":0.9998857,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02692758436438008,"score_gpt":0.2657138716817513,"score_spread":0.2387862873173712,"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."}}