
Registered user since Sun 22 Feb 2015
Name:Roman Manevich
Country:Israel
Affiliation:Ben-Gurion University of the Negev
Personal website:http://www.cs.bgu.ac.il/~romanm/
Research interests:Software Verification, Abstract Interpretation, Shape Analysis, Synthesis
Contributions
PLDI 2015 | Synthesizing Parallel Graph Programs via Automated Planning | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
PLDI 2015-profile
View general profile
View general profile