{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005665937,0.00007253282,0.0001151146,0.00007601034,0.0000511854,0.00003434471,0.001071538,0.00005723348,0.000006398982],"category_scores_gemma":[0.0002240608,0.00005544096,0.00004077641,0.0008068807,0.00008772693,0.0002272267,0.00008111379,0.0001143941,0.000002430017],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001665842,"about_ca_system_score_gemma":0.00005051535,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00008675538,"about_ca_topic_score_gemma":0.00003005833,"domain_scores_codex":[0.9988529,0.0001314705,0.00037665,0.0002195582,0.0002761957,0.0001431938],"domain_scores_gemma":[0.9985573,0.0005262103,0.0002054106,0.0005655026,0.000125853,0.00001972894],"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.0000849637,0.001687101,0.2422546,0.0002847362,0.00004690283,0.000008634304,0.02863408,0.01497941,0.0285807,0.6179211,0.002935248,0.06258249],"study_design_scores_gemma":[0.0005007042,0.00007855266,0.09570771,0.00008896735,0.000003964813,0.000009958499,0.001277283,0.8550729,0.03797943,0.003586772,0.005535251,0.0001585087],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1776483,0.00006673773,0.8190683,0.001521174,0.0001082243,0.0002693968,0.000003484275,0.00004157766,0.001272808],"genre_scores_gemma":[0.991021,0.00001630099,0.00884823,0.00005724036,0.00001843427,0.00001218811,0.00001032869,0.000002350968,0.0000139038],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8400935,"threshold_uncertainty_score":0.2260817,"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."}}