Quantifying the Exploration of the Korat Solver for Imperative Constraints. - Alyas Almaawi; Hayes Converse; Milos Gligoric 001; Sasa Misailovic; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2019)

Predictive constraint solving and analysis. - Alyas Almaawi; Nima Dini; Cagdas Yelen; Milos Gligoric 001; Sasa Misailovic; Sarfraz Khurshid (ICSE (NIER), 2020)

A Study of Symmetry Breaking Predicates and Model Counting. - Wenxi Wang; Muhammad Usman 024; Alyas Almaawi; Kaiyuan Wang; Kuldeep S. Meel; Sarfraz Khurshid (TACAS (1), 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)