Jimmy Liang , MMath

Publications

2017
2016
Liang, J., V. Ganesh, P. Poupart, and K. Czarnecki, "Exponential Recency Weighted Average Branching Heuristic for SAT Solvers", AAAI 2016, Phoenix, Arizona, 02/2016.
2015
Murashkin, A., L S. Azevedo, J. Guo, E. Zulkoski, J. Liang, K. Czarnecki, and D. Parker, "Automated Decomposition and Allocation of Automotive Safety Integrity Levels Using Exact Solvers", SAE 2015 World Congress & Exhibition, Detroit, Michigan, USA, SAE, 04/2015.
Liang, J., V. Ganesh, K. Czarnecki, and V. Raman, "SAT-based Analysis of Large Real-world Feature Models is Easy", 19th International Software Product Line Conference (SPLC), Nashville, 2015.
2013
Antkiewicz, M., K. Bąk, A. Murashkin, R. Olaechea, J. Liang, and K. Czarnecki, "Clafer Tools for Product Line Engineering", Software Product Line Conference, Tokyo, Japan, 2013. [pdf]
2012
Liang, J., "Solving Clafer Models with Choco", Generative Software Development Laboratory, no. GSDLab-TR 2012-12-30: University of Waterloo, 12/2012. [pdf]
Liang, J., "Correcting Clafer Models with Automated Analysis", Generative Software Development Laboratory, Waterloo, University of Waterloo, 04/2012. [pdf]