{"id":"W2761352457","doi":"10.1145/3133923","title":"IDE <sup> <i>al</i> </sup> : efficient and precise alias-aware dataflow analysis","year":2017,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":25,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Heinz Nixdorf Stiftung","keywords":"Alias; Computer science; Dataflow; Programming language; Ideal (ethics); Aliasing; Static analysis; Parallel computing; Theoretical computer science; Algorithm; Data mining; Artificial intelligence","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.0007613223,0.0001813032,0.000256547,0.0001451604,0.0007125096,0.0009203937,0.005162028,0.00006367209,0.000003592243],"category_scores_gemma":[0.001557091,0.0001348205,0.0001436088,0.0004445354,0.0001774495,0.0003488264,0.002586694,0.0001963926,0.000003841079],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002313998,"about_ca_system_score_gemma":0.00001849494,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007592818,"about_ca_topic_score_gemma":0.000002872601,"domain_scores_codex":[0.9984154,0.00001392,0.0002771937,0.0005522715,0.0004373616,0.0003038936],"domain_scores_gemma":[0.9974558,0.0001304162,0.0004917103,0.00164587,0.0001903433,0.00008587761],"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.00009036226,0.0009012789,0.1496487,0.0007567952,0.001112932,0.00001139618,0.02835312,0.00205506,0.003997458,0.04710152,0.008159851,0.7578115],"study_design_scores_gemma":[0.002966233,0.0006865439,0.1295539,0.001521986,0.001503986,0.0001036023,0.008570826,0.6751341,0.124757,0.006367453,0.04630663,0.002527778],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9880183,0.0003390307,0.003246526,0.006749373,0.0001339321,0.0004369945,0.0000105433,0.0002325173,0.0008327912],"genre_scores_gemma":[0.9666904,0.00001664172,0.03289296,0.0002166542,0.0000586467,0.000022425,0.000002019609,0.00001065401,0.00008956456],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.7552837,"threshold_uncertainty_score":0.9592419,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02093102351995533,"score_gpt":0.2932984388493426,"score_spread":0.2723674153293873,"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."}}