SPLASH 2011
Fri 21 - Thu 27 October 2011 Portland, Oregon, United States
Ravichandhran Madhavan

Registered user since Tue 18 Aug 2015

Name:Ravichandhran Madhavan
Country:Switzerland
Affiliation:EPFL
Research interests:Programming Languages, Software Analysis, Verification, Synthesis

Contributions

SPLASH 2011 Null dereference verification via over-approximated weakest pre-conditions analysis
Show activities from other conferences

SPLASH 2011-profile
View general profile