Publications

Shibo Chen, Hailun Zhang, Todd Austin (2024). Zipper: Latency-Tolerant Optimizations for High-Performance Buses. In ASP-DAC ‘25.
PDF Slides DOI
Qinhan Tan, Yonathan Fiesseha, Shibo Chen, Lauren Biernacki, Jean-Baptiste Jeannin, Sharad Malik, Todd Austin (2023). Security Verification of Low-Trust Architectures. In CCS'23.
PDF Cite Slides DOI
Shibo Chen, Yonathan Fisseha, Jean-Baptiste Jeannin, Todd Austin (2022). Twine: A Chisel Extension for Component-Level Heterogeneous Design. In Data'22.
PDF Cite Slides Video DOI
Mark Gallagher, Lauren Biernacki, Shibo Chen, Zelalem Birhanu Aweke, Salessawi Ferede Yitbarek, Misiker Tadesse Aga, Austin Harris, Zhixing Xu, Baris Kasikci, Valeria Bertacco, Sharad Malik, Mohit Tiwari, Todd Austin (2019). Morpheus: A Vulnerability-Tolerant Secure Architecture Based on Ensembles of Moving Target Defenses with Churn. In ASPLOS'19.
PDF Cite Slides Video DOI
Jeremy Erickson, Shibo Chen, Melisa Savich, Shengtuo Hu, Zhuoqing Morley Mao (2018). CommPact: Evaluating the Feasibility of Autonomous Vehicle Contracts. In VNC'18.
PDF Cite Slides DOI