{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T00:29:26Z","timestamp":1780100966785,"version":"3.54.0"},"publisher-location":"New York, NY, USA","reference-count":69,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,10,19]],"date-time":"2020-10-19T00:00:00Z","timestamp":1603065600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,10,19]]},"DOI":"10.1145\/3382025.3414965","type":"proceedings-article","created":{"date-parts":[[2020,10,16]],"date-time":"2020-10-16T19:22:18Z","timestamp":1602876138000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Variational satisfiability solving"],"prefix":"10.1145","author":[{"given":"Jeffrey M.","family":"Young","sequence":"first","affiliation":[{"name":"Oregon State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Eric","family":"Walkingshaw","sequence":"additional","affiliation":[{"name":"Oregon State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Th\u00fcm","sequence":"additional","affiliation":[{"name":"University of Ulm, Ulm, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. Int'l Conf. on Automated Software Engineering (ASE). IEEE, 424--427","author":"Acher Mathieu","unstructured":"Mathieu Acher , Philippe Collet , Philippe Lahire , and Robert B. France . 2011. Slicing Feature Models . In Proc. Int'l Conf. on Automated Software Engineering (ASE). IEEE, 424--427 . Mathieu Acher, Philippe Collet, Philippe Lahire, and Robert B. France. 2011. Slicing Feature Models. In Proc. Int'l Conf. on Automated Software Engineering (ASE). IEEE, 424--427."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Sofia Ananieva Matthias Kowal Thomas Th\u00fcm and Ina Schaefer. 2016. Implicit Constraints in Partial Feature Models. In Int. Work. on Feature-Oriented Software Development (FOSD). ACM 18--27.  Sofia Ananieva Matthias Kowal Thomas Th\u00fcm and Ina Schaefer. 2016. Implicit Constraints in Partial Feature Models. In Int. Work. on Feature-Oriented Software Development (FOSD) . ACM 18--27.","DOI":"10.1145\/3001867.3001870"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Sven Apel Wolfgang Scholz Christian Lengauer and Christian K\u00e4stner. 2010. Language-Independent Reference Checking in Software Product Lines. In Int. Work. on Feature-Oriented Software Development (FOSD). ACM 65--71.  Sven Apel Wolfgang Scholz Christian Lengauer and Christian K\u00e4stner. 2010. Language-Independent Reference Checking in Software Product Lines. In Int. Work. on Feature-Oriented Software Development (FOSD) . ACM 65--71.","DOI":"10.1145\/1868688.1868698"},{"key":"e_1_3_2_1_4_1","volume-title":"Variational Databases. In Int. Symp. on Database Programming Languages (DBPL). ACM, 11:1--11:4.","author":"Ataei Parisa","year":"2017","unstructured":"Parisa Ataei , Arash Termehchy , and Eric Walkingshaw . 2017 . Variational Databases. In Int. Symp. on Database Programming Languages (DBPL). ACM, 11:1--11:4. Parisa Ataei, Arash Termehchy, and Eric Walkingshaw. 2017. Variational Databases. In Int. Symp. on Database Programming Languages (DBPL). ACM, 11:1--11:4."},{"key":"e_1_3_2_1_5_1","volume-title":"Managing Structurally Heterogeneous Databases in Software Product Lines. In VLDB Workshop: Polystores and Other Systems for Heterogeneous Data (Poly).","author":"Ataei Parisa","year":"2018","unstructured":"Parisa Ataei , Arash Termehchy , and Eric Walkingshaw . 2018 . Managing Structurally Heterogeneous Databases in Software Product Lines. In VLDB Workshop: Polystores and Other Systems for Heterogeneous Data (Poly). Parisa Ataei, Arash Termehchy, and Eric Walkingshaw. 2018. Managing Structurally Heterogeneous Databases in Software Product Lines. In VLDB Workshop: Polystores and Other Systems for Heterogeneous Data (Poly)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103677"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465106.2465121"},{"key":"e_1_3_2_1_8_1","unstructured":"Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org.  Clark Barrett Pascal Fontaine and Cesare Tinelli. 2016. The Satisfiability Modulo Theories Library (SMT-LIB). www.SMT-LIB.org."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431855_34"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_12_1","volume-title":"Software Engineering and Formal Methods, Peter Csaba \u00d6lveczky and Gwen Sala\u00fcn (Eds.)","author":"Bittner Paul Maximilian","unstructured":"Paul Maximilian Bittner , Thomas Th\u00fcm , and Ina Schaefer . 2019. SAT Encodings of the At-Most-k Constraint . In Software Engineering and Formal Methods, Peter Csaba \u00d6lveczky and Gwen Sala\u00fcn (Eds.) . Springer International Publishing , Cham , 127--144. Paul Maximilian Bittner, Thomas Th\u00fcm, and Ina Schaefer. 2019. SAT Encodings of the At-Most-k Constraint. In Software Engineering and Formal Methods, Peter Csaba \u00d6lveczky and Gwen Sala\u00fcn (Eds.). Springer International Publishing, Cham, 127--144."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491976"},{"key":"e_1_3_2_1_14_1","volume-title":"Proc. of the ACM on Programming Languages (PACMPL) issue ACM SIGPLAN Symp. on Principles of Programming Languages (POPL) 2","author":"John Peter","year":"2018","unstructured":"John Peter Campora III, Sheng Chen , Martin Erwig , and Eric Walkingshaw . 2018 . Migrating Gradual Types . Proc. of the ACM on Programming Languages (PACMPL) issue ACM SIGPLAN Symp. on Principles of Programming Languages (POPL) 2 (2018), 15:1--15:29. John Peter Campora III, Sheng Chen, Martin Erwig, and Eric Walkingshaw. 2018. Migrating Gradual Types. Proc. of the ACM on Programming Languages (PACMPL) issue ACM SIGPLAN Symp. on Principles of Programming Languages (POPL) 2 (2018), 15:1--15:29."},{"key":"e_1_3_2_1_15_1","volume-title":"Proc. of the ACM on Programming Languages (PACMPL) issue ACM SIGPLAN Int. Conf. on Functional Programming (ICFP) 2","author":"John Peter","year":"2018","unstructured":"John Peter Campora III, Sheng Chen , and Eric Walkingshaw . 2018 . Casts and Costs: Harmonizing Safety and Performance in Gradual Typing . Proc. of the ACM on Programming Languages (PACMPL) issue ACM SIGPLAN Int. Conf. on Functional Programming (ICFP) 2 (2018), 98:1--98:30. John Peter Campora III, Sheng Chen, and Eric Walkingshaw. 2018. Casts and Costs: Harmonizing Safety and Performance in Gradual Typing. Proc. of the ACM on Programming Languages (PACMPL) issue ACM SIGPLAN Int. Conf. on Functional Programming (ICFP) 2 (2018), 98:1--98:30."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.04.002"},{"key":"e_1_3_2_1_17_1","volume-title":"Counter-Factual Typing for Debugging Type Errors. In ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages. 583--594","author":"Chen S.","unstructured":"S. Chen and M. Erwig . 2014 . Counter-Factual Typing for Debugging Type Errors. In ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages. 583--594 . S. Chen and M. Erwig. 2014. Counter-Factual Typing for Debugging Type Errors. In ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages. 583--594."},{"key":"e_1_3_2_1_18_1","volume-title":"IEEE Int. Symp. on Visual Languages and Human-Centric Computing. 145--152","author":"Chen S.","unstructured":"S. Chen , M. Erwig , and K. Smeltzer . 2014. Let's Hear Both Sides: On Combining Type-Error Reporting Tools . In IEEE Int. Symp. on Visual Languages and Human-Centric Computing. 145--152 . S. Chen, M. Erwig, and K. Smeltzer. 2014. Let's Hear Both Sides: On Combining Type-Error Reporting Tools. In IEEE Int. Symp. on Visual Languages and Human-Centric Computing. 145--152."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/3109510.3109551"},{"key":"e_1_3_2_1_20_1","volume-title":"An Error-Tolerant Type System for Variational Lambda Calculus. In ACM SIGPLAN Int. Conf. on Functional Programming (ICFP). 29--40","author":"Chen Sheng","year":"2012","unstructured":"Sheng Chen , Martin Erwig , and Eric Walkingshaw . 2012 . An Error-Tolerant Type System for Variational Lambda Calculus. In ACM SIGPLAN Int. Conf. on Functional Programming (ICFP). 29--40 . Sheng Chen, Martin Erwig, and Eric Walkingshaw. 2012. An Error-Tolerant Type System for Variational Lambda Calculus. In ACM SIGPLAN Int. Conf. on Functional Programming (ICFP). 29--40."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2518190"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988042.1988046"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_24_1","volume-title":"Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 211--220","author":"Czarnecki Krzysztof","year":"2006","unstructured":"Krzysztof Czarnecki and Krzysztof Pietroszek . 2006 . Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 211--220 . Krzysztof Czarnecki and Krzysztof Pietroszek. 2006. Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 211--220."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1308171.1308185"},{"key":"e_1_3_2_1_26_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"de Moura Leonardo","unstructured":"Leonardo de Moura and Nikolaj Bj\u00f8rner . 2008. Z3: An Efficient SMT Solver . In Tools and Algorithms for the Construction and Analysis of Systems , C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 337--340. Leonardo de Moura and Nikolaj Bj\u00f8rner. 2008. Z3: An Efficient SMT Solver. In Tools and Algorithms for the Construction and Analysis of Systems, C. R. Ramakrishnan and Jakob Rehof (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 337--340."},{"key":"e_1_3_2_1_27_1","volume-title":"Multiple Comparisons Among Means","author":"Dunn Jean","year":"1961","unstructured":"Jean Dunn and Olive Jean Dunn . 1961. Multiple Comparisons Among Means . American Statistical Association ( 1961 ), 52--64. Jean Dunn and Olive Jean Dunn. 1961. Multiple Comparisons Among Means. American Statistical Association (1961), 52--64."},{"key":"e_1_3_2_1_28_1","volume-title":"Variational Pictures. In Int. Conf. on the Theory and Application of Diagrams (LNAI 10871)","author":"Erwig M.","unstructured":"M. Erwig and K. Smeltzer . 2018 . Variational Pictures. In Int. Conf. on the Theory and Application of Diagrams (LNAI 10871) . 55--70. M. Erwig and K. Smeltzer. 2018. Variational Pictures. In Int. Conf. on the Theory and Application of Diagrams (LNAI 10871). 55--70."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2063239.2063245"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Martin Erwig Eric Walkingshaw and Sheng Chen. 2013. An Abstract Representation of Variational Graphs. In Int. Work. on Feature-Oriented Software Development (FOSD). ACM 25--32.  Martin Erwig Eric Walkingshaw and Sheng Chen. 2013. An Abstract Representation of Variational Graphs. In Int. Work. on Feature-Oriented Software Development (FOSD) . ACM 25--32.","DOI":"10.1145\/2528265.2528270"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2017.7884632"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00607-018-0646-1"},{"key":"e_1_3_2_1_33_1","volume-title":"The Stanford Encyclopedia of Philosophy (fall 2018 ed.), Edward N","author":"Garson James","unstructured":"James Garson . 2018. Modal Logic . In The Stanford Encyclopedia of Philosophy (fall 2018 ed.), Edward N . Zalta (Ed.). Metaphysics Research Lab, Stanford University . James Garson. 2018. Modal Logic. In The Stanford Encyclopedia of Philosophy (fall 2018 ed.), Edward N. Zalta (Ed.). Metaphysics Research Lab, Stanford University."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.09.007"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238856"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048128"},{"key":"e_1_3_2_1_37_1","volume-title":"Spectre Attacks: Exploiting Speculative Execution. In 40th IEEE Symposium on Security and Privacy (S&P'19)","author":"Kocher Paul","year":"2019","unstructured":"Paul Kocher , Jann Horn , Anders Fogh , Daniel Genkin , Daniel Gruss , Werner Haas , Mike Hamburg , Moritz Lipp , Stefan Mangard , Thomas Prescher , Michael Schwarz , and Yuval Yarom . 2019 . Spectre Attacks: Exploiting Speculative Execution. In 40th IEEE Symposium on Security and Privacy (S&P'19) . Paul Kocher, Jann Horn, Anders Fogh, Daniel Genkin, Daniel Gruss, Werner Haas, Mike Hamburg, Moritz Lipp, Stefan Mangard, Thomas Prescher, Michael Schwarz, and Yuval Yarom. 2019. Spectre Attacks: Exploiting Speculative Execution. In 40th IEEE Symposium on Security and Privacy (S&P'19)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2993236.2993248"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934477"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180159"},{"key":"e_1_3_2_1_41_1","volume-title":"Accessed at May 4th","author":"Labs Redis","year":"2020","unstructured":"Redis Labs . [n.d.]. Redis. Accessed at May 4th , 2020 . Redis Labs. [n.d.]. Redis. Accessed at May 4th, 2020."},{"key":"e_1_3_2_1_42_1","volume-title":"A Global Switch To Kill Linux's CPU Spectre\/Meltdown Workarounds? Accessed at March 25th","author":"Larabel Micahel","year":"2020","unstructured":"Micahel Larabel . [n.d.]. A Global Switch To Kill Linux's CPU Spectre\/Meltdown Workarounds? Accessed at March 25th , 2020 . Micahel Larabel. [n.d.]. A Global Switch To Kill Linux's CPU Spectre\/Meltdown Workarounds? Accessed at March 25th, 2020."},{"key":"e_1_3_2_1_43_1","volume-title":"Analyzing the Discipline of Preprocessor Annotations in 30 Million Lines of C Code. In Int. Conf. on Aspect-Oriented Software Development. 191--202","author":"Liebig J\u00f6rg","year":"2011","unstructured":"J\u00f6rg Liebig , Christian K\u00e4stner , and Sven Apel . 2011 . Analyzing the Discipline of Preprocessor Annotations in 30 Million Lines of C Code. In Int. Conf. on Aspect-Oriented Software Development. 191--202 . J\u00f6rg Liebig, Christian K\u00e4stner, and Sven Apel. 2011. Analyzing the Discipline of Preprocessor Annotations in 30 Million Lines of C Code. In Int. Conf. on Aspect-Oriented Software Development. 191--202."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491437"},{"key":"e_1_3_2_1_45_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Lipp Moritz","year":"2018","unstructured":"Moritz Lipp , Michael Schwarz , Daniel Gruss , Thomas Prescher , Werner Haas , Anders Fogh , Jann Horn , Stefan Mangard , Paul Kocher , Daniel Genkin , Yuval Yarom , and Mike Hamburg . 2018 . Meltdown: Reading Kernel Memory from User Space . In 27th USENIX Security Symposium (USENIX Security 18) . Moritz Lipp, Michael Schwarz, Daniel Gruss, Thomas Prescher, Werner Haas, Anders Fogh, Jann Horn, Stefan Mangard, Paul Kocher, Daniel Genkin, Yuval Yarom, and Mike Hamburg. 2018. Meltdown: Reading Kernel Memory from User Space. In 27th USENIX Security Symposium (USENIX Security 18)."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3109729.3109752"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"key":"e_1_3_2_1_48_1","volume-title":"Efficient Compilation Techniques for Large Scale Feature Models. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 13--22","author":"Mendon\u00e7a Marc\u00edlio","year":"2008","unstructured":"Marc\u00edlio Mendon\u00e7a , Andrzej W\u0105sowski , Krzysztof Czarnecki , and Donald Cowan . 2008 . Efficient Compilation Techniques for Large Scale Feature Models. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 13--22 . Marc\u00edlio Mendon\u00e7a, Andrzej W\u0105sowski, Krzysztof Czarnecki, and Donald Cowan. 2008. Efficient Compilation Techniques for Large Scale Feature Models. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 13--22."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"crossref","unstructured":"Meng Meng Jens Meinicke Chu-Pan Wong Eric Walkingshaw and Christian K\u00e4stner. 2017. A Choice of Variational Stacks: Exploring Variational Data Structures. In Int. Work. on Variability Modelling of Software-Intensive Systems (VaMoS). ACM 28--35.  Meng Meng Jens Meinicke Chu-Pan Wong Eric Walkingshaw and Christian K\u00e4stner. 2017. A Choice of Variational Stacks: Exploring Variational Data Structures. In Int. Work. on Variability Modelling of Software-Intensive Systems (VaMoS) . ACM 28--35.","DOI":"10.1145\/3023956.3023966"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"crossref","unstructured":"Kristopher K. Micinski. 2018. Abstracting Faceted Execution.  Kristopher K. Micinski. 2018. Abstracting Faceted Execution.","DOI":"10.29007\/lqkv"},{"key":"e_1_3_2_1_51_1","volume-title":"Theory and Applications of Satisfiability Testing - SAT","author":"Nadel Alexander","year":"2014","unstructured":"Alexander Nadel , Vadim Ryvchin , and Ofer Strichman . 2014. Ultimately Incremental SAT . In Theory and Applications of Satisfiability Testing - SAT 2014 , Carsten Sinz and Uwe Egly (Eds.). Springer International Publishing , Cham, 206--218. Alexander Nadel, Vadim Ryvchin, and Ofer Strichman. 2014. Ultimately Incremental SAT. In Theory and Applications of Satisfiability Testing - SAT 2014, Carsten Sinz and Uwe Egly (Eds.). Springer International Publishing, Cham, 206--218."},{"key":"e_1_3_2_1_52_1","volume-title":"Proc. Int'l Conf. on Software Engineering (ICSE). ACM, 907--918","author":"Nguyen Hung Viet","unstructured":"Hung Viet Nguyen , Christian K\u00e4stner , and Tien N. Nguyen . 2014. Exploring Variability-Aware Execution for Testing Plugin-Based Web Applications . In Proc. Int'l Conf. on Software Engineering (ICSE). ACM, 907--918 . Hung Viet Nguyen, Christian K\u00e4stner, and Tien N. Nguyen. 2014. Exploring Variability-Aware Execution for Testing Plugin-Based Web Applications. In Proc. Int'l Conf. on Software Engineering (ICSE). ACM, 907--918."},{"key":"e_1_3_2_1_53_1","volume-title":"Anomaly Analyses for Feature-Model Evolution. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 188--201","author":"Nieke Michael","year":"2018","unstructured":"Michael Nieke , Jacopo Mauro , Christoph Seidl , Thomas Th\u00fcm , Ingrid Chieh Yu , and Felix Franzke . 2018 . Anomaly Analyses for Feature-Model Evolution. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 188--201 . Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Th\u00fcm, Ingrid Chieh Yu, and Felix Franzke. 2018. Anomaly Analyses for Feature-Model Evolution. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 188--201."},{"key":"e_1_3_2_1_54_1","volume-title":"NIST e-Handbook of Statistical Methods. Accessed at May 7th","author":"National Institute of Standards and Technology. [n.d.].","year":"2020","unstructured":"National Institute of Standards and Technology. [n.d.]. NIST e-Handbook of Statistical Methods. Accessed at May 7th , 2020 . National Institute of Standards and Technology. [n.d.]. NIST e-Handbook of Statistical Methods. Accessed at May 7th, 2020."},{"key":"e_1_3_2_1_55_1","volume-title":"Criterian: A Haskell microbenchmarking library. Website. Available online at https:\/\/hackage.haskell.org\/package\/gauge-0.2.5","author":"O'Sullivan Bryan","year":"2009","unstructured":"Bryan O'Sullivan . 2009 . Criterian: A Haskell microbenchmarking library. Website. Available online at https:\/\/hackage.haskell.org\/package\/gauge-0.2.5 ; visited on May 7th, 2020. Bryan O'Sullivan. 2009. Criterian: A Haskell microbenchmarking library. Website. Available online at https:\/\/hackage.haskell.org\/package\/gauge-0.2.5; visited on May 7th, 2020."},{"key":"e_1_3_2_1_56_1","volume-title":"Many-valued Logic","author":"Rescher N.","unstructured":"N. Rescher . 1969. Many-valued Logic . McGraw-Hill . https:\/\/books.google.com\/books?id=ZyTXAAAAMAAJ N. Rescher. 1969. Many-valued Logic. McGraw-Hill. https:\/\/books.google.com\/books?id=ZyTXAAAAMAAJ"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693104"},{"key":"e_1_3_2_1_58_1","volume-title":"Faceted Secure Multi Execution. In CCS '18","author":"Schmitz Thomas","year":"2018","unstructured":"Thomas Schmitz , Maximilian Algehed , Cormac Flanagan , and Alejandro Russo . 2018 . Faceted Secure Multi Execution. In CCS '18 . Thomas Schmitz, Maximilian Algehed, Cormac Flanagan, and Alejandro Russo. 2018. Faceted Secure Multi Execution. In CCS '18."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884823"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-011-9152-9"},{"key":"e_1_3_2_1_61_1","volume-title":"Variational Lists: Comparisons and Design Guidelines. In ACM SIGPLAN Int. Workshop on Feature-Oriented Software Development. 31--40","author":"Smeltzer K.","unstructured":"K. Smeltzer and M. Erwig . 2017 . Variational Lists: Comparisons and Design Guidelines. In ACM SIGPLAN Int. Workshop on Feature-Oriented Software Development. 31--40 . K. Smeltzer and M. Erwig. 2017. Variational Lists: Comparisons and Design Guidelines. In ACM SIGPLAN Int. Workshop on Feature-Oriented Software Development. 31--40."},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966451"},{"key":"e_1_3_2_1_63_1","volume-title":"Safe Composition of Product Lines. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 95--104","author":"Thaker Sahil","year":"2007","unstructured":"Sahil Thaker , Don Batory , David Kitchin , and William Cook . 2007 . Safe Composition of Product Lines. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 95--104 . Sahil Thaker, Don Batory, David Kitchin, and William Cook. 2007. Safe Composition of Product Lines. In ACM SIGPLAN Conf. on Generative Programming and Component Engineering. ACM, 95--104."},{"key":"e_1_3_2_1_64_1","volume-title":"A Classification and Survey of Analysis Strategies for Software Product Lines. Comput. Surveys 47, 1","author":"Th\u00fcm Thomas","year":"2014","unstructured":"Thomas Th\u00fcm , Sven Apel , Christian K\u00e4stner , Ina Schaefer , and Gunter Saake . 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. Comput. Surveys 47, 1 ( 2014 ), 6:1--6:45. Thomas Th\u00fcm, Sven Apel, Christian K\u00e4stner, Ina Schaefer, and Gunter Saake. 2014. A Classification and Survey of Analysis Strategies for Software Product Lines. Comput. Surveys 47, 1 (2014), 6:1--6:45."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/3233027.3233035"},{"key":"e_1_3_2_1_66_1","first-page":"1","article-title":"Green: Reducing, Reusing and Recycling Constraints in Program Analysis. In Proc. Int'l Symposium on Foundations of Software Engineering (FSE)","volume":"58","author":"Visser Willem","year":"2012","unstructured":"Willem Visser , Jaco Geldenhuys , and Matthew B. Dwyer . 2012 . Green: Reducing, Reusing and Recycling Constraints in Program Analysis. In Proc. Int'l Symposium on Foundations of Software Engineering (FSE) . ACM , 58 : 1 -- 58 :11. Willem Visser, Jaco Geldenhuys, and Matthew B. Dwyer. 2012. Green: Reducing, Reusing and Recycling Constraints in Program Analysis. In Proc. Int'l Symposium on Foundations of Software Engineering (FSE). ACM, 58:1--58:11.","journal-title":"ACM"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818779"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661143"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.2307\/3001968"}],"event":{"name":"SPLC '20: 24th ACM International Systems and Software Product Line Conference","location":"Montreal Quebec Canada","acronym":"SPLC '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382025.3414965","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3382025.3414965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:07Z","timestamp":1750197727000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3382025.3414965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,19]]},"references-count":69,"alternative-id":["10.1145\/3382025.3414965","10.1145\/3382025"],"URL":"https:\/\/doi.org\/10.1145\/3382025.3414965","relation":{},"subject":[],"published":{"date-parts":[[2020,10,19]]},"assertion":[{"value":"2020-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}