Niranjan Hasabnis Rui Qiao R. Sekar Stony Brook University / National Science Foundation / /
Person
Ai / /
Position
initializing interpreter / interpreter for that IR / IR interpreter / compiler writer / representative / single representative / Start States S1 S2 IR Interpreter / interpreter / programmer / /
Product
x86 / /
ProgrammingLanguage
Prolog / C / C++ / /
ProvinceOrState
Maryland / /
Technology
real processor / Linux / constraint propagation algorithm / virtual memory / i7 processor / mapping rule The algorithm / /