{"id":"W4411017475","doi":"10.1145/3721890.3721897","title":"Summary of the 6th International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) co-located with the 39th IEEE/ACM ASE 2024","year":2025,"lang":"en","type":"article","venue":"ACM SIGSOFT Software Engineering Notes","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"","keywords":"Verifiable secret sharing; Software engineering; Computer science; Software; Systems engineering; Engineering; Operating system; Programming language","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.009515791,0.00184838,0.001281675,0.003845617,0.001685291,0.007127932,0.001981056,0.002727568,0.07468773],"category_scores_gemma":[0.007560142,0.0007208363,0.001372395,0.002498764,0.0008765842,0.005141323,0.004764536,0.004606431,0.04438946],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002069147,"about_ca_system_score_gemma":0.004977228,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003579918,"about_ca_topic_score_gemma":0.008334292,"domain_scores_codex":[0.9942195,0.001087426,0.0004045441,0.000884957,0.002743002,0.0006605491],"domain_scores_gemma":[0.9878933,0.001177191,0.0003099546,0.0006920677,0.007308845,0.002618648],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0001836185,0.0001967083,0.0004643871,0.000606184,0.00002656768,0.0001760169,0.0002679988,0.000703043,0.003174074,0.003521103,0.8168967,0.1737835],"study_design_scores_gemma":[0.00002259672,0.0001337214,0.0009595517,0.0004814075,0.00002026625,0.0001383003,0.0001810867,0.0007305812,0.001393712,0.001433011,0.9944683,0.00003730408],"study_design_candidate":"not_applicable","study_design_consensus":"not_applicable","genre_codex":"other","genre_gemma":"review","genre_scores_codex":[0.01058647,0.09542017,0.1373314,0.09442995,0.3092929,0.00295664,0.006906372,0.003783523,0.3392926],"genre_scores_gemma":[0.02704828,0.04608144,0.03576251,0.007663874,0.03391961,0.001223646,0.01163229,0.002499218,0.8341692],"genre_candidate":"review","genre_consensus":null,"teacher_disagreement_score":0.07468773,"threshold_uncertainty_score":0.2498553,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01276982332790999,"score_gpt":0.2569284274883022,"score_spread":0.2441586041603922,"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."}}