{"id":"W2376727710","doi":"10.1145/2933575.2935310","title":"Proving Liveness of Parameterized Programs","year":2016,"lang":"en","type":"preprint","venue":"","topic":"Parallel Computing and Optimization Techniques","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Liveness; Correctness; Thread (computing); Computer science; Parameterized complexity; Programming language; Argument (complex analysis); Distributed computing; Theoretical computer science; Algorithm","routes":{"ca_aff":true,"ca_fund":true,"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.006401931,0.0008678933,0.0008696325,0.00116314,0.001315769,0.002907051,0.002606773,0.001668522,0.00375625],"category_scores_gemma":[0.0391215,0.001063372,0.00232727,0.0008883038,0.005398632,0.007267462,0.004282001,0.004741277,0.000572608],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002296857,"about_ca_system_score_gemma":0.002323891,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00244518,"about_ca_topic_score_gemma":0.001860032,"domain_scores_codex":[0.9923482,0.002214823,0.0006600916,0.001459676,0.002341259,0.0009760425],"domain_scores_gemma":[0.939269,0.0433064,0.003117324,0.009650307,0.003831091,0.0008258175],"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.0003878119,0.0003560877,0.01094543,0.0007227547,0.0003996651,0.001461184,0.002170224,0.2144142,0.05568083,0.607308,0.002889292,0.1032646],"study_design_scores_gemma":[0.00007943795,0.0001523863,0.001061453,0.0000934652,0.0001106093,0.0002608793,0.000271128,0.3798527,0.05147989,0.5603409,0.00624026,0.00005685182],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0814146,0.0002026672,0.9102612,0.0006128172,0.00004306606,0.0001229235,0.0002331737,0.002272439,0.004837076],"genre_scores_gemma":[0.819075,0.0004107935,0.1752024,0.0004456047,0.0001546444,0.0003469112,0.0007237736,0.0008860708,0.002754798],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006401931,"threshold_uncertainty_score":0.03385705,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.032525394011583,"score_gpt":0.2761459053756066,"score_spread":0.2436205113640236,"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."}}