{"id":"W4239027988","doi":"10.1145/1035292.1029010","title":"Pluggable verification modules","year":2004,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Computer science; Bytecode; Modular design; Programming language; Java; Extensibility; Operating system; Embedded 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.0002079464,0.00009633082,0.00009174352,0.00007010397,0.0002093896,0.0002268872,0.00145355,0.00005434913,0.00001495729],"category_scores_gemma":[0.0001773247,0.00009625562,0.00003193732,0.000283699,0.00003394167,0.0006024597,0.0001782556,0.00009557015,0.0003120218],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00004110895,"about_ca_system_score_gemma":0.00004736704,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00009377331,"about_ca_topic_score_gemma":0.00001081823,"domain_scores_codex":[0.9990582,0.00002834555,0.0001801823,0.000327692,0.0002039827,0.0002015669],"domain_scores_gemma":[0.998702,0.0001466917,0.0001067531,0.0009232089,0.0000588594,0.00006248039],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000008874538,0.0001806337,0.0009936972,0.00005039426,0.00002760482,0.00001272243,0.005053045,0.02065335,0.004003212,0.934761,0.001010679,0.03324472],"study_design_scores_gemma":[0.003463801,0.000462739,0.09248865,0.0003098868,0.0000546518,0.00009805636,0.001025781,0.2216265,0.1436256,0.4176059,0.1169456,0.002292861],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.3624208,0.0003455851,0.6255103,0.005021916,0.0009380792,0.0001737603,0.000003418236,0.0006451525,0.004941002],"genre_scores_gemma":[0.8831007,0.00001093051,0.1163786,0.0003379737,0.0001143605,0.000007079382,0.000007144376,0.000005239045,0.00003793609],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.5206799,"threshold_uncertainty_score":0.4010513,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03169006507966655,"score_gpt":0.2626409608200234,"score_spread":0.2309508957403568,"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."}}