• Sign in
  • Sign up
conf.researchr.org / James D. Pollard
  • PLDI 2022 profile
  • SPLASH 2021 profile

Not registered as user yet

Name:James D. Pollard
Country:United Kingdom
Affiliation:Imperial College London

Contributions

2022

PLDI

  • Author of (OOPSLA 2021) Formal verification of high-level synthesis within the SIGPLAN Track-track

2021

SPLASH

  • Author of Formal Verification of High-Level Synthesis within the Posters-track
  • Author of Formal Verification of High-Level Synthesis within the OOPSLA-track
Share
xSun 24 Sep 02:41
using conf.researchr.org (v1.62.0)
Support page
Sign Up