{"id":"W4318541608","doi":"10.1145/3575693.3575740","title":"Compilation Consistency Modulo Debug Information","year":2023,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Debugger; Debugging; Compiler; Background debug mode interface; Programming language; Consistency (knowledge bases); Kernel (algebra); Operating system; Artificial intelligence; Mathematics","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":["insufficient_payload"],"consensus_categories":[],"category_scores_codex":[0.0002325582,0.00004760458,0.00004954703,0.0001299556,0.0001609137,0.0001602153,0.0002939556,0.00002936706,0.00001921393],"category_scores_gemma":[0.00004715577,0.00004669638,0.00002389482,0.0006625278,0.00001376317,0.001107272,0.0001004329,0.00004598014,0.001382361],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001641885,"about_ca_system_score_gemma":0.00002980306,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000008460498,"about_ca_topic_score_gemma":0.000001122513,"domain_scores_codex":[0.9994184,0.0000214984,0.0001841817,0.00009982565,0.000158053,0.0001180821],"domain_scores_gemma":[0.9994892,0.00007768816,0.00005571121,0.0002554047,0.00008857589,0.00003336263],"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":[7.995629e-7,0.00000818029,0.001030434,0.00001088679,0.000003964409,5.34203e-7,0.001227572,0.001430124,0.00006528452,0.9350193,0.01727558,0.04392741],"study_design_scores_gemma":[0.000106887,0.00000940785,0.02502268,0.000004781492,6.951717e-7,0.000003669785,0.00007582677,0.9437181,0.0003737611,0.007647788,0.02295505,0.0000813825],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006818308,0.00000560837,0.962139,0.001818539,0.0004476913,0.00008073757,0.00000176152,0.00106145,0.02762697],"genre_scores_gemma":[0.9703904,0.000006195877,0.0285165,0.0007934555,0.00003466335,0.000006707636,0.0000402017,0.000001848291,0.0002100267],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9635721,"threshold_uncertainty_score":0.9993952,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02617515102354573,"score_gpt":0.2511043353250854,"score_spread":0.2249291843015396,"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."}}