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  .