{"id":"W4254604099","doi":"10.1002/spe.895","title":"Using XBDDs and ZBDDs in points‐to analysis","year":2008,"lang":"en","type":"article","venue":"Software Practice and Experience","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta; University of Waterloo","funders":"National Science Council","keywords":"Binary decision diagram; Computer science; Context (archaeology); Overhead (engineering); Model checking; Compiler; Metric (unit); Domain (mathematical analysis); Algorithm; Programming language; Theoretical computer science; Mathematics","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.0005086681,0.00009989575,0.000151856,0.0002424446,0.0002864623,0.00007611459,0.0002709324,0.00004699953,0.00000418435],"category_scores_gemma":[0.001850547,0.00009987432,0.00002068762,0.001454128,0.00009505638,0.002282189,0.0003288863,0.000113048,0.000004534383],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003423095,"about_ca_system_score_gemma":0.00003786119,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002757383,"about_ca_topic_score_gemma":0.000009423446,"domain_scores_codex":[0.9988515,0.0001364914,0.0001951166,0.000405371,0.0002057445,0.0002058196],"domain_scores_gemma":[0.9990861,0.0002559884,0.00008994046,0.0003789569,0.00007515131,0.000113896],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"qualitative","study_design_gemma":"observational","study_design_scores_codex":[0.0001767404,0.0003411472,0.3794492,0.00005377084,0.0001397502,0.0003413853,0.4662575,0.001254885,0.003181664,0.0270985,0.00006404964,0.1216414],"study_design_scores_gemma":[0.001503294,0.0006921658,0.5912107,0.0001362558,0.0002690768,0.002679847,0.01873005,0.3374622,0.01288129,0.003074024,0.02892866,0.00243234],"study_design_candidate":"observational","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.4388219,0.0001549608,0.5606022,0.0002057131,0.00005276359,0.0000556997,2.441757e-7,0.00003759321,0.00006893615],"genre_scores_gemma":[0.4237376,0.00009021103,0.5756185,0.0005214915,0.000008611693,0.00001094003,1.665955e-7,0.00000269158,0.000009715061],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.4475275,"threshold_uncertainty_score":0.4072757,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07586281004245486,"score_gpt":0.3804970797183182,"score_spread":0.3046342696758633,"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."}}