Sergey Ivanovskiy

Identifiers

• name variant Sergey Ivanovskiy 0.60 · backfill

Papers (2)

1. Dynamically Allocated Memory Verification in Object-Oriented Programs using Prolog cs.LO · 2019 · author #2
2. Abstract Predicate Entailment over Points-To Heaplets is Syntax Recognition cs.LO · 2019 · author #3

Mentions

• 1906.02808 #2 · arxiv_oai · confidence 0.70 Sergey Ivanovskiy
• 1906.00217 #3 · arxiv_oai · confidence 0.70 Sergey Ivanovskiy

Frequent Coauthors

• Ren\'e Haberland 2 shared papers
• Kirill Krinkin 1 shared papers