Skip to content

Research

Jump to bottom
Yurii Kostyukov edited this page Jul 16, 2019 · 5 revisions

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. ECOOP 2019 (to be published)
  5. FMCAD 2019 (to be published)

Talks

  1. Relational invariants as solutions of non-linear constrained Hoare clauses systems. Guest talk at PSSV-2019. July 2, 2019.
Clone this wiki locally