{"id":"W4223911053","doi":"10.1145/3563943","title":"Towards Porting Operating Systems with Program Synthesis","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"U.S. Air Force; Natural Sciences and Engineering Research Council of Canada; Defense Advanced Research Projects Agency; Eidgenössische Technische Hochschule Zürich; U.S. Department of Defense","keywords":"Computer science; Toolchain; Porting; Software portability; Scalability; Programming language; Code generation; Abstract machine; Program synthesis; Operating system; Embedded system; Computer architecture; Software engineering; Software","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.000888499,0.0001926212,0.0002535292,0.0001503161,0.001368303,0.0009440561,0.0006892503,0.00004729518,0.000008047994],"category_scores_gemma":[0.00004479162,0.0001656188,0.00005766567,0.0005566463,0.00003946963,0.0002400443,0.00005059447,0.000325768,0.000002259617],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007580678,"about_ca_system_score_gemma":0.00006561698,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006996883,"about_ca_topic_score_gemma":0.000006739695,"domain_scores_codex":[0.9980153,0.0002416399,0.0003925404,0.0005169584,0.0004691947,0.0003643523],"domain_scores_gemma":[0.9987139,0.0002259768,0.0001986709,0.0006806407,0.0000757868,0.0001050799],"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.000009592301,0.0002603686,0.0002497945,0.0002092293,0.00009711281,0.00006054313,0.00416474,0.01958282,0.00006372642,0.005390677,0.00001600984,0.9698954],"study_design_scores_gemma":[0.001200841,0.002389861,0.0005315032,0.000750953,0.0001475974,0.002751173,0.08104095,0.8509525,0.0007510486,0.00004822149,0.05777444,0.00166088],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06666599,0.002113354,0.9257687,0.0006893135,0.0009364912,0.001691907,0.00001572183,0.001471865,0.0006466823],"genre_scores_gemma":[0.9583219,0.000009028056,0.03992843,0.00003973664,0.00006626202,0.001479366,0.000003658676,0.00002120157,0.0001304148],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9682345,"threshold_uncertainty_score":0.9999318,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02496823512078345,"score_gpt":0.2898715452319761,"score_spread":0.2649033101111926,"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."}}