conf.researchr.org / Ravichandhran Madhavan
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 2018Committee Member in Program Committee within the Scala 2018-track
Scala 2016Author of A Scala Library for Testing Student Assignments on Concurrent Programming within the Scala-track
POPL 2017Author of Contract-based Resource Verification for Higher-order Functions with Memoization within the POPL-track
ECOOP 2018Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PLDI 2017Committee Member in External Review Committee
SPLASH 2015Author of Automating Grammar Comparison within the OOPSLA Artifacts-track
Author of Automating Grammar Comparison within the OOPSLA-track