{"id":"W4292179105","doi":"10.1145/3557727","title":"Symbolic Analysis for Data Plane Programs Specialization","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Architecture and Code Optimization","topic":"Software-Defined Networks and 5G","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Polytechnique Montréal","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Compiler; Packet processing; Forwarding plane; Network packet; Domain-specific language; Program optimization; Field-programmable gate array; Factor (programming language); Digital subscriber line; Program analysis; Data structure; Computer architecture; Programming language; Distributed computing; Embedded system; Computer network","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007790004,0.001033898,0.0004726023,0.001217936,0.0005030056,0.00103596,0.0007308024,0.0005037145,0.003647955],"category_scores_gemma":[0.005701618,0.0003603457,0.001150726,0.0007962063,0.001747973,0.001361483,0.001191075,0.001119159,0.0003827329],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001282745,"about_ca_system_score_gemma":0.001606962,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002498878,"about_ca_topic_score_gemma":0.003116321,"domain_scores_codex":[0.9985695,0.000349886,0.00008915795,0.0001982562,0.0005963841,0.000196809],"domain_scores_gemma":[0.9965688,0.002253781,0.0003377047,0.0004061522,0.0003875546,0.00004592948],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.000488831,0.0001947373,0.007854144,0.0008165344,0.0001078528,0.000750474,0.0008005319,0.4804782,0.07621183,0.1918763,0.004415646,0.2360049],"study_design_scores_gemma":[0.00002898894,0.00006612021,0.0005126743,0.00003151861,0.00003450357,0.00009248229,0.00006259562,0.9139928,0.0354834,0.04582869,0.003847757,0.00001864211],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06214073,0.00007747909,0.9292175,0.0001972214,0.0000227041,0.00007701543,0.0001731192,0.003806858,0.004287458],"genre_scores_gemma":[0.6437443,0.0001491034,0.350826,0.0001445283,0.00004064483,0.0002438954,0.0006344146,0.001043309,0.003173666],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003647955,"threshold_uncertainty_score":0.01220363,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03685688128299409,"score_gpt":0.2575731415698246,"score_spread":0.2207162602868305,"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."}}