Person

Ravichandhran Kandhadai Madhavan

This person is no longer with EPFL

Official source

https://people.epfl.ch/ravi.kandhadai

About this result

This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.

Ravichandhran Kandhadai Madhavan

Graph Chatbot

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Algorithmic Resource Verification

A Scala Library for Testing Student Assignments on Concurrent Programming

A Scala Library for Testing Student Assignments on Concurrent Programming

Contract-Based Resource Verification for Higher-Order Functions with Memoization

Algorithmic Resource Verification