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 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.
Talk type: Talk
Company: Huawei
Talk type: Talk
Company: Huawei