{"id":"W4386442953","doi":"10.1145/3617172","title":"On the Caching Schemes to Speed Up Program Reduction","year":2023,"lang":"en","type":"article","venue":"ACM Transactions on Software Engineering and Methodology","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Reduction (mathematics); Debugging; Compiler; Cache; Parallel computing; Process (computing); ENCODE; Memory footprint; Encoding (memory); Compile time; Computation; Theoretical computer science; Computer engineering; Algorithm; Programming language; Artificial intelligence","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":[],"consensus_categories":[],"category_scores_codex":[0.001138861,0.0001724512,0.0001767402,0.0003587627,0.0002559603,0.00007199566,0.0004773893,0.00009798678,0.000003571419],"category_scores_gemma":[0.003688717,0.0001371697,0.00006104656,0.0008258605,0.00002915371,0.00008468574,0.00003322637,0.0003665552,0.00002685353],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002979763,"about_ca_system_score_gemma":0.00002036469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002885854,"about_ca_topic_score_gemma":4.869356e-7,"domain_scores_codex":[0.9988213,0.0001704405,0.0001580922,0.0003944431,0.0001439592,0.0003118308],"domain_scores_gemma":[0.9953255,0.00380784,0.00002939031,0.0007012476,0.00004163644,0.00009438429],"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.00001983335,0.00004596597,0.00002780976,0.00003071894,0.0000488365,0.000008740358,0.001203517,0.03883158,0.001119074,0.004454753,0.002037224,0.9521719],"study_design_scores_gemma":[0.002735695,0.008335557,0.01052316,0.001925444,0.0002963012,0.001681261,0.0004703902,0.4924379,0.1640214,0.2468595,0.06540162,0.005311852],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.04509002,0.00002019105,0.9355958,0.00161988,0.0009033249,0.0002492549,0.000001942909,0.01651478,0.000004770838],"genre_scores_gemma":[0.1520269,0.00001652937,0.8473761,0.0002264122,0.00004227526,0.0001308142,0.000001415459,0.00002316275,0.000156353],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9468601,"threshold_uncertainty_score":0.5593618,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1289523923715804,"score_gpt":0.3560371859268365,"score_spread":0.2270847935552561,"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."}}