default search action

combined dblp search
author search
venue search
publication search

ask others

Ravichandhran Madhavan

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2017
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/ch/Madhavan17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ch/Madhavan17
Ravichandhran Madhavan:
Algorithmic Resource Verification. EPFL, Switzerland, 2017
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/popl/MadhavanKK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/MadhavanKK17
Ravichandhran Madhavan, Sumith Kulal, Viktor Kuncak:
Contract-based resource verification for higher-order functions with memoization. POPL 2017: 330-343
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/scala/MayerM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scala/MayerM16
Mikaël Mayer, Ravichandhran Madhavan:
A Scala library for testing student assignments on concurrent programming. SCALA@SPLASH 2016: 1-10
2015
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ftpl/MadhavanRV15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ftpl/MadhavanRV15
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani:
A Framework For Efficient Modular Heap Analysis. Found. Trends Program. Lang. 1(4): 269-381 (2015)
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MadhavanMGK15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MadhavanMGK15
Ravichandhran Madhavan, Mikaël Mayer, Sumit Gulwani, Viktor Kuncak:
Automating grammar comparison. OOPSLA 2015: 183-200
2014
[c4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/MadhavanK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/MadhavanK14
Ravichandhran Madhavan, Viktor Kuncak:
Symbolic Resource Bound Inference for Functional Programs. CAV 2014: 762-778
2012
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/MadhavanRV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/MadhavanRV12
Ravichandhran Madhavan, G. Ramalingam, Kapil Vaswani:
Modular Heap Analysis for Higher-Order Programs. SAS 2012: 370-387
2011
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/MadhavanK11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/MadhavanK11
Ravichandhran Madhavan, Raghavan Komondoor:
Null dereference verification via over-approximated weakest pre-conditions analysis. OOPSLA 2011: 1033-1052
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/MadhavanRV11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/MadhavanRV11
Ravichandhran Madhavan, Ganesan Ramalingam, Kapil Vaswani:
Purity Analysis: An Abstract Interpretation Formulation. SAS 2011: 7-24

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.