Hydra's Heads – Dmitriy Ivanov
summary
A lab prototype generates unit tests for C, C++ and Java using symbolic execution combined with constraint solving via SMT solvers, plus ideas from property‑based testing; an alpha web demo is online and free. In competitions this approach reaches roughly 45%–60% coverage on target tasks. The team integrates these prototypes into larger tooling pipelines, handles mocks when crossing module boundaries, and reports real-world wins and scalability limits rather than vague promises.
AI-written summary · about
chapters (25)
- 0:00Introduction
- 1:06First Hydra Heads interview
- 2:10Career at JetBrains and others
- 5:43What is Rider and C# specifics
- 7:51ReSharper project and evolution
- 9:57IntelliJ IDEA and Sealine history
- 12:02Rider vs Sealine positioning
- 13:48Work at Huawei and company structure
- 15:12Huawei Research directions
- 17:17Leading lab in Saint Petersburg
- 18:23Unit test generation with YouTestBot
- 19:49Sophisticated tools for developers
- 21:14Symbolic execution and SMT solvers
- 24:48Constraint programming and code synthesis
- 25:54Test generation competition success
- 27:38Improving SMT solvers with new techniques
- 29:23Bug hunting with formal methods
- 30:44Verifying distributed systems and competitors
- 32:33Distributed systems course development
- 34:17Challenges in distributed verification
- 35:40Formal verification future in papers
- 37:03Accepting papers without proofs
- 38:12Conference organization wrap-up
- 38:56Learning concurrent programming
- 40:23Quick poll on programming languages future
related talks
19mHydra: Generalizing Peephole Optimizations with Program Synthesis
21mTesting APIs the Hypermedia way
39mRethinking Unit Testing: Automating the Generation of Java
36mFrom Sledgehammer to Fine Brush for QA
42mEffective Developer Testing: taking it to the next level
33mShray Sharma: Leveraging AI for Self-Healing Tests: Current Capabilities and Future Prospects
01h 02mReduce Developer Toil: Autonomous AI for Enterprise Testing @ Scale
29mBeyond Unit Tests: Taking Your Testing to the Next Level