Enriched Lawvere Theories for Operational Semantics. - John C. Baez; Christian Williams (ACT, 2019)

Abstract Congruence Criteria for Weak Bisimilarity. - Stelios Tsampas 001; Christian Williams; Dominique Devriese; Frank Piessens (CoRR, 2020)

Abstract Congruence Criteria for Weak Bisimilarity. - Stelios Tsampas 001; Christian Williams; Andreas Nuyts; Dominique Devriese; Frank Piessens (MFCS, 2021)

Native Type Theory. - Christian Williams; Michael Stay (ACT, 2021)

Lightning: A Reconfigurable Photonic-Electronic SmartNIC for Fast and Energy-Efficient Inference. - Zhizhen Zhong; Mingran Yang; Jay Lang; Christian Williams; Liam Kronman; Alexander Sludds; Homa Esfahanizadeh; Dirk R. Englund; Manya Ghobadi (SIGCOMM, 2023)

Mobile-Enabled Prosthetic System with Machine Learning Support. - Christian Williams; Andrew Lee; Ahmed Tolah; Mohammadjavad Einafshar; Elie Massaad; Ali Kiapour; Chen-Hsiang Yu (HealthCom, 2024)