Dmitry Ivanov
where else to find them
what they talk about
all 9 in the filters
where they keep going back
- Hydra2 editions2020–2022
all 6 in the filters
on a stage with
all 10 in the filters
who talks about the same things
- Martin Kleppmann12 talks
- Nuno Preguiça4 talks
- Ivan Prisyazhniy4 talks
- Viktor Grishchenko8 talks
- Marc Shapiro2 talks
- Christopher S. Meiklejohn20 talks
| title | conference | date |
|---|---|---|
| Relational Solver for Java Generics Type System | LOPSTR 2023 | 2023-10-23 |
Relational conversion of a Java subtyping verifier into a solver produces a tool that enumerates all substitutions for free type variables by combining a… | ||
| klogic: miniKanren in Kotlin | miniKanren 2023 | 2023-09-08 |
Klogic implements miniKanren on the JVM using Kotlin and ships as a usable library; it exposes strong typing of logic variables, disequality constraints and… | ||
| Summing Up Online | Hydra 2022 | 2022-06-02 |
The online portion winds down after 16 online talks, heavy on databases and internals, with live streaming, recordings and many free-access seats; the program… | ||
| Multithreading in UI application: When some threads are more equal than others | Hydra 2020 | 2020-07-06 |
Explains why UI code uses a single global read-write lock (IntelliJ model), the real bug class: reentrancy that causes surprising deadlocks in .NET’s lock… | ||
| Immutable Collections in NET: Why and How? | JetBrains .NET Day Online 2019 | 2019-05-16 |
Argues that replacing shared mutable state with persistent structures simplifies threading, cuts implicit context and cancels, and preserves correctness using… | ||
| Practical data synchronization with CRDTs | Strange Loop 2016 | 2016-09-16 |
TomTom describes a production sync system (NavCloud) using state-based CRDTs with OUR-Set as an extension to allow updates (identity + monotonically increasing… | ||
| Practical Demystification of CRDT | Lambda Days 2016 | 2016-02-25 |
Claim: CRDTs solve offline, concurrent sync by putting merge logic in the data type; TomTom uses an OUR-set (Observed Updated Removed) to add updates to CRDT… | ||
| nothing matches | ||