An Architecture Supporting Formal and Compositional Binary Analysis. - Joseph McMahan; Michael Christensen 001; Lawton Nichols; Jared Roesch; Sung-Yee Guo; Ben Hardekopf; Timothy Sherwood (ASPLOS, 2017)

The Advantage of Custom Microprocessors for Stochastic Gradient Descent in Graph-Based Robot Localization and Mapping. - Sung-Yee Guo (2017)

An Architecture for Analysis. - Joseph McMahan; Michael Christensen 001; Lawton Nichols; Jared Roesch; Sung-Yee Guo; Ben Hardekopf; Timothy Sherwood (IEEE Micro, 2018)