Write a Blog >>
Roman Manevich

Registered user since Sun 22 Feb 2015

Name:Roman Manevich
Affiliation:Mellanox Technologies
Research interests:Verification, Abstract Interpretation, Synthesis, Concurrency


VMCAI 2020 Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation
Show activities from other conferences

POPL 2020-profile
View general profile