{"id":"W4247047556","doi":"10.1145/2345156.2254091","title":"Parallelizing top-down interprocedural analyses","year":2012,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Computer science; Reachability; Scalability; Call graph; Graph; Modular design; Context (archaeology); Parallelism (grammar); Programming language; Top-down and bottom-up design; Static analysis; Theoretical computer science; Parallel computing; Database","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.0003162623,0.0001599819,0.0001732748,0.0001284529,0.0001296955,0.0001929165,0.001432175,0.00005864813,0.00001869301],"category_scores_gemma":[0.001186127,0.0001307838,0.00006314043,0.0002875768,0.00003737568,0.0008612931,0.0005071934,0.0001358703,0.0001084919],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002324769,"about_ca_system_score_gemma":0.0000252239,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000163613,"about_ca_topic_score_gemma":0.000005865932,"domain_scores_codex":[0.9988362,0.00005207305,0.000202379,0.0002589495,0.0002158632,0.0004344924],"domain_scores_gemma":[0.9981892,0.0006970147,0.0001120093,0.0008191588,0.00004704691,0.0001355866],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"observational","study_design_gemma":"observational","study_design_scores_codex":[0.00002015271,0.0003256244,0.6872506,0.00014516,0.00015082,0.00005200686,0.009297018,0.0001374536,0.002405969,0.009367354,0.1084405,0.1824074],"study_design_scores_gemma":[0.002497089,0.001647447,0.5251513,0.001801845,0.0004961824,0.001056225,0.000773296,0.1293355,0.1014504,0.1708773,0.05733266,0.007580691],"study_design_candidate":"observational","study_design_consensus":"observational","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5418684,0.003551277,0.4131373,0.002990159,0.001766526,0.0003070557,0.000004934087,0.02793231,0.008441951],"genre_scores_gemma":[0.7831405,0.000004410321,0.2159869,0.0006230767,0.0001698189,0.000009423632,0.00000264502,0.000008010984,0.00005517175],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.2412721,"threshold_uncertainty_score":0.5333207,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08809835399604228,"score_gpt":0.3637649504610175,"score_spread":0.2756665964649753,"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."}}