Christian Williams

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Multiple Criteria

Operational Semantics

Efficient Inference

Top Venues

Publications

Zhizhen Zhong, Mingran Yang, Jay Lang, Christian Williams, Liam Kronman, Alexander Sludds, Homa Esfahanizadeh, Dirk R. Englund, Manya Ghobadi
Lightning: A Reconfigurable Photonic-Electronic SmartNIC for Fast and Energy-Efficient Inference. SIGCOMM (2023)
Christian Williams, Michael Stay
Native Type Theory. CoRR (2021)
Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens
Abstract Congruence Criteria for Weak Bisimilarity. MFCS (2021)
Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens
Abstract Congruence Criteria for Weak Bisimilarity. CoRR (2020)
John C. Baez, Christian Williams
Enriched Lawvere Theories for Operational Semantics. ACT (2019)