| An architecture supporting formal and compositional binary analysis J McMahan, M Christensen, L Nichols, J Roesch, SY Guo, B Hardekopf, ... ACM SIGARCH Computer Architecture News 45 (1), 177-191, 2017 | 9 | 2017 |
| An architecture for analysis J McMahan, M Christensen, L Nichols, J Roesch, SY Guo, B Hardekopf, ... IEEE Micro 38 (3), 107-115, 2018 | 1 | 2018 |
