{"id":"W4387647264","doi":"10.1145/3623759.3624545","title":"Synthesizing Device Drivers with Ghost Writer","year":2023,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Universitas Brawijaya","keywords":"Toolchain; Computer science; Process (computing); Kernel (algebra); Set (abstract data type); Interface (matter); Embedded system; Netlist; Input device; Operating system; Computer hardware; Programming language; Software","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.0001928287,0.00006521506,0.00006140732,0.00008929448,0.0001563562,0.0001633659,0.0005326122,0.00002434004,0.0000268654],"category_scores_gemma":[0.000019776,0.00005326966,0.00001989826,0.0007354296,0.00002161294,0.0003000135,0.0001319075,0.00006391568,0.0006016538],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001507677,"about_ca_system_score_gemma":0.00002711201,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001526877,"about_ca_topic_score_gemma":0.000005378923,"domain_scores_codex":[0.9992913,0.00002403966,0.0000913542,0.0002429542,0.0001662071,0.0001841157],"domain_scores_gemma":[0.9993498,0.0001818385,0.00003112066,0.000343614,0.00004581384,0.00004777259],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000008726494,0.00007225442,0.01800612,0.00007007345,0.00007062239,0.0001188898,0.009839973,0.00163837,0.00177169,0.8327466,0.0163917,0.119265],"study_design_scores_gemma":[0.0004979313,0.0001005087,0.03500384,0.0001426686,0.00001018786,0.00005906763,0.001480914,0.8487883,0.012302,0.00227283,0.09863845,0.0007033412],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1071772,0.00001597273,0.8583577,0.00414515,0.0002968706,0.0001115905,4.651909e-7,0.001600564,0.02829453],"genre_scores_gemma":[0.9476657,0.000004438356,0.05101055,0.0007852244,0.00004637095,0.00000460296,9.718395e-7,0.000005464161,0.0004766544],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8471499,"threshold_uncertainty_score":0.7733244,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02983374395591937,"score_gpt":0.2507579553902736,"score_spread":0.2209242114343542,"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."}}