{"id":"W2398231325","doi":"10.1109/icse.2013.6606578","title":"Detecting deadlock in programs with data-centric synchronization","year":2013,"lang":"en","type":"article","venue":"2013 35th International Conference on Software Engineering (ICSE)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Atomicity; Programmer; Concurrency; Java; Programming language; Concurrency control; Deadlock; Synchronization (alternating current); Deadlock prevention algorithms; Compiler; Parallel computing; Distributed computing; Lock (firearm); Correctness; Semaphore; Concurrent computing; Operating system; Database transaction; Computer network","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.000193027,0.0002210388,0.0001878708,0.0001981979,0.00004956398,0.0005253761,0.001464616,0.00008280637,0.00006202964],"category_scores_gemma":[0.0001494308,0.0001968132,0.00002335761,0.0004373704,0.00001754652,0.001104719,0.0002333452,0.0002675776,0.0001680423],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001548123,"about_ca_system_score_gemma":0.00008962606,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003285836,"about_ca_topic_score_gemma":0.00005242748,"domain_scores_codex":[0.9982806,0.00002335765,0.0003356042,0.0005365245,0.0004765323,0.0003473833],"domain_scores_gemma":[0.998744,0.00005789618,0.0001310696,0.0006191852,0.0003434022,0.000104445],"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.0000415605,0.0007470961,0.09902462,0.0003158693,0.0002967576,0.0001684555,0.001209922,0.1480683,0.0003209694,0.1742719,0.00374172,0.5717928],"study_design_scores_gemma":[0.0004106607,0.00007086393,0.008629842,0.000340551,0.00000244634,0.00002336395,0.00002180868,0.9876243,0.00003984814,0.0000928986,0.00246012,0.0002832618],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02505167,0.00005525187,0.9729667,0.0003005488,0.0006530854,0.0003654822,0.00001941716,0.0003445088,0.0002432781],"genre_scores_gemma":[0.9482641,0.00001788199,0.05121492,0.00004817557,0.00009571635,0.00008655859,0.0001241296,0.00001941331,0.00012914],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9232124,"threshold_uncertainty_score":0.8025808,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03112865725741557,"score_gpt":0.2432501574316257,"score_spread":0.2121215001742102,"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."}}