{"id":"W3173415420","doi":"10.1109/tse.2021.3092692","title":"An Experience Report on Producing Verifiable Builds for Large-Scale Commercial Systems","year":2021,"lang":"en","type":"article","venue":"IEEE Transactions on Software Engineering","topic":"Software Reliability and Analysis Research","field":"Computer Science","cited_by":14,"is_retracted":false,"has_abstract":true,"ca_institutions":"York University; Huawei Technologies (Canada)","funders":"","keywords":"Toolchain; Verifiable secret sharing; Computer science; Software engineering; Process (computing); TRACE (psycholinguistics); Code (set theory); Software; Notation; Programming language; Theoretical computer science; Set (abstract data type)","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.01813531,0.0008828772,0.0004024256,0.002138799,0.00168995,0.003313747,0.002026769,0.001255907,0.008240258],"category_scores_gemma":[0.04091493,0.0006545385,0.0009622666,0.001744351,0.002173591,0.004469668,0.00501669,0.001889697,0.003495593],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001487893,"about_ca_system_score_gemma":0.003032161,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003464428,"about_ca_topic_score_gemma":0.004756299,"domain_scores_codex":[0.9851413,0.00546413,0.001181022,0.001408313,0.006077231,0.0007280324],"domain_scores_gemma":[0.9612722,0.01473019,0.001484987,0.01440052,0.006781824,0.001330269],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0003475468,0.0008236202,0.01598071,0.001522408,0.0001306824,0.003523294,0.03980725,0.01755622,0.05529282,0.03322293,0.02685644,0.8049361],"study_design_scores_gemma":[0.0001978441,0.00226253,0.02056559,0.001409307,0.0002799474,0.006746359,0.0147669,0.04805591,0.183255,0.02271471,0.6993101,0.0004358205],"study_design_candidate":"not_applicable","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2376789,0.002478277,0.6841168,0.002726533,0.0002539323,0.001386912,0.001064213,0.01274759,0.05754681],"genre_scores_gemma":[0.4459679,0.001473515,0.5299242,0.0003016228,0.00005851516,0.0004126976,0.002057591,0.003825562,0.01597851],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01813531,"threshold_uncertainty_score":0.09590983,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01907139386700939,"score_gpt":0.2849489485724643,"score_spread":0.2658775547054549,"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."}}