• Sign in
  • Sign up
conf.researchr.org / Ravichandhran Madhavan
  • ECOOP and ISSTA 2018 profile
  • ICFP 2018 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2017 profile
  • SPLASH 2011 profile
  • SPLASH 2015 profile
  • SPLASH 2016 profile
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
ECOOP 2018 Committee Member in Artifact Evaluation Committee within the ECOOP Artifacts-track
PLDI 2017 Committee Member in External Review Committee
POPL 2017 Author of Contract-based Resource Verification for Higher-order Functions with Memoization within the POPL-track
Scala 2016 Author of A Scala Library for Testing Student Assignments on Concurrent Programming within the Scala-track
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

Share
xSat 4 Feb 03:21
using conf.researchr.org (v1.58.0)
Support page
Sign Up