{"id":"W3007003693","doi":"10.1145/3373087.3375307","title":"StateMover","year":2020,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Debugging; Computer science; Field-programmable gate array; Embedded system; Porting; Overhead (engineering); Background debug mode interface; Visibility; State (computer science); Controllability; Software; Computer hardware; Operating system","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.00002994673,0.00002979062,0.00003428211,0.000009918418,0.00002189823,0.00004881424,0.0002968001,0.000009890511,0.00002649437],"category_scores_gemma":[0.0000112805,0.00002507814,0.0000130831,0.0001372999,0.00000417043,0.0001268276,0.0000982101,0.00002603029,0.0001060859],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000002584868,"about_ca_system_score_gemma":0.00001012209,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001848515,"about_ca_topic_score_gemma":4.541963e-8,"domain_scores_codex":[0.9997043,0.00001017894,0.00005425144,0.0001089522,0.00006050381,0.00006183605],"domain_scores_gemma":[0.999809,0.000009300711,0.00001259532,0.0001007505,0.00001774886,0.00005062185],"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":[0.000002740368,0.0000245744,0.0004469931,0.000007636393,0.000008461484,0.00001302567,0.001134373,0.008466383,0.0003544248,0.6334388,0.305248,0.05085457],"study_design_scores_gemma":[0.00006282754,0.00003013139,0.0001001739,8.595118e-7,2.480182e-7,9.393742e-7,0.000002234967,0.9526706,0.003600556,0.001809713,0.04165391,0.00006784266],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001203025,0.000009866198,0.9517491,0.005146375,0.00002109135,0.00002122149,6.961491e-8,0.00093139,0.04200056],"genre_scores_gemma":[0.3095149,0.00000436793,0.6822597,0.007807267,0.00002065948,8.002925e-7,2.818934e-7,0.000001923048,0.0003900451],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9442042,"threshold_uncertainty_score":0.1363555,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02487512954879075,"score_gpt":0.2497477086299184,"score_spread":0.2248725790811276,"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."}}