Jimmy Liang , MMath

Publications

Conference Paper
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.
Conference Proceedings
Liang, J., V. Ganesh, P. Poupart, and K. Czarnecki, "Exponential Recency Weighted Average Branching Heuristic for SAT Solvers", AAAI 2016, Phoenix, Arizona, 02/2016.
Journal Article
Report
Liang, J., "Correcting Clafer Models with Automated Analysis", Generative Software Development Laboratory, Waterloo, University of Waterloo, 04/2012. [pdf]
Liang, J., "Solving Clafer Models with Choco", Generative Software Development Laboratory, no. GSDLab-TR 2012-12-30: University of Waterloo, 12/2012. [pdf]