S. Asadi, M. Blicha, A. Hyvarinen, G. Fedyukovich, K. Even, N. Sharygina, and H. Chockler. "Function Summarization Modulo Theories", In 22nd International Conference on Logic for Programming Artifitial Intelligence and Reasoning (LPAR), 2018. pdf 

 L. Alt, S. Asadi, H. Chockler, K. Even, G. Fedyukovich , A. Hyvarinen, and N. Sharygina. "HiFrog: SMT-based Function Summarization for Software Verification", In 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2017. link , pdf.

 A. Hyvarinen, S. Asadi, K. Even-Mendoza, G. Fedyukovich, and N. Sharygina. "Theory Refinement for Program Verification", In 20th International Conference on Theory and Applications of Satisfiability Testing (SAT), 2017. pdf   .

L. Alt, A. Hyvarinen, S. Asadi, and N. Sharygina. "Duality-based interpolation for quantifier-free equalities and uninterpreted functions", Formal Methods in Computer-Aided Design (FMCAD), 2017. pdf  .

K. Even-Mendoza, S. Asadi, A. Hyvarinen,  H. Chockler, and N. Sharygina. "Lattice-Based Refinement  in Bounded Model Checking", VSTTE, 2018. pdf  .