{"id":"W2036861468","doi":"10.1109/ispass.2012.6189227","title":"Combined profiling: A methodology to capture varied program behavior across multiple inputs","year":2012,"lang":"en","type":"article","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"","keywords":"Spec#; Profiling (computer programming); Computer science; Source code; Data mining; Programming language","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.002220451,0.001576523,0.001184487,0.002279697,0.0006444483,0.00136238,0.00204097,0.0009850388,0.002210525],"category_scores_gemma":[0.01317853,0.001056829,0.00115549,0.002081068,0.0008535555,0.003337373,0.002608925,0.00234781,0.0009439178],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006177562,"about_ca_system_score_gemma":0.001496199,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001476802,"about_ca_topic_score_gemma":0.001900447,"domain_scores_codex":[0.9963951,0.0007165106,0.0001922318,0.0008535091,0.001625717,0.0002170063],"domain_scores_gemma":[0.9912368,0.003114012,0.001186826,0.00313522,0.001108772,0.0002184206],"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.0008125825,0.0004550411,0.02258956,0.0006431867,0.0004040307,0.0005861638,0.001194047,0.2518041,0.0764934,0.04505491,0.008255104,0.5917079],"study_design_scores_gemma":[0.00003847259,0.0003237195,0.004249704,0.00006119789,0.0001001684,0.0005384703,0.0001097704,0.8878465,0.04946549,0.0410888,0.01606392,0.0001137986],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006626282,0.00005295462,0.989468,0.00003292363,0.00001338699,0.00007237383,0.0002114245,0.002997222,0.0005254042],"genre_scores_gemma":[0.2583175,0.0001806391,0.7355106,0.0001520618,0.00006791289,0.0006528388,0.001380249,0.001655525,0.00208264],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002279697,"threshold_uncertainty_score":0.01174301,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08612125392150792,"score_gpt":0.3789730200053589,"score_spread":0.292851766083851,"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."}}