Roman Manevich

Registered user since Sun 22 Feb 2015

Name:Roman Manevich
Country:Israel
Affiliation:Ben-Gurion University of the Negev
Research interests:Software Verification, Abstract Interpretation, Shape Analysis, Synthesis

Contributions

Show activities from other conferences

PLDI 2015-profile
View general profile