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 .