{"id":"W3194791795","doi":"10.1145/3471873.3472977","title":"Generating high performance code for irregular data structures using dependent types","year":2021,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"McGill University","funders":"Engineering and Physical Sciences Research Council; Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Limiting; Data structure; Parallel computing; Code (set theory); Programming language; Data type; High-level programming language; Theoretical computer science; Programming paradigm; Computer architecture","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.0002043926,0.0000909509,0.0001087877,0.00003535891,0.0002229013,0.0002192381,0.0008294104,0.00004135691,0.00001199171],"category_scores_gemma":[0.00004726502,0.00008264123,0.00001748489,0.0001410265,0.00001191697,0.0003548843,0.0006277525,0.0000527655,0.000001303364],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001917098,"about_ca_system_score_gemma":0.0001087406,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001149812,"about_ca_topic_score_gemma":0.00001355746,"domain_scores_codex":[0.9990895,0.0000332676,0.0001660124,0.0003929873,0.00014521,0.0001730207],"domain_scores_gemma":[0.9989206,0.00004074369,0.00006094408,0.0008001686,0.0001428627,0.00003471312],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000004635621,0.00003831893,0.0005169429,0.00005963378,0.00004725578,0.00001011264,0.0001280624,0.8816476,0.012564,0.05254813,0.003102686,0.04933257],"study_design_scores_gemma":[0.0001050548,0.00001246431,0.0001027136,0.000009387108,0.000004815447,0.00002161084,0.000004062157,0.9368272,0.06121748,0.0008775441,0.000703009,0.0001146179],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.05128355,0.0001437991,0.9477265,0.000138081,0.0002119325,0.00007588356,0.00001081029,0.0002616557,0.0001477941],"genre_scores_gemma":[0.2774825,0.00001400984,0.7219214,0.0002378911,0.00007698969,0.000001889706,0.00003288133,0.000005900582,0.000226554],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.226199,"threshold_uncertainty_score":0.3370012,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05743578611869199,"score_gpt":0.3033452290372205,"score_spread":0.2459094429185285,"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."}}