{"id":"W4381611581","doi":"10.1145/3593856.3595895","title":"Why write address translation OS code yourself when you can synthesize it?","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":"Natural Sciences and Engineering Research Council of Canada; Huawei Technologies","keywords":"Computer science; Virtual memory; Cornerstone; Address space; Memory protection; Physical address; Isolation (microbiology); Logical address; Memory address; Translation (biology); Memory management; Operating system; Computer architecture; Embedded system; Parallel computing; Programming language; 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.0004920379,0.0001271076,0.0001322614,0.0001501533,0.0002410333,0.0002417226,0.0008407751,0.00007838938,0.0001257861],"category_scores_gemma":[0.00004999158,0.0001271767,0.00006709247,0.0006011966,0.00003395592,0.0003404727,0.00008889936,0.0001276424,0.0001995817],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002676272,"about_ca_system_score_gemma":0.00005265916,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000184414,"about_ca_topic_score_gemma":0.0001853133,"domain_scores_codex":[0.9985819,0.00009818717,0.0002655561,0.00042297,0.0003246646,0.0003067178],"domain_scores_gemma":[0.9988877,0.0003224597,0.00007152127,0.000541258,0.00008044529,0.00009658521],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002734326,0.0002458341,0.001640683,0.0001646489,0.0001324072,0.00005709687,0.06465746,0.003729541,0.00452074,0.2297388,0.3337695,0.3613159],"study_design_scores_gemma":[0.0004173939,0.00003912816,0.001583823,0.00007347726,0.00001313816,0.00001503129,0.0005755851,0.770337,0.005984268,0.006554149,0.2139598,0.0004472101],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008337609,0.00009208918,0.9051969,0.06784513,0.001043786,0.0003438515,0.00001859312,0.00199421,0.01512781],"genre_scores_gemma":[0.9439728,0.00005072347,0.04727056,0.006682797,0.0003185324,0.00004206389,0.00002850009,0.00002673106,0.001607321],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9356351,"threshold_uncertainty_score":0.5186114,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08460651280310628,"score_gpt":0.2953172965785621,"score_spread":0.2107107837754558,"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."}}