Igor Linkov, PhD
Senior Science and Technology Manager, US Army Engineer Research and Development Center; Senior Data Analyst (on detail), FEMA/HHS R1 COVID Task Force; Adjunct Professor, Carnegie Mellon University
Data Analytics and Expert Judgment in Time of Crisis: Experience Supporting FEMA/HHS COVID Task Force
View More Papers
KUBO: Precise and Scalable Detection of User-triggerable Undefined Behavior...
Changming Liu (Northeastern University), Yaohui Chen (Facebook Inc.), Long Lu (Northeastern University)
Read MoreExperimental Evaluation of a Binary-level Symbolic Analyzer for Spectre:...
Lesly-Ann Daniel (CEA List), Sébastien Bardin (CEA List, Université Paris-Saclay), Tamara Rezk (INRIA)
Read More