James D. Pollard

According to our database, James D. Pollard authored at least 1 paper in 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Formal verification of high-level synthesis.

Yann Herklotz, James D. Pollard, Nadesh Ramanathan, John Wickerson

Proc. ACM Program. Lang., 2021