Clafer tools for product line engineering. - Michal Antkiewicz; Kacper Bak; Alexandr Murashkin; Rafael Olaechea; Jia Hui (Jimmy) Liang; Krzysztof Czarnecki 001 (SPLC Workshops, 2013)

Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. - Jia Hui Liang; Vijay Ganesh 001; Ed Zulkoski; Atulan Zaman; Krzysztof Czarnecki 001 (Haifa Verification Conference, 2015)

Performance prediction upon toolchain migration in model-based software. - Aymen Ketata; Carlos Moreno 002; Sebastian Fischmeister; Jia Hui Liang; Krzysztof Czarnecki 001 (MoDELS, 2015)

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. - Zack Newsham; William Lindsay; Vijay Ganesh 001; Jia Hui Liang; Sebastian Fischmeister; Krzysztof Czarnecki 001 (SAT, 2015)

SAT-based analysis of large real-world feature models is easy. - Jia Hui (Jimmy) Liang; Vijay Ganesh 001; Krzysztof Czarnecki 001; Venkatesh Raman 001 (SPLC, 2015)

Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. - Jia Hui Liang; Vijay Ganesh 001; Pascal Poupart; Krzysztof Czarnecki 001 (AAAI, 2016)

Learning Rate Based Branching Heuristic for SAT Solvers. - Jia Hui Liang; Vijay Ganesh 001; Pascal Poupart; Krzysztof Czarnecki 001 (SAT, 2016)

Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract). - Jordan A. Ross; Alexandr Murashkin; Jia Hui Liang; Michal Antkiewicz; Krzysztof Czarnecki 001 (MoDELS, 2017)

An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. - Jia Hui Liang; Hari Govind V. K.; Pascal Poupart; Krzysztof Czarnecki 001; Vijay Ganesh 001 (SAT, 2017)

A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. - Saeed Nejati; Zack Newsham; Joseph Scott; Jia Hui Liang; Catherine H. Gebotys; Pascal Poupart; Vijay Ganesh 001 (SAT, 2017)

Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions. - Saeed Nejati; Jia Hui Liang; Catherine H. Gebotys; Krzysztof Czarnecki 001; Vijay Ganesh 001 (VSTTE, 2017)

The Effect of Structural Measures and Merges on SAT Solver Performance. - Edward Zulkoski; Ruben Martins; Christoph M. Wintersteiger; Jia Hui Liang; Krzysztof Czarnecki 001; Vijay Ganesh 001 (CP, 2018)

Learning-Sensitive Backdoors with Restarts. - Edward Zulkoski; Ruben Martins; Christoph M. Wintersteiger; Robert Robere; Jia Hui Liang; Krzysztof Czarnecki 001; Vijay Ganesh 001 (CP, 2018)

Machine Learning-Based Restart Policy for CDCL SAT Solvers. - Jia Hui Liang; Chanseok Oh; Minu Mathew; Ciza Thomas; Chunxiao Li 002; Vijay Ganesh 001 (SAT, 2018)

Machine Learning for SAT Solvers. - Jia Hui Liang (2018)

SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines. - Jianmei Guo; Jia Hui Liang; Kai Shi 006; Dingyu Yang; Jingsong Zhang; Krzysztof Czarnecki 001; Vijay Ganesh 001; Huiqun Yu (Softw. Syst. Model., 2019)

Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems. - Jordan A. Ross; Alexandr Murashkin; Jia Hui Liang; Michal Antkiewicz; Krzysztof Czarnecki 001 (Softw. Syst. Model., 2019)