Not registered as user yet

Name:Nadesh Ramanathan
Country:United Kingdom
Affiliation:Imperial College London

Contributions

PLDI 2022 (OOPSLA 2021) Formal verification of high-level synthesis
Show activities from other conferences

Using general profile