Collaborated with:
Joseph McMahan M.Christensen L.Nichols J.Roesch B.Hardekopf T.Sherwood
Talks about:
architectur (1) composit (1) support (1) analysi (1) formal (1) binari (1)
Person: Sung-Yee Guo
DBLP: Guo:Sung=Yee
Contributed to:
Wrote 1 papers:
- ASPLOS-2017-McMahanCNRGHS #analysis #architecture #composition
- An Architecture Supporting Formal and Compositional Binary Analysis (JM, MC, LN, JR, SYG, BH, TS), pp. 177–191.