{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003354998,0.00138282,0.001097581,0.002342212,0.001443911,0.003783969,0.002419092,0.00161403,0.008132302],"category_scores_gemma":[0.01638931,0.001168208,0.001395662,0.001905096,0.004471119,0.008214443,0.004698111,0.004903262,0.001956439],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001860801,"about_ca_system_score_gemma":0.001475717,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001278801,"about_ca_topic_score_gemma":0.001019351,"domain_scores_codex":[0.9944987,0.0007730934,0.0004701689,0.0009657108,0.002550003,0.0007423866],"domain_scores_gemma":[0.9874801,0.005471218,0.0008161306,0.004082806,0.00181882,0.0003309232],"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.0001519158,0.00005360975,0.0004724707,0.0001615792,0.00002259578,0.0001659254,0.0004402269,0.01093635,0.002950045,0.9063957,0.004517497,0.07373212],"study_design_scores_gemma":[0.00002780826,0.00004061847,0.0001465819,0.0000708134,0.00003325881,0.0001399122,0.00008024622,0.04313812,0.008026361,0.9337695,0.01448913,0.000037701],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01528214,0.0008895205,0.9578746,0.0004670097,0.0005471826,0.00008146371,0.0001645753,0.003538195,0.02115531],"genre_scores_gemma":[0.706134,0.001379136,0.247694,0.0004435406,0.00094847,0.0003403961,0.0009720672,0.002749737,0.03933876],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008132302,"threshold_uncertainty_score":0.02720529,"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."}}