{"meta":{"page":1,"per_page":50,"max_per_page":100,"total":23,"total_is_capped":false,"direct_labels_cover":0,"predictions_cover":23,"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":"2e63c7f45fe9","filters":{"venue":"ACM Transactions on Programming Languages and Systems"}},"results":[{"id":"W1965418329","doi":"10.1145/1018203.1018208","title":"A semantics for advice and dynamic join points in aspect-oriented programming","year":2004,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":229,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Join (topology); Programming language; Semantics (computer science); Advice (programming); Aspect-oriented programming; Denotational semantics; Correctness; Set (abstract data type); Operational semantics; Software; Mathematics","authors":[{"name":"Mitchell Wand","is_ca":false},{"name":"Gregor Kiczales","is_ca":true},{"name":"Christopher Dutchyn","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02060817561174227,"gpt":0.3099701202073812,"spread":0.2893619445956389,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002688635,0.0008913458,0.0006852059,0.001285292,0.001932516,0.003786168,0.001984742,0.00246339,0.002044334],"category_scores_gemma":[0.006812279,0.001045528,0.001212952,0.001136685,0.006060876,0.006623894,0.003340662,0.00446737,0.0007498897],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001290096,"about_ca_system_score_gemma":0.002018379,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001994126,"about_ca_topic_score_gemma":0.001429562,"domain_scores_codex":[0.9973977,0.0005747344,0.0003521864,0.0003126168,0.001075542,0.0002872054],"domain_scores_gemma":[0.9966439,0.00120557,0.0003821025,0.0005211398,0.0009426477,0.0003046352],"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.00002584006,0.00002920054,0.0001576492,0.0000652008,0.000005569089,0.0001844774,0.001619617,0.001537596,0.002145645,0.9824274,0.0008587003,0.01094314],"study_design_scores_gemma":[0.00004939691,0.00006263756,0.0002025063,0.0000882315,0.00002242704,0.0005451008,0.0003384634,0.01273133,0.002819185,0.9342669,0.04882835,0.00004548357],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01210463,0.0005213578,0.9743142,0.001657142,0.0001969107,0.0001089941,0.00009330383,0.001109768,0.009893803],"genre_scores_gemma":[0.3237261,0.0009676229,0.6655982,0.001141579,0.0005126616,0.0006592819,0.0002779506,0.0006029172,0.006513814],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003786168,"threshold_uncertainty_score":0.01421899,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2123691799","doi":"10.1145/2629609","title":"Foundations of Typestate-Oriented Programming","year":2014,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":77,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Division of Computing and Communication Foundations; Natural Sciences and Engineering Research Council of Canada; Fondo Nacional de Desarrollo Científico y Tecnológico; Computing Research Association; National Science Foundation","keywords":"Computer science; Programming language; Modular design; Object (grammar); Class (philosophy); State (computer science); Object-oriented programming; Type safety; Theoretical computer science; Artificial intelligence","authors":[{"name":"Ronald Garcia","is_ca":true},{"name":"Éric Tanter","is_ca":false},{"name":"Roger Wolff","is_ca":false},{"name":"Jonathan Aldrich","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01979513296798275,"gpt":0.2803165803818746,"spread":0.2605214474138918,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005425266,0.001030592,0.0008351623,0.001923844,0.001743404,0.005962253,0.00299864,0.002547197,0.00525105],"category_scores_gemma":[0.009445659,0.001276936,0.00241153,0.002072744,0.009689648,0.008106238,0.003101174,0.006348125,0.002986149],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00297628,"about_ca_system_score_gemma":0.00412392,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003496464,"about_ca_topic_score_gemma":0.001560694,"domain_scores_codex":[0.994504,0.001520462,0.0005869999,0.001190287,0.001668429,0.0005298881],"domain_scores_gemma":[0.9938706,0.003565934,0.0003927291,0.001009513,0.0009432103,0.0002180103],"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.000009328162,0.0000133496,0.0001200252,0.00009187665,0.000007265169,0.00006223347,0.0004133842,0.001874562,0.0003400116,0.975453,0.001378653,0.02023629],"study_design_scores_gemma":[0.00001240793,0.00001255946,0.00007178112,0.0001072155,0.000009168672,0.0001107433,0.00005565726,0.007646775,0.000697317,0.9236519,0.06760235,0.00002205222],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002754147,0.001658447,0.9638972,0.002451302,0.0002953727,0.000136082,0.0002281554,0.001585872,0.02699346],"genre_scores_gemma":[0.1032906,0.0048255,0.8738957,0.001325386,0.001099486,0.0006662512,0.0005001864,0.0009597527,0.01343712],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.005962253,"threshold_uncertainty_score":0.02869183,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2162762034","doi":"10.1145/586088.586090","title":"Practical extraction techniques for Java","year":2002,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Advanced Malware Detection Techniques","field":"Computer Science","cited_by":71,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"IBM (Canada)","funders":"","keywords":"Computer science; Java; Modular design; Programming language; Class (philosophy); Software; Operating system; Artificial intelligence","authors":[{"name":"Frank Tip","is_ca":false},{"name":"Peter F. Sweeney","is_ca":false},{"name":"Chris Laffra","is_ca":false},{"name":"Aldo Eisma","is_ca":false},{"name":"David Streeter","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04144992129324543,"gpt":0.3505027852811163,"spread":0.3090528639878709,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002170974,0.00121232,0.0006501863,0.001568278,0.0007040295,0.001841916,0.001336141,0.0008317894,0.009341092],"category_scores_gemma":[0.01109611,0.001401604,0.001723179,0.001517707,0.0008159986,0.004153279,0.002341309,0.00239705,0.006747124],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0005803456,"about_ca_system_score_gemma":0.001270888,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008124348,"about_ca_topic_score_gemma":0.001490482,"domain_scores_codex":[0.9973193,0.0004756405,0.0004759391,0.0004829674,0.001078264,0.0001680451],"domain_scores_gemma":[0.9933171,0.00314923,0.0006672501,0.001618286,0.001178985,0.0000690974],"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.0003352178,0.0001412039,0.002805009,0.001669054,0.00008770717,0.0005585835,0.001118226,0.007425043,0.0948409,0.07390734,0.02845768,0.788654],"study_design_scores_gemma":[0.0002067354,0.000301715,0.002778481,0.0004990093,0.0002043222,0.002644534,0.0004793892,0.1444155,0.2708409,0.1090248,0.468405,0.0001996742],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.00329162,0.0001706626,0.9777674,0.0002577757,0.00005144811,0.000138169,0.0003112768,0.01553283,0.002478654],"genre_scores_gemma":[0.06837164,0.0005394203,0.9110162,0.0003408485,0.00007052561,0.000366829,0.001897966,0.008985803,0.008410833],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009341092,"threshold_uncertainty_score":0.03124905,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2163420823","doi":"10.1145/641888.641891","title":"PolyTOIL","year":2003,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":55,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Memorial University of Newfoundland","funders":"Natural Sciences and Engineering Research Council of Canada; Williams College; National Science Foundation","keywords":"Computer science; Programming language; Type safety; Subtyping; Type theory; Type (biology); Operational semantics; Semantics (computer science); Model checking; Functional programming; Modular design; Theoretical computer science","authors":[{"name":"Kim B. Bruce","is_ca":false},{"name":"Angela Schuett","is_ca":false},{"name":"R. H. van Gent","is_ca":false},{"name":"Adrian Fiech","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02191948800640703,"gpt":0.2704776963579844,"spread":0.2485582083515773,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0007763747,0.000573089,0.0005302631,0.001281407,0.001095497,0.004045491,0.001912009,0.00075078,0.02638406],"category_scores_gemma":[0.002721034,0.0005992431,0.0008952952,0.001155137,0.001540371,0.004456149,0.003707022,0.002266221,0.007624687],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008653805,"about_ca_system_score_gemma":0.002162128,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001394284,"about_ca_topic_score_gemma":0.002091501,"domain_scores_codex":[0.9985077,0.0001586954,0.0001009923,0.0002775979,0.0007146441,0.0002403966],"domain_scores_gemma":[0.9987038,0.0003206934,0.0001625905,0.0003542191,0.0003185312,0.000139967],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000771406,0.000183703,0.001978816,0.00135878,0.00005875332,0.0007095007,0.0008216961,0.004824202,0.02006549,0.5761161,0.1034352,0.2896764],"study_design_scores_gemma":[0.0000862454,0.0001233962,0.0007242267,0.0001920216,0.00004873474,0.001019735,0.00009299312,0.01636915,0.01364851,0.08610533,0.8815017,0.00008802984],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.0157621,0.0009022959,0.7627837,0.001356855,0.0009337157,0.0005319357,0.004393973,0.03111629,0.1822191],"genre_scores_gemma":[0.2358982,0.002383537,0.551721,0.003317054,0.0005921617,0.001997037,0.01474013,0.01080368,0.1785472],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.02638406,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2904756193","doi":"10.1145/3229061","title":"Type-Driven Gradual Security with References","year":2018,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":45,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"","keywords":"Computer science; Programming language; Static analysis; Code refactoring; Simple (philosophy); Type (biology); Type safety; Type inference; Code (set theory); Theoretical computer science; Artificial intelligence; Software","authors":[{"name":"Matías Toro","is_ca":false},{"name":"Ronald Garcia","is_ca":true},{"name":"Éric Tanter","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03285374123396055,"gpt":0.3009539253309454,"spread":0.2681001840969849,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007717997,0.001009384,0.0008903939,0.001456729,0.001702137,0.004791109,0.003872796,0.00248964,0.004345438],"category_scores_gemma":[0.0235758,0.001587329,0.002767801,0.001101528,0.008619728,0.01257053,0.0106697,0.006486484,0.002352657],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00204618,"about_ca_system_score_gemma":0.004129918,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003298674,"about_ca_topic_score_gemma":0.003402396,"domain_scores_codex":[0.991837,0.001855588,0.000664758,0.00131655,0.00323243,0.001093663],"domain_scores_gemma":[0.9791126,0.00643632,0.001446593,0.009272465,0.003130834,0.0006011035],"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.000141083,0.00004342367,0.001792852,0.00018864,0.00003054888,0.000332699,0.002254551,0.008233579,0.00709785,0.9480861,0.002090214,0.02970845],"study_design_scores_gemma":[0.0001148909,0.0001895985,0.000537665,0.000333268,0.0001331017,0.000719315,0.0005068104,0.07059957,0.03689935,0.7900064,0.0997306,0.0002294551],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03617496,0.0002927683,0.9425885,0.00112899,0.0002136991,0.0001505617,0.0002039909,0.006942513,0.01230402],"genre_scores_gemma":[0.5292869,0.0003823225,0.4466265,0.00155243,0.0001976216,0.0003481769,0.0003658807,0.003226753,0.0180134],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.007717997,"threshold_uncertainty_score":0.04081714,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2027222319","doi":"10.1145/1286821.1286823","title":"Encapsulating objects with confined types","year":2007,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"McGill University; Purdue University; Deutscher Akademischer Austauschdienst; National Science Foundation","keywords":"Computer science; Code refactoring; Programming language; Compiler; Java; Object-oriented programming; Encapsulation (networking); Source code; Software; Software engineering","authors":[{"name":"Christian Grothoff","is_ca":false},{"name":"Jens Palsberg","is_ca":false},{"name":"Jan Vítek","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0178246464309781,"gpt":0.2677947856153134,"spread":0.2499701391843354,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003498734,0.0006303216,0.0008709009,0.002055429,0.001209453,0.003216406,0.001608218,0.001203345,0.001520441],"category_scores_gemma":[0.01961824,0.001280192,0.00141004,0.001554206,0.002523219,0.00731102,0.003772907,0.001666774,0.0006870443],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007400965,"about_ca_system_score_gemma":0.0015627,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00201517,"about_ca_topic_score_gemma":0.002024631,"domain_scores_codex":[0.9965882,0.000681833,0.0002938682,0.0005823547,0.001583897,0.0002697414],"domain_scores_gemma":[0.9810594,0.006334201,0.002415151,0.008119209,0.001811614,0.0002604537],"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.0004883102,0.0001663357,0.0501886,0.001051807,0.0002880167,0.00309127,0.008760423,0.06029217,0.08254424,0.5052912,0.008675107,0.2791625],"study_design_scores_gemma":[0.0000598326,0.0001497134,0.0086363,0.0005656477,0.0005402804,0.002073106,0.0009610523,0.3015769,0.1860074,0.4058721,0.09326009,0.0002976338],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1144775,0.0003151412,0.8733944,0.0002051558,0.00005732744,0.00007589005,0.0003143886,0.007596855,0.0035633],"genre_scores_gemma":[0.543354,0.0004878077,0.4469075,0.0002638535,0.00006879539,0.0001400217,0.0009060309,0.003622225,0.0042497],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003498734,"threshold_uncertainty_score":0.01850331,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1984005572","doi":"10.1145/1290520.1290522","title":"<i>Forma</i>","year":2007,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":31,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"IBM (Canada); University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Locality; Pointer (user interface); Data structure; Partition (number theory); Alias; Parallel computing; Locality of reference; Theoretical computer science; Algorithm; Computer hardware; Programming language; Cache; Data mining","authors":[{"name":"Peng Zhao","is_ca":true},{"name":"Shimin Cui","is_ca":true},{"name":"Yaoqing Gao","is_ca":true},{"name":"Raúl Silvera","is_ca":true},{"name":"José Nelson Amaral","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01628096330478509,"gpt":0.2897348647963653,"spread":0.2734539014915802,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001030312,0.001259416,0.0006546754,0.001306085,0.001146143,0.00386986,0.002478882,0.00157047,0.05335507],"category_scores_gemma":[0.003078497,0.0007553239,0.0007633406,0.001754905,0.001367233,0.005240204,0.002232855,0.001896333,0.02635938],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001861941,"about_ca_system_score_gemma":0.001801641,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005162811,"about_ca_topic_score_gemma":0.00626426,"domain_scores_codex":[0.9985585,0.0001434968,0.0001175365,0.0002402841,0.0007478802,0.0001923395],"domain_scores_gemma":[0.9982491,0.0002122641,0.0001266661,0.0005688851,0.0007091452,0.0001340537],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0004999826,0.00008398857,0.0008689867,0.0004085005,0.00003674165,0.0003085088,0.0001814184,0.003887667,0.02376229,0.0504036,0.5554495,0.3641088],"study_design_scores_gemma":[0.00004470393,0.0002010728,0.000592482,0.0001203464,0.00002165509,0.0005020068,0.00005123786,0.02165219,0.03658309,0.01404156,0.9261042,0.00008533208],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.01318439,0.005770763,0.6720231,0.008060196,0.009655034,0.0004320167,0.0051777,0.09253247,0.1931643],"genre_scores_gemma":[0.1469688,0.004451906,0.5104319,0.01217359,0.004404098,0.0007486402,0.01640162,0.02272644,0.281693],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.05335507,"threshold_uncertainty_score":0.1784905,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2465422497","doi":"10.1145/2983574","title":"The Truth, The Whole Truth, and Nothing But the Truth","year":2016,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Machine Learning in Materials Science","field":"Materials Science","cited_by":29,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University; University of Waterloo; University of Alberta","funders":"","keywords":"Exposition (narrative); Abandonment (legal); Nothing; Computer science; Epistemology; Field (mathematics); Engineering ethics; Law; Philosophy; Political science","authors":[{"name":"Stephen M. Blackburn","is_ca":false},{"name":"Amer Diwan","is_ca":false},{"name":"Matthias Hauswirth","is_ca":false},{"name":"Peter F. Sweeney","is_ca":false},{"name":"José Nelson Amaral","is_ca":true},{"name":"Tim Brecht","is_ca":true},{"name":"Lubomír Bulej","is_ca":false},{"name":"Cliff Click","is_ca":false},{"name":"Lieven Eeckhout","is_ca":false},{"name":"Sebastian Fischmeister","is_ca":true},{"name":"Daniel Frampton","is_ca":false},{"name":"Laurie Hendren","is_ca":true},{"name":"Michael Hind","is_ca":false},{"name":"Antony L. Hosking","is_ca":false},{"name":"Richard Jones","is_ca":false},{"name":"Tomáš Kalibera","is_ca":false},{"name":"Nathan Keynes","is_ca":false},{"name":"Nathaniel Nystrom","is_ca":false},{"name":"Andreas Zeller","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01296327250097417,"gpt":0.2714709635762032,"spread":0.258507691075229,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.05438507,0.001363794,0.001644652,0.00430201,0.01177323,0.02255541,0.004515045,0.01268944,0.008565766],"category_scores_gemma":[0.1244726,0.001530396,0.001617056,0.001970701,0.08844415,0.04744591,0.01438182,0.01719705,0.002437209],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.007586825,"about_ca_system_score_gemma":0.01084048,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003189572,"about_ca_topic_score_gemma":0.002842788,"domain_scores_codex":[0.9393793,0.03134058,0.004059901,0.005675453,0.01714079,0.002403986],"domain_scores_gemma":[0.8433201,0.09732988,0.01035503,0.02738109,0.01819764,0.003416284],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.00003074772,0.00002180756,0.0004359944,0.0002075399,0.00002547919,0.0001796752,0.006842309,0.0003386954,0.0002906557,0.9750645,0.007781122,0.008781562],"study_design_scores_gemma":[0.000009435189,0.00002212151,0.000134237,0.0005409518,0.00002036262,0.0001848243,0.004060541,0.0006777395,0.000529025,0.945927,0.04785724,0.00003660905],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"commentary","genre_gemma":"empirical","genre_scores_codex":[0.02530802,0.01255388,0.3083504,0.4030177,0.008187519,0.0002613433,0.0003212241,0.0006126639,0.2413872],"genre_scores_gemma":[0.7935666,0.007651929,0.1232489,0.03842717,0.003975016,0.0005072066,0.0003489306,0.0008271756,0.031447],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.05438507,"threshold_uncertainty_score":0.2876192,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2048907983","doi":"10.1145/1152649.1152652","title":"Controlling garbage collection and heap growth to reduce the execution time of Java applications","year":2006,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":29,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"IBM (Canada); University of Toronto; York University; University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; York University","keywords":"Garbage collection; Heap (data structure); Computer science; Manual memory management; Garbage; Memory leak; Java; Operating system; Memory footprint; Virtual machine; Database; Parallel computing; Programming language","authors":[{"name":"Tim Brecht","is_ca":true},{"name":"Eshrat Arjomandi","is_ca":true},{"name":"Chang Li","is_ca":true},{"name":"Hang Pham","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.009267692778704437,"gpt":0.258289020544383,"spread":0.2490213277656785,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001346987,0.001136639,0.0004932019,0.001079508,0.0006205983,0.001002149,0.001683955,0.0004771645,0.0006152569],"category_scores_gemma":[0.007625073,0.0005738589,0.0003643552,0.0008943062,0.0006068592,0.001957015,0.001050554,0.0007713664,0.0002851357],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007116178,"about_ca_system_score_gemma":0.001767801,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002043261,"about_ca_topic_score_gemma":0.003955165,"domain_scores_codex":[0.9983597,0.0002710535,0.0001924517,0.0002815467,0.0006991432,0.0001961258],"domain_scores_gemma":[0.9933943,0.003163186,0.001263454,0.001320231,0.000603,0.0002558783],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0006613165,0.0006641676,0.01192521,0.0005643032,0.00006962352,0.0001601817,0.0009899845,0.04587746,0.735517,0.00318159,0.0009140941,0.199475],"study_design_scores_gemma":[0.0001502351,0.0009577367,0.01492403,0.0000657531,0.0001725817,0.000299524,0.0002661161,0.2659441,0.7042919,0.002952698,0.009857018,0.0001183261],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6616564,0.001708455,0.3190733,0.0002922869,0.00007976304,0.0003203336,0.00008954617,0.01315527,0.003624647],"genre_scores_gemma":[0.8854745,0.0003852129,0.111939,0.0001411714,0.00002930809,0.00019834,0.00008981148,0.000687918,0.001054775],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.002043261,"threshold_uncertainty_score":0.007123649,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3106677187","doi":"10.1145/3417516","title":"Obsidian","year":2020,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Blockchain Technology Applications and Security","field":"Computer Science","cited_by":26,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"Center for Selective C-H Functionalization, National Science Foundation; U.S. Department of Defense","keywords":"Solidity; Computer science; State (computer science); Soundness; Programming language","authors":[{"name":"Michael Coblenz","is_ca":false},{"name":"Reed Oei","is_ca":false},{"name":"Tyler Etzel","is_ca":false},{"name":"Paulette Koronkevich","is_ca":true},{"name":"Miles Baker","is_ca":false},{"name":"Yannick Bloem","is_ca":false},{"name":"Brad A. Myers","is_ca":false},{"name":"Joshua Sunshine","is_ca":false},{"name":"Jonathan Aldrich","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02120712666427869,"gpt":0.2651548231398666,"spread":0.2439476964755879,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001914055,0.000651281,0.0005039503,0.001170188,0.0008853054,0.002811534,0.002119377,0.001247113,0.1074529],"category_scores_gemma":[0.005307959,0.0009252099,0.0008491838,0.0009343058,0.001077655,0.00481015,0.004335275,0.001850098,0.03909359],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001142603,"about_ca_system_score_gemma":0.002118733,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002903767,"about_ca_topic_score_gemma":0.003679178,"domain_scores_codex":[0.998319,0.0002135179,0.0001284581,0.000309243,0.0008097607,0.0002201041],"domain_scores_gemma":[0.9969419,0.0005879828,0.0001609337,0.001260323,0.0007959626,0.0002528938],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.001335644,0.0002357353,0.004888308,0.001085879,0.00007871916,0.0005630869,0.001112671,0.004510576,0.0244822,0.3554783,0.2764116,0.3298173],"study_design_scores_gemma":[0.00009896097,0.0001047312,0.0007371797,0.0001079244,0.0000274298,0.0003897518,0.00009444659,0.01102947,0.007817372,0.03456593,0.9449851,0.00004164722],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"software","genre_scores_codex":[0.02284399,0.0008905031,0.4276366,0.002246521,0.001056282,0.0005782985,0.00795129,0.1844625,0.3523341],"genre_scores_gemma":[0.2149965,0.001369122,0.2615809,0.002458881,0.0003400999,0.0007408252,0.02515773,0.04400728,0.4493487],"genre_candidate":"software","genre_consensus":null,"teacher_disagreement_score":0.1074529,"threshold_uncertainty_score":0,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4386711821","doi":"10.1145/3618003","title":"Capturing Types","year":2023,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Programming language; Simple (philosophy); Key (lock); Type safety; Data type; Variable (mathematics); Theoretical computer science; Mathematics","authors":[{"name":"Aleksander Boruch-Gruszecki","is_ca":true},{"name":"Martin Odersky","is_ca":true},{"name":"Edward Lee","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02784691637161136,"gpt":0.2796709984320646,"spread":0.2518240820604532,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007213578,0.001373084,0.001167258,0.002062092,0.001968013,0.00743298,0.004077544,0.002282666,0.009913754],"category_scores_gemma":[0.02572786,0.001685383,0.002450378,0.002392189,0.003847194,0.01264416,0.006948489,0.004412373,0.003719685],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002537593,"about_ca_system_score_gemma":0.004164363,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003461229,"about_ca_topic_score_gemma":0.003071148,"domain_scores_codex":[0.9905372,0.001967606,0.001189278,0.001848227,0.003629319,0.0008282939],"domain_scores_gemma":[0.9853968,0.003734124,0.0008311894,0.00733964,0.002406325,0.0002918809],"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.00007657699,0.00003335595,0.001735129,0.0002134813,0.00004197326,0.0001637783,0.001008894,0.002944677,0.003723431,0.9210965,0.007998823,0.06096333],"study_design_scores_gemma":[0.00005252539,0.00008128575,0.0006128668,0.0003563901,0.00013046,0.000919081,0.0004716491,0.02593031,0.02509421,0.6714591,0.2747634,0.0001286593],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005439065,0.0002868457,0.9800024,0.0004860483,0.0002655392,0.0002421909,0.0008935885,0.003299331,0.009085058],"genre_scores_gemma":[0.2301189,0.001164527,0.7371976,0.001641819,0.0003583207,0.0007717246,0.003564548,0.003667482,0.0215152],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009913754,"threshold_uncertainty_score":0.03814948,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2170181173","doi":"10.1145/2220365.2220366","title":"Partially Evaluating Finite-State Runtime Monitors Ahead of Time","year":2012,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":19,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University; University of Waterloo","funders":"Bundesministerium für Bildung und Forschung; University of Oxford","keywords":"Computer science; Runtime verification; AspectJ; Compile time; State (computer science); Property (philosophy); Java; Runtime system; Compiler; Programming language; Finite-state machine; Implementation; Set (abstract data type); Static analysis; Distributed computing; Software; Formal verification; Aspect-oriented programming","authors":[{"name":"Eric Bodden","is_ca":false},{"name":"Patrick Lam","is_ca":true},{"name":"Laurie Hendren","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03542469374141972,"gpt":0.3097570689431473,"spread":0.2743323752017275,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003730929,0.001247601,0.001074849,0.000960018,0.0005427984,0.001499754,0.001599995,0.0007897749,0.001738369],"category_scores_gemma":[0.01639641,0.001056572,0.001548456,0.0004598925,0.001986822,0.002897538,0.001521092,0.00151721,0.0004342543],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00126432,"about_ca_system_score_gemma":0.002424255,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002219825,"about_ca_topic_score_gemma":0.003671703,"domain_scores_codex":[0.995232,0.001464944,0.000289971,0.0008572618,0.001606566,0.0005492954],"domain_scores_gemma":[0.9775679,0.01209243,0.001952975,0.005725853,0.00234263,0.000318258],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.002467387,0.0004720158,0.04465248,0.001020084,0.0005848536,0.001136882,0.001496362,0.3479039,0.2821203,0.03476417,0.003680861,0.2797006],"study_design_scores_gemma":[0.00008907768,0.000439699,0.004307779,0.00007372386,0.0002403877,0.0002520518,0.0001074466,0.8188961,0.1563619,0.0146398,0.004502843,0.00008925762],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.381882,0.0004414954,0.5864196,0.000281708,0.00009278163,0.0001229439,0.0002445263,0.02741995,0.00309503],"genre_scores_gemma":[0.7981711,0.0001069282,0.198045,0.0001580033,0.00002770089,0.0001092007,0.0003761008,0.00179336,0.001212699],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003730929,"threshold_uncertainty_score":0.01973122,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2140249069","doi":"10.1145/1108970.1108975","title":"Implicit-signal monitors","year":2005,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":14,"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; SIGNAL (programming language); POSIX Threads; Synchronization (alternating current); Real-time computing; Bottleneck; Concurrency; Embedded system; Distributed computing; Programming language; Thread (computing)","authors":[{"name":"Peter A. Buhr","is_ca":true},{"name":"Ashif S. Harji","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01965813410887789,"gpt":0.2791380623098197,"spread":0.2594799282009418,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002788124,0.001035428,0.0004873208,0.0005446177,0.0005421979,0.002633,0.002919179,0.001239515,0.01200001],"category_scores_gemma":[0.011214,0.0007605387,0.0007734796,0.0004179155,0.001606992,0.004751277,0.002782167,0.002468353,0.002641142],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007362548,"about_ca_system_score_gemma":0.001440817,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008516516,"about_ca_topic_score_gemma":0.001008892,"domain_scores_codex":[0.996511,0.0009357189,0.0002608938,0.0006016453,0.001383858,0.0003069408],"domain_scores_gemma":[0.9909524,0.00402957,0.0007386945,0.002602569,0.001441173,0.0002356072],"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.002576065,0.0004262162,0.007999605,0.001738581,0.0001630307,0.0006459318,0.001811582,0.04599337,0.06811461,0.5585494,0.02352391,0.2884577],"study_design_scores_gemma":[0.0005521166,0.00107403,0.001983687,0.0004373153,0.0003227503,0.000853906,0.0002091659,0.3938403,0.1842212,0.1463219,0.2699778,0.0002057998],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01882647,0.0003406598,0.9495725,0.0003167962,0.0001969983,0.0002276702,0.0002569625,0.0132197,0.0170423],"genre_scores_gemma":[0.5039825,0.0006791031,0.4539096,0.0009302138,0.0002293848,0.0006923903,0.0007864081,0.003966184,0.03482412],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01200001,"threshold_uncertainty_score":0.04014397,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W3211705538","doi":"10.1145/3477082","title":"TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs","year":2021,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Toronto","funders":"Horizon 2020; Engineering and Physical Sciences Research Council; European Commission; UK Research and Innovation","keywords":"Liveness; Computer science; Blocking (statistics); Correctness; Separation logic; Abstraction; Programming language; Implementation; Mutual exclusion; Concurrency; Theoretical computer science; Model checking; Distributed computing","authors":[{"name":"Emanuele D’Osualdo","is_ca":false},{"name":"Julian Sutherland","is_ca":false},{"name":"Azadeh Farzan","is_ca":true},{"name":"Philippa Gardner","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.01933573393885135,"gpt":0.2976680095504109,"spread":0.2783322756115595,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007984689,0.001048341,0.000919234,0.001651381,0.001605816,0.003891241,0.002821416,0.001767111,0.003889705],"category_scores_gemma":[0.01634043,0.001256832,0.003201111,0.0006344325,0.0042733,0.007793564,0.005637745,0.0050805,0.000905834],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002131988,"about_ca_system_score_gemma":0.003950869,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00466693,"about_ca_topic_score_gemma":0.005474714,"domain_scores_codex":[0.9952843,0.001366447,0.0004305944,0.0005240901,0.001860064,0.0005346211],"domain_scores_gemma":[0.9913943,0.004797019,0.000665749,0.001400121,0.001316482,0.0004263248],"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.0003448694,0.0002016891,0.001228441,0.0005249723,0.0001317816,0.0007404193,0.002004533,0.08519285,0.0197852,0.8083124,0.00336277,0.07817013],"study_design_scores_gemma":[0.0001590787,0.0001324325,0.0001461249,0.0001319877,0.000139478,0.0002657011,0.0002896549,0.4430006,0.02790617,0.5094635,0.01827956,0.00008557225],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005186878,0.00006665038,0.9917527,0.0002004007,0.00004264644,0.00007054072,0.00005310413,0.001709283,0.0009178599],"genre_scores_gemma":[0.2443049,0.0002314752,0.7503478,0.0003974961,0.00009267031,0.0003105308,0.0003216081,0.000701149,0.003292404],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007984689,"threshold_uncertainty_score":0.04222757,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2037783464","doi":"10.1145/1057387.1057389","title":"Dealing with incomplete knowledge on CLP( <i>FD</i> ) variable domains","year":2005,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":false,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"","funders":"Canadian Patient Safety Institute","keywords":"Computer science; Local consistency; Consistency (knowledge bases); Semantics (computer science); Domain (mathematical analysis); Set (abstract data type); Answer set programming; Theoretical computer science; Constraint programming; Programming language; Constraint logic programming; Constraint (computer-aided design); Constraint satisfaction; Artificial intelligence; Mathematical optimization; Mathematics","authors":[{"name":"Marco Gavanelli","is_ca":false},{"name":"Evelina Lamma","is_ca":false},{"name":"Paola Mello","is_ca":false},{"name":"Michela Milano","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.0142407032625593,"gpt":0.2645974458612206,"spread":0.2503567425986613,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009701204,0.0009230447,0.001095008,0.001580344,0.001391862,0.006138374,0.003884609,0.001771608,0.00348966],"category_scores_gemma":[0.02118687,0.001145896,0.002030228,0.003697156,0.004210704,0.01284202,0.004850162,0.004357772,0.0005121688],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002655765,"about_ca_system_score_gemma":0.003224827,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00818987,"about_ca_topic_score_gemma":0.008406635,"domain_scores_codex":[0.9932896,0.002664428,0.0007384412,0.001319744,0.001493882,0.0004939212],"domain_scores_gemma":[0.9827723,0.01148579,0.001315247,0.002703936,0.001482596,0.0002402605],"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.00009554237,0.00002955621,0.0009876769,0.0003581136,0.00005512966,0.0006059933,0.001070738,0.07669552,0.001453855,0.8460075,0.004310628,0.06832977],"study_design_scores_gemma":[0.00006566458,0.00005297691,0.0003049035,0.0002179897,0.00007899116,0.0005887519,0.0004693854,0.2636327,0.006757449,0.6706938,0.05707366,0.00006353186],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.005618061,0.0001592182,0.9906544,0.0006710125,0.00002502512,0.00008157825,0.0002838869,0.0004162152,0.002090588],"genre_scores_gemma":[0.11374,0.0004604178,0.8801715,0.0005128579,0.00007798689,0.0003536075,0.0008356872,0.0002971207,0.003550829],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.009701204,"threshold_uncertainty_score":0.05130547,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W1996180635","doi":"10.1145/1498926.1498927","title":"Deferring design pattern decisions and automating structural pattern changes using a design-pattern-based programming system","year":2009,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Software Engineering Research","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of Alberta; University of Waterloo","funders":"University of Alberta","keywords":"Computer science; Software design pattern; Specification pattern; Design pattern; Generative Design; Coding (social sciences); Engineering design process; Structural pattern; Architecture; Context (archaeology); Software design; Software engineering; Programming language; Software development; Software","authors":[{"name":"Steve MacDonald","is_ca":true},{"name":"Kai Tan","is_ca":true},{"name":"Jonathan Schaeffer","is_ca":true},{"name":"Duane Szafron","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05634059262171508,"gpt":0.3122899557454259,"spread":0.2559493631237108,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.006792283,0.001519035,0.0006233161,0.001119674,0.0007803969,0.002565768,0.002508051,0.001746933,0.002496794],"category_scores_gemma":[0.02123955,0.001150024,0.001145955,0.0008095835,0.001886457,0.003370523,0.002063744,0.003139717,0.001351411],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009463436,"about_ca_system_score_gemma":0.002739152,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001905701,"about_ca_topic_score_gemma":0.002368661,"domain_scores_codex":[0.9942714,0.002082441,0.0005824178,0.001204663,0.001558299,0.0003008513],"domain_scores_gemma":[0.9858333,0.007460781,0.001247429,0.003718952,0.001437901,0.0003015967],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005613471,0.0007022714,0.006173282,0.0006495865,0.0001407359,0.00120018,0.004586963,0.07407547,0.06190108,0.06941465,0.01005332,0.7705411],"study_design_scores_gemma":[0.0003354584,0.000631891,0.001348146,0.0003008943,0.000199829,0.001472838,0.000497277,0.720069,0.08847812,0.08953276,0.09692329,0.000210465],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006220507,0.00002495617,0.9850932,0.0002238663,0.00002570626,0.0002229855,0.00004103726,0.006938283,0.001209536],"genre_scores_gemma":[0.03730492,0.00006691869,0.9586576,0.0001695863,0.00001479175,0.000254638,0.0001760428,0.0007819832,0.002573603],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006792283,"threshold_uncertainty_score":0.03592139,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2023809115","doi":"10.1145/1011508.1011510","title":"Polymorphic specialization for ML","year":2004,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":9,"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":"Soundness; Computer science; Semantics (computer science); Programming language; Type inference; Functional programming; Recursion (computer science); Linear logic; Inference; Lambda calculus; Theoretical computer science; Operational semantics; Artificial intelligence","authors":[{"name":"Simon Helsen","is_ca":true},{"name":"Peter Thiemann","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02675059458321067,"gpt":0.2806556860792817,"spread":0.253905091496071,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003851576,0.0007780204,0.0009726658,0.001437393,0.001336853,0.003286116,0.002275469,0.001117228,0.00666477],"category_scores_gemma":[0.005158165,0.0009895638,0.002441939,0.001348306,0.004435784,0.007377926,0.004222882,0.004449613,0.001948865],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002123983,"about_ca_system_score_gemma":0.002034783,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002716795,"about_ca_topic_score_gemma":0.00212099,"domain_scores_codex":[0.9965776,0.0009944,0.0002322971,0.0006213788,0.001132089,0.0004423882],"domain_scores_gemma":[0.99703,0.001078906,0.000249458,0.001102147,0.0004311601,0.0001082625],"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.00002091924,0.000009813903,0.0002066115,0.00007056334,0.0000116134,0.00009699859,0.0003899437,0.003077932,0.00192197,0.9695107,0.001361417,0.02332155],"study_design_scores_gemma":[0.00001997084,0.00005097458,0.0002831666,0.00007670969,0.00006637328,0.0004075008,0.0001079706,0.05435938,0.006738264,0.863183,0.07464799,0.00005879108],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002940053,0.0002288313,0.9886825,0.0003324184,0.00005451812,0.00004530253,0.00006175544,0.001568973,0.006085573],"genre_scores_gemma":[0.3237979,0.0007808703,0.6615293,0.0007996816,0.0005402715,0.0002518113,0.0002134129,0.001869643,0.01021708],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.00666477,"threshold_uncertainty_score":0.02229589,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4223911053","doi":"10.1145/3563943","title":"Towards Porting Operating Systems with Program Synthesis","year":2022,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"University of British Columbia","funders":"U.S. Air Force; Natural Sciences and Engineering Research Council of Canada; Defense Advanced Research Projects Agency; Eidgenössische Technische Hochschule Zürich; U.S. Department of Defense","keywords":"Computer science; Toolchain; Porting; Software portability; Scalability; Programming language; Code generation; Abstract machine; Program synthesis; Operating system; Embedded system; Computer architecture; Software engineering; Software","authors":[{"name":"Jingmei Hu","is_ca":false},{"name":"Eric Lu","is_ca":false},{"name":"David A. Holland","is_ca":false},{"name":"Ming Kawaguchi","is_ca":false},{"name":"Stephen Chong","is_ca":false},{"name":"Margo Seltzer","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02496823512078345,"gpt":0.2898715452319761,"spread":0.2649033101111926,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003019353,0.001042552,0.000654521,0.001036444,0.0005587369,0.00229889,0.001706291,0.001023745,0.003732541],"category_scores_gemma":[0.008604363,0.0009648707,0.001472726,0.000682144,0.002449627,0.003206588,0.001915607,0.002737158,0.001434889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00095795,"about_ca_system_score_gemma":0.002085617,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001370432,"about_ca_topic_score_gemma":0.001237397,"domain_scores_codex":[0.9969891,0.001008724,0.0002547605,0.0003579921,0.00119003,0.0001994209],"domain_scores_gemma":[0.9953949,0.002502468,0.0002282618,0.00126935,0.000540029,0.00006492357],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.0001859528,0.0002548783,0.00210662,0.0009483761,0.0001219761,0.0004394522,0.0009137368,0.2737511,0.05571786,0.3098015,0.005398299,0.3503604],"study_design_scores_gemma":[0.00009669288,0.0002051973,0.0003227759,0.0002866941,0.0000883831,0.0002369031,0.0001391624,0.6689461,0.07860146,0.1888012,0.06220557,0.00006983869],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00755831,0.0001979348,0.9837991,0.000244011,0.00004864926,0.0001152096,0.00004432849,0.004259701,0.003732793],"genre_scores_gemma":[0.08198247,0.0006031155,0.9134055,0.0002201432,0.00004915925,0.0002800567,0.0002703202,0.001250292,0.001938832],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003732541,"threshold_uncertainty_score":0.01596802,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2083104467","doi":"10.1145/1377492.1377494","title":"Relations as an abstraction for BDD-based program analysis","year":2008,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University; University of Waterloo","funders":"","keywords":"Computer science; Programming language; Binary decision diagram; Theoretical computer science; Language construct","authors":[{"name":"Ondřej Lhoták","is_ca":true},{"name":"Laurie Hendren","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.04614680829532904,"gpt":0.3601858993755705,"spread":0.3140390910802415,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002836958,0.001275106,0.0009014716,0.002653743,0.0009826584,0.00365709,0.001634732,0.0008352339,0.004630927],"category_scores_gemma":[0.005215955,0.001282426,0.002604725,0.001947747,0.002827894,0.004320641,0.003240631,0.004140184,0.001488972],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001524498,"about_ca_system_score_gemma":0.001838652,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002374131,"about_ca_topic_score_gemma":0.00311338,"domain_scores_codex":[0.9971519,0.0008218621,0.0003629192,0.0004449372,0.00100614,0.0002122464],"domain_scores_gemma":[0.997521,0.001386089,0.000164432,0.0005737917,0.0002880065,0.00006664735],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001076868,0.00005208728,0.0007110995,0.000646913,0.0000838827,0.0003220967,0.0006939271,0.04244697,0.007805493,0.840856,0.00386683,0.1024071],"study_design_scores_gemma":[0.00006807684,0.00006710903,0.0002368121,0.0002350638,0.0001231777,0.0002926297,0.0001239721,0.2205336,0.01342713,0.6393967,0.1254244,0.00007140906],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0007398693,0.0001389727,0.9965341,0.0000690479,0.0000386867,0.00004461704,0.00009086724,0.001124828,0.001218961],"genre_scores_gemma":[0.03746697,0.0004714034,0.9589193,0.00017835,0.00006361771,0.0002857261,0.0003731938,0.0006091319,0.001632306],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004630927,"threshold_uncertainty_score":0.01549196,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W2011384897","doi":"10.1145/1387673.1387677","title":"Two-dimensional bidirectional object layout","year":2008,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":3,"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":"Israel Science Foundation","keywords":"Computer science; Compiler; Scheme (mathematics); Programming language; Benchmark (surveying); Identifier; Bytecode; Inheritance (genetic algorithm); Field (mathematics); Parallel computing; Theoretical computer science; Virtual machine","authors":[{"name":"Joseph Gil","is_ca":false},{"name":"William Pugh","is_ca":false},{"name":"Grant Weddell","is_ca":true},{"name":"Yoav Zibin","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02356164494510692,"gpt":0.285637387146328,"spread":0.262075742201221,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0005952459,0.000546466,0.000437806,0.0008653706,0.00080333,0.001779478,0.001326274,0.0005895722,0.01584269],"category_scores_gemma":[0.00248805,0.0004798154,0.0004248872,0.001713157,0.0004992256,0.001630819,0.001916319,0.0006285947,0.003816107],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000762117,"about_ca_system_score_gemma":0.001410634,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002606362,"about_ca_topic_score_gemma":0.004743918,"domain_scores_codex":[0.9993986,0.0001149268,0.00006117811,0.00009985009,0.0002173471,0.000108089],"domain_scores_gemma":[0.9980209,0.0003653681,0.0001332283,0.0009259926,0.0004571776,0.00009731682],"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.0008979625,0.000287438,0.004739389,0.0007407157,0.00005976089,0.0003395859,0.0007815597,0.06976447,0.08124796,0.1449362,0.0594476,0.6367573],"study_design_scores_gemma":[0.000292443,0.0004065299,0.002491502,0.0001377103,0.00007044987,0.0006561013,0.000352933,0.3341981,0.1814849,0.07956433,0.400139,0.0002060453],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03426382,0.0003618976,0.9224129,0.0002891153,0.0001770155,0.0001575576,0.00195275,0.02093653,0.01944849],"genre_scores_gemma":[0.2774583,0.0003791302,0.6903039,0.000237036,0.00004017185,0.0004854516,0.003926563,0.003402718,0.0237668],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01584269,"threshold_uncertainty_score":0.05299914,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4387693588","doi":"10.1145/3610408","title":"Focusing on Refinement Typing","year":2023,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada; Horizon 2020 Framework Programme; European Commission","keywords":"Computer science; Soundness; Programming language; Correctness; Decidability; Theoretical computer science; Unification; Type theory; Algorithm; Type (biology)","authors":[{"name":"Dimitrios J. Economou","is_ca":true},{"name":"Neel Krishnaswami","is_ca":false},{"name":"Jana Dunfield","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.03707078402181975,"gpt":0.2963346349498387,"spread":0.259263850928019,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005136125,0.0008438207,0.0009018407,0.001142591,0.002154494,0.003913875,0.002350492,0.00139463,0.01082376],"category_scores_gemma":[0.01016683,0.001129592,0.001697829,0.001131624,0.005904004,0.01014213,0.00589969,0.004982395,0.004077393],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001258026,"about_ca_system_score_gemma":0.003462293,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002830979,"about_ca_topic_score_gemma":0.003056459,"domain_scores_codex":[0.995894,0.001090543,0.0003090649,0.0009831407,0.001247806,0.0004754711],"domain_scores_gemma":[0.9930379,0.002127289,0.0002681601,0.003030088,0.001346305,0.0001902969],"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.00003478036,0.0000232141,0.000578439,0.0001492141,0.00001553567,0.00009086694,0.000719377,0.00265108,0.007475424,0.953407,0.001615473,0.03323966],"study_design_scores_gemma":[0.00003516557,0.0001212103,0.0002681453,0.0001748403,0.00008879084,0.0004054194,0.000375091,0.03414501,0.03026293,0.8346445,0.09940392,0.0000749172],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.003272228,0.0001051976,0.9865376,0.0004108382,0.00008679765,0.00008005148,0.00006148597,0.0006272653,0.008818572],"genre_scores_gemma":[0.1729535,0.0006307233,0.8104641,0.001174955,0.000227246,0.000413487,0.0002890621,0.001058373,0.01278854],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01082376,"threshold_uncertainty_score":0.03620905,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4409920357","doi":"10.1145/3732933","title":"Sound Static Data Race Verification for C: Is the Race Lost?","year":2025,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":1,"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; Race (biology); Sound (geography); Arms race; Acoustics","authors":[{"name":"Karoliine Holter","is_ca":false},{"name":"Simmo Saan","is_ca":false},{"name":"Patrick Lam","is_ca":true},{"name":"Vesal Vojdani","is_ca":false}],"retraction":null,"screen_n_in":null,"score":{"opus":0.05323993760904652,"gpt":0.3714969884658841,"spread":0.3182570508568376,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01359747,0.001344645,0.001081317,0.002050665,0.002332864,0.004437492,0.00367279,0.002485584,0.003965715],"category_scores_gemma":[0.07862045,0.0008330477,0.001650432,0.002145014,0.005464722,0.008733544,0.00350995,0.004066926,0.001460118],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003001976,"about_ca_system_score_gemma":0.008735709,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01130158,"about_ca_topic_score_gemma":0.0124463,"domain_scores_codex":[0.9741168,0.006651707,0.00154243,0.003425926,0.01156337,0.00269971],"domain_scores_gemma":[0.8995891,0.05862309,0.006478501,0.02145482,0.01280706,0.00104736],"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.00244419,0.0004638631,0.04647394,0.003466212,0.0004574955,0.0009935728,0.003495739,0.08840606,0.07607496,0.2288158,0.04536716,0.5035411],"study_design_scores_gemma":[0.0002725866,0.001203729,0.01371684,0.00164917,0.000413507,0.00154939,0.001666992,0.3822906,0.2556773,0.2417804,0.09924737,0.0005320976],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2294476,0.003490272,0.70041,0.00792623,0.0007029045,0.0002686927,0.001977303,0.03745646,0.01832061],"genre_scores_gemma":[0.7114571,0.0007613419,0.2750476,0.002590279,0.0001533106,0.0002293376,0.001939758,0.005088289,0.002732973],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01359747,"threshold_uncertainty_score":0.07191116,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null},{"id":"W4405080277","doi":"10.1145/3707203","title":"A Layered Approach to Intensional Analysis in Type Theory","year":2024,"lang":"en","type":"article","venue":"ACM Transactions on Programming Languages and Systems","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false},"ca_institutions":"McGill University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Type theory; Programming language; Normalization (sociology); Syntax; Functional programming; Data type; Metaprogramming; Theoretical computer science; Type (biology); Algorithm; Artificial intelligence","authors":[{"name":"Jason Z. S. Hu","is_ca":true},{"name":"Brigitte Pientka","is_ca":true}],"retraction":null,"screen_n_in":null,"score":{"opus":0.02670016142233279,"gpt":0.287105682198416,"spread":0.2604055207760832,"validation_status":"score_only:v0-immature-baseline"},"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.005895804,0.000904879,0.000870129,0.002477085,0.001746314,0.005373516,0.003078209,0.001356556,0.005152161],"category_scores_gemma":[0.007493916,0.001501944,0.003783622,0.001885189,0.00564902,0.01404426,0.007105045,0.005567353,0.00145159],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002709826,"about_ca_system_score_gemma":0.002204891,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002893912,"about_ca_topic_score_gemma":0.003159111,"domain_scores_codex":[0.9957268,0.001332636,0.0003690337,0.0006728829,0.001316636,0.0005820012],"domain_scores_gemma":[0.9953024,0.001357589,0.000313523,0.001983693,0.0007895049,0.000253347],"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.00002602839,0.00001864662,0.0003533451,0.00005675893,0.00003086376,0.00007189836,0.0005501179,0.004242665,0.002272053,0.9779158,0.0007019685,0.01375986],"study_design_scores_gemma":[0.0000124852,0.00003123422,0.0001766834,0.00006512832,0.00005126984,0.0001377456,0.00009440594,0.03761837,0.004806569,0.936444,0.02051941,0.00004266208],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003061024,0.0001636072,0.9915715,0.000356647,0.00006584421,0.00002923087,0.00005859568,0.0005943712,0.004099116],"genre_scores_gemma":[0.156111,0.0004809568,0.8352021,0.0005717359,0.0002377713,0.0002380431,0.0001502001,0.0005921853,0.006415852],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005895804,"threshold_uncertainty_score":0.03118038,"prediction_status":"machine_predicted_unvalidated"},"labels":[],"label_agreement":null}]}