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

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
xSat 24 May 09:14
using conf.researchr.org (v1.69.0)
Support page
Sign Up