• Sign in
  • Sign up
conf.researchr.org / Nadesh Ramanathan
  • PLDI 2022 profile
  • SPLASH 2021 profile

Not registered as user yet

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

Contributions

PLDI 2022 Author of (OOPSLA 2021) Formal verification of high-level synthesis within the SIGPLAN Track-track
SPLASH 2021 Author of Formal Verification of High-Level Synthesis within the OOPSLA-track
Author of Formal Verification of High-Level Synthesis within the Posters-track

Share
xThu 1 Jun 07:43
using conf.researchr.org (v1.60.0)
Support page
Sign Up