{"id":"W4238035143","doi":"10.1145/566225.513844","title":"Automatic formal verification for scheduled VLIW code","year":2002,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"","keywords":"Very long instruction word; Computer science; Compiler; Parallel computing; Code generation; Instruction-level parallelism; Software pipelining; Code (set theory); Programming language; Instruction scheduling; Optimizing compiler; Parallelism (grammar); Computer architecture; Operating system; Dynamic priority scheduling; Key (lock); Schedule","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.0005196717,0.0001608124,0.0002052008,0.0001258598,0.0001717889,0.0002301885,0.001791443,0.0001054473,0.0000447011],"category_scores_gemma":[0.00040531,0.000148962,0.00006707478,0.0002275682,0.00003251524,0.001243694,0.0001594123,0.00009063737,0.000200994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004474596,"about_ca_system_score_gemma":0.00001827184,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001095386,"about_ca_topic_score_gemma":0.0000103206,"domain_scores_codex":[0.9985833,0.00007704566,0.0003525972,0.0003579037,0.0002619292,0.0003672385],"domain_scores_gemma":[0.9978837,0.0005058447,0.0002266811,0.001208949,0.00009437311,0.00008049131],"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.00003762834,0.0006570321,0.002290371,0.001510207,0.0002373395,0.00004140765,0.01312253,0.0002209514,0.03658963,0.3966688,0.0825732,0.4660509],"study_design_scores_gemma":[0.0005233657,0.0002777615,0.0008462823,0.00009204939,0.00002344961,0.00002163116,0.00006346032,0.9592824,0.02450528,0.006159831,0.007804753,0.0003997586],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06940523,0.0003410215,0.9220481,0.00151982,0.0004807975,0.001149938,0.00001605288,0.001937572,0.003101468],"genre_scores_gemma":[0.7019299,0.000004856136,0.2974791,0.0001720935,0.0000755738,0.0001416797,0.000005700057,0.00001259703,0.0001784661],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9590614,"threshold_uncertainty_score":0.6074493,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06075935433410936,"score_gpt":0.2852430740329052,"score_spread":0.2244837196987958,"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."}}