{"id":"W2081534288","doi":"10.1145/1188966.1188992","title":"Adaptiveness in well-typed Java bytecode verification","year":2006,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University","funders":"","keywords":"Bytecode; Computer science; Programming language; Java bytecode; Java; Security testing; Implementation; Operating system; Real time Java; Java annotation; Cloud computing security; Security information and event management","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.01012098,0.0007507493,0.0007007779,0.00112946,0.0008711544,0.003461217,0.002994885,0.001734429,0.00134519],"category_scores_gemma":[0.04300844,0.001294309,0.001543133,0.001015824,0.007077421,0.009977888,0.003759853,0.0040406,0.0005423322],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001716326,"about_ca_system_score_gemma":0.001811955,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001787932,"about_ca_topic_score_gemma":0.001342328,"domain_scores_codex":[0.9846762,0.00477288,0.001556145,0.002458224,0.005173447,0.001363137],"domain_scores_gemma":[0.9436108,0.03051579,0.004478316,0.01651511,0.004284219,0.0005957337],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0008269992,0.0001734654,0.01551196,0.0004997404,0.0001212457,0.001670846,0.003253947,0.1569393,0.06700283,0.593667,0.001024232,0.1593085],"study_design_scores_gemma":[0.00006531746,0.00020303,0.001151698,0.0001460362,0.0001029779,0.0006091919,0.0002008343,0.4250665,0.08628026,0.4807059,0.005356614,0.000111675],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04835475,0.0001560121,0.947841,0.0003534832,0.00003614042,0.00005769349,0.00002725115,0.001617937,0.001555733],"genre_scores_gemma":[0.7594345,0.0003118418,0.2369329,0.000274552,0.00006650007,0.00016562,0.00009499468,0.0006477213,0.002071341],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01012098,"threshold_uncertainty_score":0.05352557,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01060783102761896,"score_gpt":0.2217083582782624,"score_spread":0.2111005272506435,"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."}}