• Sign in
  • Sign up
conf.researchr.org / Dmitry Ivanov
  • ICFP 2023 profile
  • ICSE 2023 profile
  • ICSE 2024 profile

Registered user since Wed 17 May 2023

Name:Dmitry Ivanov
Affiliation:Huawei

Contributions

2024

IDE

  • Author of Trigram-Based Persistent IDE indices with Quick Startup within the IDE 2024-track

KLEE

  • Author of Complex Test Input Generation in KLEE within the KLEE 2024-track

2023

miniKanren

  • Author of klogic: miniKanren in Kotlin within the miniKanren 2023-track

ICSE

  • Author of UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments within the Industry Forum-track
Share
xMon 8 Sep 10:55
using conf.researchr.org (v1.71.0)
Support page
Sign Up