{"id":"W2761442781","doi":"10.1145/3133910","title":"A model for reasoning about JavaScript promises","year":2017,"lang":"en","type":"article","venue":"Proceedings of the ACM on Programming Languages","topic":"Logic, programming, and type systems","field":"Computer Science","cited_by":36,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; National Science Foundation","keywords":"Computer science; Debugging; JavaScript; Correctness; Asynchrony (computer programming); Programming language; Asynchronous communication; Event (particle physics); Web application; Software engineering; Theoretical computer science; World Wide Web","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":"codex-gemma-dda1882f352a","candidate_categories":["open_science"],"consensus_categories":[],"category_scores_codex":[0.0008069834,0.0002343903,0.0003041702,0.00007086583,0.0007928029,0.001030597,0.00636516,0.0001071347,7.83462e-7],"category_scores_gemma":[0.003428299,0.0001536623,0.0002312066,0.0001124275,0.0001607854,0.0006122197,0.001421438,0.0001653731,0.000003856547],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003503182,"about_ca_system_score_gemma":0.00005020472,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000695319,"about_ca_topic_score_gemma":0.000009839967,"domain_scores_codex":[0.9983006,0.000007147251,0.0003004461,0.0005069781,0.0003913649,0.000493434],"domain_scores_gemma":[0.9973986,0.00005580462,0.0007061438,0.001433517,0.0003193613,0.00008656683],"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.00005723338,0.0002307508,0.01136072,0.0006386396,0.0001129873,0.000002050859,0.006727867,0.0000152011,0.00449708,0.6893891,0.003167436,0.2838009],"study_design_scores_gemma":[0.007620499,0.002660181,0.01507457,0.001633939,0.0004543921,0.0001784635,0.004870283,0.1934139,0.2107929,0.4735017,0.08616228,0.003636937],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7067194,0.006053378,0.1763037,0.02294397,0.004776774,0.01773126,0.00002764975,0.004234939,0.06120891],"genre_scores_gemma":[0.8994732,0.0000076303,0.09775849,0.00009131213,0.00014523,0.0002867983,6.694141e-7,0.0000254621,0.002211211],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.280164,"threshold_uncertainty_score":0.9990109,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04014316125137894,"score_gpt":0.2973735126818726,"score_spread":0.2572303514304937,"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."}}