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

Contributions

2018

Scala

Committee Member in Program Committee within the Scala 2018-track

ECOOP

Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track

2017

PLDI

Committee Member in External Review Committee

POPL

Author of Contract-based Resource Verification for Higher-order Functions with Memoization within the POPL-track

2016

Scala

Author of A Scala Library for Testing Student Assignments on Concurrent Programming within the Scala-track

2015

SPLASH

2011

SPLASH

Author of Null dereference verification via over-approximated weakest pre-conditions analysis within the OOPSLA-track