{"id":"W2616384889","doi":"10.1109/icst.2017.24","title":"IPA: Error Propagation Analysis of Multi-Threaded Programs Using Likely Invariants","year":2017,"lang":"en","type":"preprint","venue":"","topic":"Radiation Effects in Electronics","field":"Engineering","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of British Columbia","funders":"Natural Sciences and Engineering Research Council of Canada; Horizon 2020 Framework Programme","keywords":"Fault injection; Computer science; Robustness (evolution); Fault (geology); Invariant (physics); Fault coverage; Fault tolerance; Parallel computing; Algorithm; Distributed computing; Programming language; Mathematics; Engineering; Software; Electrical engineering; Electronic circuit","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.003625607,0.001512772,0.0006823,0.002768272,0.000749973,0.001764738,0.002331456,0.0009695751,0.002749471],"category_scores_gemma":[0.01235985,0.000777572,0.002096514,0.001208536,0.001987062,0.004281549,0.002293263,0.001712306,0.0004234468],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001090168,"about_ca_system_score_gemma":0.002040723,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001956747,"about_ca_topic_score_gemma":0.001882186,"domain_scores_codex":[0.9957585,0.000950679,0.0002873956,0.0006794896,0.001933605,0.0003903767],"domain_scores_gemma":[0.9894666,0.004751924,0.001869376,0.002601999,0.001196825,0.0001132453],"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.0006762177,0.0006118756,0.04734093,0.001116268,0.0004783952,0.001138816,0.001199696,0.3757183,0.09499564,0.07742073,0.004269976,0.3950331],"study_design_scores_gemma":[0.00003185718,0.0002358812,0.003510894,0.00006038873,0.0001093847,0.0002327177,0.00008623023,0.8688999,0.09515887,0.02901285,0.002608143,0.00005297192],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03315668,0.0001118148,0.9588591,0.00006703657,0.00001705951,0.0001135188,0.0002002392,0.006726227,0.0007483464],"genre_scores_gemma":[0.5164111,0.0001861827,0.4794218,0.00009122417,0.0000404923,0.0002660201,0.0009203875,0.001427185,0.001235554],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.003625607,"threshold_uncertainty_score":0.01917422,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06897228285210766,"score_gpt":0.3160404568122323,"score_spread":0.2470681739601246,"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."}}