Jia Hui Liang

Publication Activity (10 Years)

Years Active: 2015-2019
Publications (10 Years): 12

Top Venues

SAT

MoDELS

Softw. Syst. Model.

University of Waterloo, Ontario, Canada (PHD)

Education History

University of Waterloo, Ontario, Canada

PHD

Publications

Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki
Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems. Softw. Syst. Model. 18 (1) (2019)
Jianmei Guo, Jia Hui Liang, Kai Shi, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines. Softw. Syst. Model. 18 (2) (2019)
Jia Hui Liang, Chanseok Oh, Minu Mathew, Ciza Thomas, Chunxiao Li, Vijay Ganesh
Machine Learning-Based Restart Policy for CDCL SAT Solvers. SAT (2018)
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
The Effect of Structural Measures and Merges on SAT Solver Performance. CP (2018)
Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh
Learning-Sensitive Backdoors with Restarts. CP (2018)
Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki
Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract). MoDELS (2017)
Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh
An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. SAT (2017)
Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh
Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions. VSTTE (2017)
Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. SAT (2017)
Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki
Learning Rate Based Branching Heuristic for SAT Solvers. SAT (2016)
Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions. CoRR (2016)
Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki
Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. AAAI (2016)
Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki
Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. Haifa Verification Conference (2015)
Aymen Ketata, Carlos Moreno, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki
Performance prediction upon toolchain migration in model-based software. MoDELS (2015)
Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki
SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. SAT (2015)

Jia Hui Liang.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jia Hui Liang