Write a Blog >>
Roman Manevich

Registered user since Sun 22 Feb 2015

Name: Roman Manevich

Country: Israel

Affiliation: Mellanox Technologies

Personal website: https://sites.google.com/view/roman-manevich/

Research interests: Verification, Abstract Interpretation, Synthesis, Concurrency


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

POPL 2020-profile
View general profile