{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":3,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":3,"direct_label_status":"direct model label, unvalidated","prediction_status":"machine_predicted_unvalidated (Codex and Gemma teacher distillation)","score_status":"score_only:v0-immature-baseline (scores rank; they never assert a category)","snapshot":{"source":"OpenAlex, pinned release, all 482 partitions","release":"2026-06-24","frame_built":"2026-07-12","author_layer_release":"2026-06-26"},"query_hash":"0fbf3d8f5d3e","filters":{"venue":"Conference on Object-Oriented Programming Systems, Languages, and Applications"}},"results":[{"id":"W3163215105","doi":"","title":"IDEal: Efficient and Precise Alias-Aware Dataflow Analysis","year":2017,"lang":"en","type":"article","venue":"Conference on Object-Oriented Programming Systems, Languages, and Applications","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta","funders":"","keywords":"Alias; Computer science; Dataflow; Aliasing; Ideal (ethics); Programming language; Static analysis; Theoretical computer science; Parallel computing; Algorithm; Data mining; Artificial intelligence","authors":[{"name":"Johannes Späth","is_ca":false},{"name":"Karim Ali","is_ca":true},{"name":"Eric Bodden","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0240224567873954,"gpt":0.3197320523337395,"spread":0.2957095955463441,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004372999,0.001250891,0.0010075,0.002369327,0.0009749109,0.003115725,0.003919661,0.001055955,0.003385263],"category_scores_gemma":[0.01300361,0.001167695,0.002028818,0.001551752,0.002322357,0.007456623,0.003925375,0.002824889,0.001651899],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002065672,"about_ca_system_score_gemma":0.00557475,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005928815,"about_ca_topic_score_gemma":0.007866551,"domain_scores_codex":[0.9936098,0.0008566426,0.00043181,0.0008924502,0.003680713,0.0005285739],"domain_scores_gemma":[0.9930412,0.002299949,0.000579473,0.002580769,0.00126145,0.0002372143],"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.001684698,0.0004714521,0.01900417,0.001421799,0.0002919364,0.0002819005,0.001222037,0.08573496,0.04800354,0.1134651,0.06786419,0.6605542],"study_design_scores_gemma":[0.0002139347,0.0002390327,0.002434304,0.0001856727,0.0001828335,0.0003130716,0.0002365594,0.7638357,0.07716659,0.07570786,0.07931118,0.0001733635],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01289703,0.0004843048,0.905076,0.0003795399,0.00007938179,0.000129684,0.0009143208,0.07672689,0.003312938],"genre_scores_gemma":[0.1762855,0.0004628529,0.8104091,0.0004697693,0.0001009837,0.0002075199,0.002765743,0.006394407,0.002904206],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005928815,"threshold_uncertainty_score":0.0231269,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3161581138","doi":"","title":"A Model for Reasoning about JavaScript Promises","year":2017,"lang":"en","type":"article","venue":"Conference on Object-Oriented Programming Systems, Languages, and Applications","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; JavaScript; Debugging; Correctness; Programming language; Asynchrony (computer programming); Web application; Asynchronous communication; Unobtrusive JavaScript; Callback; Graph; Theoretical computer science; Event (particle physics); Software engineering; World Wide Web; Rich Internet application","authors":[{"name":"Magnus Madsen","is_ca":true},{"name":"Ondřej Lhoták","is_ca":true},{"name":"Frank Tip","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04423248080763079,"gpt":0.3153875209816481,"spread":0.2711550401740173,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005190139,0.001018697,0.0008513032,0.002403549,0.002776306,0.005219544,0.004376902,0.003064615,0.00532247],"category_scores_gemma":[0.01077873,0.001810303,0.004592283,0.002439871,0.005381792,0.01594826,0.005458622,0.004950876,0.001612994],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003741609,"about_ca_system_score_gemma":0.003466451,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01333316,"about_ca_topic_score_gemma":0.009556533,"domain_scores_codex":[0.9959689,0.001150513,0.0003616882,0.0006574341,0.001312575,0.0005489223],"domain_scores_gemma":[0.9935172,0.003816812,0.0004539631,0.0009923456,0.00091495,0.0003047805],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.00004707175,0.00002594061,0.0002311356,0.00008814555,0.00001793125,0.000266644,0.0006041651,0.01417821,0.001050639,0.9748947,0.001617754,0.006977766],"study_design_scores_gemma":[0.0000534045,0.00003962378,0.00009973859,0.00005842515,0.00005219396,0.0001733358,0.0002112391,0.1218125,0.002457384,0.8471466,0.02784851,0.00004721474],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005116303,0.0001382683,0.9860504,0.001094494,0.00006471463,0.0001091472,0.0003601772,0.001813172,0.005253338],"genre_scores_gemma":[0.264555,0.0007686702,0.7189058,0.001058404,0.0003833862,0.0006487272,0.001467245,0.001073919,0.01113881],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01333316,"threshold_uncertainty_score":0.02744836,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3163223842","doi":"","title":"The VM Already Knew That: Leveraging Compile-Time Knowledge to Optimize Gradual Typing","year":2017,"lang":"en","type":"article","venue":"Conference on Object-Oriented Programming Systems, Languages, and Applications","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Compile time; Programmer; Programming language; JavaScript; Compiler; Code (set theory); Just-in-time compilation; Object (grammar); Artificial intelligence","authors":[{"name":"Gregor Richards","is_ca":true},{"name":"Ellen Arteca","is_ca":true},{"name":"Alexi Turcotte","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04608562986757483,"gpt":0.3130508497861182,"spread":0.2669652199185434,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002808318,0.0009708817,0.0005288112,0.0004921347,0.0008753642,0.002897369,0.002438807,0.0009811644,0.00350936],"category_scores_gemma":[0.01652695,0.001122902,0.0009988563,0.0005217566,0.002318551,0.00725002,0.002963281,0.003834328,0.002604696],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001068682,"about_ca_system_score_gemma":0.0033756,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003096915,"about_ca_topic_score_gemma":0.003980336,"domain_scores_codex":[0.9973693,0.0005557506,0.0002117676,0.0005319132,0.0009172566,0.0004139495],"domain_scores_gemma":[0.9892713,0.002186884,0.0006604925,0.006462739,0.00110314,0.0003154917],"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.001750662,0.0004830953,0.03211618,0.0007778975,0.0002031961,0.0008291648,0.004245813,0.05615888,0.2110582,0.1589269,0.02140269,0.5120472],"study_design_scores_gemma":[0.000184058,0.0007027791,0.00643416,0.0005315636,0.0003687899,0.001003326,0.0005983476,0.3587568,0.3106806,0.1371411,0.1832338,0.0003646954],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1158731,0.0006149336,0.8291845,0.001646408,0.0003522527,0.0001679325,0.0001927807,0.03782539,0.01414277],"genre_scores_gemma":[0.5137565,0.0005495753,0.4561893,0.001327614,0.0001215,0.0001505922,0.0005303886,0.01464786,0.01272659],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00350936,"threshold_uncertainty_score":0.01485199,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}