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

Personal website: http://lara.epfl.ch/~kandhada

Research interests: Programming Languages, Software Analysis, Verification, Synthesis


SPLASH 2011Author of Null dereference verification via over-approximated weakest pre-conditions analysis within the OOPSLA-track
Show activities from other conferences

SPLASH 2011-profile
View general profile