Watch recording
Talk type: Talk
Zero false positive code analysis in Java with dynamic symbolic execution
Dmitry Ivanov
Company: Huawei
Start of main content
Dmitry Mordvinov
Dmitry heads the symbolic execution research group at Huawei and also lectures at St. Petersburg State University. Previously, he headed the formal methods group at JetBrains Research and also worked at several startups.
Talks from 2022 season
Other talks
- Watch recording
Talk type: Talk
Zero false positive code analysis in Java with dynamic symbolic execution
Dmitry Ivanov
Company: Huawei