Notes: binary analysis, binary lifter, reverse engineering, LLVM compiler, ISA specification
Papers: altinay:eurosys:2020