Zipper：为加速器隐藏总线时延
一个协议优化层：让总线请求重叠执行并利用数据局部性，时延敏感的加速器不再干等总线。
研究
博士期间的研究案例：问题、思路和结果。
Twine：异构硬件的统一接口
一个 Chisel 扩展：统一组件接口并自动生成控制逻辑，让设计者专注于组合系统，而不是连线。
Overpass：为多样化组件分配互连带宽
一种采用分布式资源分配的灵活互连：CPU、加速器和 I/O 共享带宽，不需要集中仲裁器。
低信任架构的形式化验证
对 Sequestered Encryption 架构做了从 ISA 到 RTL 的完整形式化验证，获 CCS 2023 Distinguished Paper Award。
Morpheus：让攻击者面对移动的目标
一种 RISC-V 安全架构：在程序运行时持续重新随机化代码和指针，攻击者的探测结果还没来得及用就已过期。