Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Dmitry Ivanov
conf.researchr.org general profile
ECOOP 2016 profile
ICSE 2019 profile
SPLASH 2023 profile
Registered user since Thu 28 Apr 2016
Name:
Dmitry Ivanov
Affiliation:
TomTom
Personal website:
http://dmitryivanov.io/
Contributions
2023
LOPSTR
Author of Relational Solver for Java Generics Type System within the LOPSTR 2023-track
2019
FormaliSE
Author of Static Analysis for Worst-Case Battery Utilization within the FormaliSE 2019-track
2016
CurryOn
Author of Practical Demystification of CRDTs within the CurryOn -track
Share
x
Fri 8 Nov 22:55