Research

Publications

1. Mordvinov, D. and Fedyukovich, G., 2017, May. Synchronizing Constrained Horn Clauses. In LPAR (pp. 338-355).
2. Mordvinov, D. and Fedyukovich, G., 2017. Verifying Safety of Functional Programs with Rosette/Unbound. arXiv preprint arXiv:1704.04558.
3. Misonizhnik, A. and Mordvinov, D., 2018. SMT-based analysis of constraints on .NET types. CEUR: 44-52, 2018.
4. Misonizhnik, A. and Mordvinov, D., 2019. On Satisfiability of Nominal Subtyping with Variance. In 33rd European Conference on Object-Oriented Programming (ECOOP 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
5. FMCAD 2019 (to be published)

Talks

1. Mordvinov, D. Relational invariants as solutions of non-linear constrained Hoare clauses systems. Guest talk at PSSV-2019. July 2, 2019.