Not registered as user yet

Name:James D. Pollard
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