Write a Blog >>
SPLASH 2012
Fri 19 - Fri 26 October 2012 Tucson, Arizona, United States
Roman Manevich

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, Synthesis, Concurrency

Contributions

SPLASH 2012Author of Elixir: a system for synthesizing concurrent graph programs within the OOPSLA Research Papers-track
Show activities from other conferences

SPLASH 2012-profile
View general profile