{"id":"W1831986252","doi":"","title":"Proof linking: distributed verification of java classfiles in the presence of multiple classloaders","year":2001,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Computer science; Bytecode; Java; Programming language; Runtime verification; Software verification; Functional verification; Java bytecode; Formal verification; Interoperability; Java applet; Operating system; Java annotation; Software; Software development","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008875108,0.000508844,0.0007029584,0.0009024583,0.001619141,0.003293264,0.00276343,0.002114201,0.00372024],"category_scores_gemma":[0.01846013,0.0006209269,0.0007070808,0.0005881999,0.002784099,0.008150534,0.006319935,0.00235468,0.001442005],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001157932,"about_ca_system_score_gemma":0.002945004,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001079801,"about_ca_topic_score_gemma":0.0008437531,"domain_scores_codex":[0.9928241,0.002727455,0.000445642,0.001369761,0.002098275,0.0005348382],"domain_scores_gemma":[0.9763697,0.009665878,0.00165324,0.009976112,0.001737748,0.0005974073],"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.001176776,0.0005134353,0.008527276,0.0004705476,0.00009073767,0.00173883,0.003287931,0.05828161,0.08568094,0.3009081,0.008867704,0.5304562],"study_design_scores_gemma":[0.0004662689,0.0004722934,0.001544112,0.0001686899,0.0001193751,0.001487803,0.0005388603,0.5113506,0.2812361,0.1561121,0.04635456,0.0001492946],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02635448,0.00005600792,0.9650888,0.0002861233,0.00007483346,0.0001055353,0.00003853389,0.004812942,0.00318261],"genre_scores_gemma":[0.6022933,0.0001169311,0.3899354,0.0002293728,0.00008563774,0.0001787111,0.0002022195,0.0008918752,0.006066639],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008875108,"threshold_uncertainty_score":0.04693657,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04170994106970853,"score_gpt":0.2694023369615984,"score_spread":0.2276923958918899,"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."}}