Dmitriy Ivanov
where else to find them
no profile links on file
what they talk about
all 9 in the filters
where they keep going back
- DotNext Moscow2 editions2019–2021
all 5 in the filters
on a stage with
who talks about the same things
- Yehonathan Sharvit3 talks
- Toni Petrina4 talks
- Marat Akhin4 talks
- Michael Fairley4 talks
- Brett Slatkin4 talks
- Jonathan Boccara10 talks
| title | conference | date |
|---|---|---|
| Maslow’s Hierarchy of Needs for Java/Kotlin Developers | JPoint 2023 | 2023-04-12 |
Maslow's hierarchy is applied to Java and Kotlin developers to classify their needs and problems and show which technologies, stacks and dev tools satisfy each… | ||
| Code Analysis with Zero False Positives in Java | Joker 2022 | 2022-11-08 |
The talk explains how dynamic symbolic execution can find deep bugs in Java with zero false positives, covering code-analysis categories and modern techniques… | ||
| Hydra's Heads – Dmitriy Ivanov | Hydra 2022 | 2022-06-02 |
A lab prototype generates unit tests for C, C++ and Java using symbolic execution combined with constraint solving via SMT solvers, plus ideas from… | ||
| Symbolic Execution in .NET | DotNext 2021 Moscow | 2021-10-21 |
The talk explains symbolic execution for .NET, describing the theory behind Microsoft IntelliTest and showing how to use symbolic execution for test… | ||
| Async programming in .NET: Best practices | DotNext 2019 Piter | 2019-05-15 |
Claims that async/await semantics hide dangerous defaults and many Task options cause surprising behavior, shows a real production deadlock in a Rider-style… | ||
| Immutable Data Structures in .NET: Why They Matter and How They Work | .NET Fest 2018 | 2018-10-29 |
Immutable data structures in .NET: why they help and how they work. The talk explains how immutability improves programmer productivity for correct… | ||
| nothing matches | ||