Extracting instruction semantics via symbolic execution of code generators

Document Details

Document Type: Pub Defense Publication
Publication Date: Nov 01, 2016
Source ID: 10.1145/2950290.2950335

Entities

People

Niranjan Hasabnis
R. Sekar

Organizations

Intel Corporation
National Science Foundation
Office of Naval Research
Stony Brook University