{"id":"W2130056031","doi":"10.1109/ccece.2011.6030698","title":"A complete framework for kernel trace analysis","year":2011,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":13,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université Laval","funders":"","keywords":"Computer science; Programming language; Scripting language; TRACE (psycholinguistics); Abstraction; Kernel (algebra); Host (biology); Specification language; Theoretical computer science","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.0002254864,0.00006843728,0.000122663,0.0001045214,0.0001254142,0.00007432604,0.0007128079,0.0000486194,0.0001118108],"category_scores_gemma":[0.00004980177,0.00006385764,0.0001380647,0.0007373827,0.00002017237,0.0001506666,0.00007380603,0.00006615042,0.0000428584],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001013862,"about_ca_system_score_gemma":0.00001492701,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004046739,"about_ca_topic_score_gemma":0.00000668438,"domain_scores_codex":[0.9992664,0.00002296857,0.0001652477,0.0002792143,0.00009987794,0.000166278],"domain_scores_gemma":[0.9990912,0.0002246237,0.00006735153,0.0004869101,0.00007321767,0.00005667788],"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.000002192182,0.00003459864,0.00050178,0.00000346665,0.00007527542,3.558985e-7,0.002087857,0.00002935986,0.00001694291,0.9927325,0.0001912475,0.004324421],"study_design_scores_gemma":[0.0001335344,0.00004631249,0.01380572,0.000005530906,0.00006281042,0.000002060583,0.0001228944,0.7599253,0.0004870373,0.2166982,0.008506979,0.0002036374],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.001911507,0.00003245279,0.9933538,0.0003165521,0.0001632269,0.00009296183,0.000002179764,0.0001905375,0.003936752],"genre_scores_gemma":[0.4645481,9.686523e-7,0.5350768,0.0002704458,0.00002046027,0.000009020078,9.657703e-7,0.000001983035,0.00007123175],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7760344,"threshold_uncertainty_score":0.2604039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1100521698621345,"score_gpt":0.3025595674519842,"score_spread":0.1925073975898497,"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."}}