{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0001809003,0.0001313025,0.0001638687,0.0002976977,0.0006495938,0.0001417514,0.0008180143,0.00004119309,0.00005745079],"category_scores_gemma":[0.00001653914,0.0001291849,0.00006578694,0.001333723,0.00002195561,0.0001741726,0.00006373061,0.0001495219,6.148333e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002350214,"about_ca_system_score_gemma":0.00003206354,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001790142,"about_ca_topic_score_gemma":0.0001218055,"domain_scores_codex":[0.9988278,0.00007272757,0.0001854763,0.0005052226,0.0002220793,0.0001867615],"domain_scores_gemma":[0.998719,0.000132234,0.00007727205,0.0009735941,0.000037325,0.00006053186],"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.00003015174,0.0000766135,0.00009755298,0.00000472758,0.0001000926,6.152847e-7,0.0002741681,0.8050003,0.000001814422,0.0004362151,0.00006356599,0.1939142],"study_design_scores_gemma":[0.0003928775,0.0002060912,0.0001380311,0.000003979192,0.0001995665,0.00001210618,0.00002620702,0.9860263,0.00001430824,0.001687911,0.01111951,0.0001730707],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0002104431,0.00009081242,0.9972392,0.001475475,0.0001725759,0.0003934633,0.0001712293,0.0001955118,0.00005125584],"genre_scores_gemma":[0.3002383,0.000172608,0.6953264,0.0009086226,0.0001196581,0.0003453637,0.00259895,0.0000325121,0.0002575365],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3019128,"threshold_uncertainty_score":0.5268008,"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."}}