Jia Hui Liang - RankMe

16 papers A* 1A 9Journal 3Unranked 2

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