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

Scala 2018	Committee Member in Program Committee within the Scala 2018-track
Scala 2016	Author of A Scala Library for Testing Student Assignments on Concurrent Programming within the Scala-track
POPL 2017	Author of Contract-based Resource Verification for Higher-order Functions with Memoization within the POPL-track
ECOOP 2018	Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PLDI 2017	Committee Member in External Review Committee
SPLASH 2015	Author of Automating Grammar Comparison within the OOPSLA Artifacts-track Author of Automating Grammar Comparison within the OOPSLA-track
SPLASH 2011	Author of Null dereference verification via over-approximated weakest pre-conditions analysis within the OOPSLA-track