Jia Hui (Jimmy) Liang

According to our database, Jia Hui (Jimmy) Liang authored at least 17 papers between 2013 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Softw. Syst. Model., 2019

SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines.

Jianmei Guo, Jia Hui Liang, Kai Shi, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu

Softw. Syst. Model., 2019

2018

Machine Learning for SAT Solvers.

Jia Hui Liang

PhD thesis, 2018

Machine Learning-Based Restart Policy for CDCL SAT Solvers.

Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2018, 2018

Learning-Sensitive Backdoors with Restarts.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

The Effect of Structural Measures and Merges on SAT Solver Performance.

Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions.

Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Verified Software. Theories, Tools, and Experiments, 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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 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, Vijay Ganesh

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

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

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

Learning Rate Based Branching Heuristic for SAT Solvers.

Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Exponential Recency Weighted Average Branching Heuristic for SAT Solvers.

Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

SAT-based analysis of large real-world feature models is easy.

Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman

Proceedings of the 19th International Conference on Software Product Line, 2015

SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers.

Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Performance prediction upon toolchain migration in model-based software.

Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers.

Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki

Proceedings of the Hardware and Software: Verification and Testing, 2015

2013

Clafer tools for product line engineering.

Michal Antkiewicz, Kacper Bak, Alexandr Murashkin, Rafael Olaechea, Jia Hui (Jimmy) Liang, Krzysztof Czarnecki

Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013