{"id":"W4229515876","doi":"10.1145/2954679.2872395","title":"LDX","year":2016,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Simon Fraser University","funders":"Defense Advanced Research Projects Agency","keywords":"Computer science; Compiler; Overhead (engineering); Determinism; Causality (physics); Event (particle physics); Scheme (mathematics); Programming language","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.0001828477,0.00006645279,0.00006640901,0.00004417444,0.00009843583,0.00009809792,0.001446202,0.00003398718,0.00005349959],"category_scores_gemma":[0.0002818503,0.000044243,0.00002529843,0.0001381745,0.00002953096,0.0004105172,0.0002657567,0.00003949331,0.0005560286],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001309042,"about_ca_system_score_gemma":0.00002239803,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001054407,"about_ca_topic_score_gemma":0.000003656536,"domain_scores_codex":[0.9992897,0.00003506433,0.0001223628,0.0002371333,0.000146873,0.0001689012],"domain_scores_gemma":[0.9985061,0.0005953008,0.00006694276,0.0007403985,0.0000368876,0.00005439962],"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.000007603376,0.00007572403,0.01111111,0.00002300176,0.00002769346,0.00002096735,0.001964496,0.0000232531,0.006768956,0.5301059,0.0117654,0.4381059],"study_design_scores_gemma":[0.002178891,0.0003516609,0.09829841,0.0003496491,0.00002639882,0.00007711387,0.0001912557,0.02578406,0.06982858,0.1342942,0.6669495,0.001670249],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2093741,0.0002514186,0.7523572,0.02213378,0.001822378,0.0001371822,0.000004606888,0.000805602,0.01311369],"genre_scores_gemma":[0.9680399,0.000007196099,0.03107043,0.0005000223,0.0001528542,0.00000273024,4.47861e-7,0.00000344972,0.0002229817],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7586657,"threshold_uncertainty_score":0.7146808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03440186732557786,"score_gpt":0.2652169665836356,"score_spread":0.2308150992580578,"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."}}