{"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,"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","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.0001961818,0.000117176,0.0001288374,0.00007814665,0.0003693798,0.0003401041,0.0004240183,0.00005925261,0.000005896615],"category_scores_gemma":[0.00001458217,0.00008967645,0.00002320669,0.0003483213,0.0001001215,0.0001916739,0.00001300385,0.0001399617,0.00001722051],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001481306,"about_ca_system_score_gemma":0.00002803488,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0002463072,"about_ca_topic_score_gemma":0.00008810745,"domain_scores_codex":[0.9990429,0.00007173103,0.000156283,0.0003284858,0.0001968027,0.0002038206],"domain_scores_gemma":[0.9991377,0.0000976254,0.0000685247,0.0004987299,0.0001209148,0.00007648346],"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.00008364217,0.0004105229,0.001918726,0.0002502719,0.0002305853,0.0000438041,0.03271397,0.0002238478,0.0002579484,0.05837304,0.0002403135,0.9052534],"study_design_scores_gemma":[0.007438768,0.02171375,0.00945573,0.003365121,0.0004441857,0.003152572,0.07668066,0.4284731,0.01292885,0.007267253,0.4226505,0.006429603],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2294236,0.0005475999,0.766937,0.0006402492,0.0007695035,0.000391731,0.000004005492,0.000554927,0.0007314304],"genre_scores_gemma":[0.9817774,0.00001929803,0.01790486,0.00004983889,0.0001107162,0.00002209184,0.000001960648,0.000007038209,0.0001067874],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.8988237,"threshold_uncertainty_score":0.3656899,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03285374123396055,"score_gpt":0.3009539253309454,"score_spread":0.2681001840969849,"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."}}