{"id":"W3163160051","doi":"10.1145/2637365.2517225","title":"On the simplicity of synthesizing linked data structure operations","year":2013,"lang":"en","type":"article","venue":"ACM SIGPLAN Notices","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Computer science; Simplicity; Data structure; Code (set theory); Simple (philosophy); Code generation; Programming language; Algorithm; Theoretical computer science; Parallel computing; Set (abstract data type); Operating system","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.0002365257,0.00009878368,0.0001122461,0.00004426145,0.0001697014,0.0002021728,0.003495003,0.00004762765,0.0000389572],"category_scores_gemma":[0.003989763,0.00006048351,0.00001709411,0.0001703201,0.00004975337,0.0004025504,0.0007832613,0.0001396863,0.00002369949],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.000006956696,"about_ca_system_score_gemma":0.00003033789,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0006281657,"about_ca_topic_score_gemma":0.00003856959,"domain_scores_codex":[0.99916,0.00007593475,0.0001609932,0.0002716057,0.0001869856,0.0001444683],"domain_scores_gemma":[0.9939923,0.003309716,0.00007621385,0.002511491,0.0000753816,0.00003494087],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001953732,0.0004543918,0.02914279,0.0002286642,0.0002707039,0.00002178994,0.007290622,0.006890255,0.02954303,0.2594658,0.4069521,0.2597204],"study_design_scores_gemma":[0.0001927254,0.0002592507,0.04366876,0.0003174148,0.00004026354,0.00001815362,0.00005898166,0.6147231,0.01594162,0.3235002,0.0006787084,0.0006007834],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9069036,0.00007508406,0.0793604,0.00872606,0.0002275077,0.000490249,0.00006496181,0.003569249,0.0005829197],"genre_scores_gemma":[0.8724882,0.000001221059,0.1267522,0.0006904916,0.00003712047,0.000006994508,0.000008982223,0.000005424104,0.000009313429],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.6078328,"threshold_uncertainty_score":0.6494642,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06814676140076811,"score_gpt":0.2893190652301894,"score_spread":0.2211723038294212,"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."}}