{"id":"W2511956618","doi":"10.1007/978-3-319-48989-6_23","title":"Error Invariants for Concurrent Traces","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Atomicity; Computer science; Concurrency; TRACE (psycholinguistics); Slicing; Programmer; Program slicing; Programming language; Debugging; Theoretical computer science; Algorithm; Parallel computing; Database transaction","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0009626164,0.000490637,0.0005218894,0.0006706734,0.000288669,0.0004619216,0.003478845,0.0003419941,0.00001588742],"category_scores_gemma":[0.0001414775,0.0003904385,0.0001427258,0.0002979768,0.0004732067,0.0005259253,0.000849044,0.000407967,0.00002996737],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002056791,"about_ca_system_score_gemma":0.0005313419,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003053146,"about_ca_topic_score_gemma":0.00001137074,"domain_scores_codex":[0.9966616,0.00003406395,0.000553626,0.001465841,0.0006315014,0.0006533727],"domain_scores_gemma":[0.997373,0.000718214,0.0003727757,0.001050633,0.0003178649,0.0001675091],"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.000004496168,0.00002521259,0.000007912893,0.00003522544,0.00001053901,0.00001320332,0.0002706031,0.009558546,0.00004859563,0.1195825,0.0002768357,0.8701663],"study_design_scores_gemma":[0.0004707493,0.0002644573,0.00001685522,0.0005661608,0.000007172153,0.00003403491,4.275057e-8,0.7327861,0.001643354,0.2518775,0.01152197,0.00081151],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.000003713935,0.0004098824,0.9909858,0.001130214,0.002270624,0.0006253677,0.00001604453,0.0004563998,0.004101983],"genre_scores_gemma":[0.03997384,0.00008366766,0.9561701,0.001393271,0.0006527528,0.00004033473,0.00000759652,0.00004841637,0.001630016],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8693548,"threshold_uncertainty_score":0.9998547,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.032928697880267,"score_gpt":0.2880516709145642,"score_spread":0.2551229730342972,"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."}}