Allan Blanchard

Statistics

Publications

Citations

H-Index

Active since

2005

Affiliations

Northern Arizona University(Current)

IBM (United States)

IBM Research - Austin

Centre Inria de l'Université de Lille

Institut national de recherche en sciences et technologies du numérique

Allan Blanchard is an author at Northern Arizona University specializing in computer science, computer engineering, and microarchitectural performance modeling.

ORCID

Publications per year

2005–2019

Publications

IBM POWER7 performance modeling, verification, and evaluation

M. Srinivas, Balaram Sinharoy, Richard J. Eickemeyer et al. · IBM Journal of Research and Development · 2011 · 33 citations

Computing, Computer Science, High-performance Computing +17

A Linux-based tool for hardware bring up, Linux development, and manufacturing

T. Venton, Michael R. Miller, R. Kalla et al. · IBM Systems Journal · 2005 · 22 citations

Engineering, Computer Engineering, Computer Science +16

Automatic testcase synthesis and performance model validation for highperformance PowerPC processors

Robert H. Bell, R. Bhatia, Lizy K. John et al. · 2006 · 15 citations

Engineering, Computer Engineering, Computer Science +14

A Lesson on Verification of IoT Software with Frama-C

Allan Blanchard, Nikolaï Kosmatov, Frédéric Loulergue · 2018 · 13 citations

Computing, Computer Engineering, Computer Science +13

Logic against ghosts

Allan Blanchard, Nikolaï Kosmatov, Frédéric Loulergue · 2019 · 11 citations · Full text

Computing, Computer Science, Computer Systems +9

1–5 of 5