{"id":"W4281916312","doi":"10.1145/3470496.3527421","title":"Hydra","year":2022,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":48,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Dram; Computer science; Scalability; Static random-access memory; Universal memory; Metadata; Dynamic random-access memory; Memory controller; Random access memory; CAS latency; Embedded system; Parallel computing; Computer hardware; Operating system; Memory management; Semiconductor memory","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.0001393733,0.00001937544,0.00002068663,0.00002471262,0.0002382246,0.00003619182,0.0005164148,0.000003355048,0.0003198582],"category_scores_gemma":[0.000004285149,0.00002040404,0.00001387811,0.0001996285,0.000003942826,0.00007952058,0.0003540362,0.00005520095,0.00004721059],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001546217,"about_ca_system_score_gemma":0.00001583879,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007337075,"about_ca_topic_score_gemma":1.597638e-7,"domain_scores_codex":[0.9996435,0.0000263744,0.00004964904,0.0001053808,0.0001119752,0.00006313477],"domain_scores_gemma":[0.9997267,0.00002654408,0.00001442537,0.0002088628,0.000007335687,0.00001610358],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[1.880106e-7,0.00001576816,0.00008668315,4.13713e-7,9.741684e-7,0.000001426902,0.0004162911,0.0004203953,0.00007141508,0.9794175,0.005637287,0.01393167],"study_design_scores_gemma":[0.00009116808,0.0000309739,0.0006108406,3.051705e-7,3.507959e-7,0.00002821171,0.0001071282,0.4845918,0.0007184802,0.01893269,0.4947953,0.00009280954],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006380949,0.00002774039,0.9298518,0.002520979,0.0004501747,0.00002779497,1.609943e-7,0.0002517639,0.06048865],"genre_scores_gemma":[0.9728751,2.99654e-7,0.02493783,0.001466993,0.00002029034,0.000007258319,3.55311e-7,0.000001025445,0.0006908261],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9664941,"threshold_uncertainty_score":0.3502223,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01498002426218091,"score_gpt":0.2201203002542421,"score_spread":0.2051402759920612,"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."}}