{"id":"W2953981063","doi":"10.1145/3338906.3338928","title":"Lifting Datalog-based analyses to software product lines","year":2019,"lang":"en","type":"preprint","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; General Motors of Canada","keywords":"Datalog; Computer science; Programming language; Software product line; Software; Inference; Cartesian product; Product (mathematics); Pointer (user interface); Lift (data mining); Benchmark (surveying); Theoretical computer science; Set (abstract data type); Parallel computing; Data mining; Software development; Artificial intelligence; Mathematics","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001604218,0.00084982,0.0006708238,0.001666782,0.0005444302,0.001816666,0.00182974,0.0006406435,0.003256767],"category_scores_gemma":[0.01211753,0.0009137997,0.00162956,0.001099245,0.001722805,0.003528963,0.003216052,0.002586499,0.001062461],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008376561,"about_ca_system_score_gemma":0.001419673,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002778817,"about_ca_topic_score_gemma":0.003011431,"domain_scores_codex":[0.9976744,0.0003869624,0.0001817556,0.0003689552,0.001178407,0.0002095558],"domain_scores_gemma":[0.9915404,0.004482595,0.0003692351,0.002511589,0.0009878135,0.0001084175],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0003205287,0.0002450149,0.005161912,0.0009165322,0.0001461436,0.0008225522,0.0009889028,0.1596524,0.05450478,0.1595512,0.008852632,0.6088374],"study_design_scores_gemma":[0.00003697148,0.00009724128,0.0008337405,0.0001174501,0.00006500061,0.0002556791,0.000148923,0.7175679,0.06369082,0.199835,0.01731221,0.0000391419],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02238481,0.000128777,0.9706669,0.0002101669,0.00004400118,0.00005480967,0.0001919797,0.0048739,0.001444641],"genre_scores_gemma":[0.3433653,0.0005546491,0.6502053,0.000457856,0.0001204659,0.0001417464,0.001001645,0.001791339,0.002361804],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.003256767,"threshold_uncertainty_score":0.01089495,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1766254964426543,"score_gpt":0.4030610020117607,"score_spread":0.2264355055691064,"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."}}