Roman Manevich

Registered user since Sun 22 Feb 2015

Name: Roman Manevich

Country: Israel

Affiliation: Ben-Gurion University of the Negev

Personal website:

Research interests: Software Verification, Abstract Interpretation, Shape Analysis, Synthesis


PLDI 2015Author of Synthesizing Parallel Graph Programs via Automated Planning within the Research Papers-track
Show activities from other conferences

PLDI 2015-profile
View general profile