Christian Williams

According to our database, Christian Williams authored at least 5 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the ACM SIGCOMM 2023 Conference, 2023

2021

Native Type Theory.

Christian Williams, Michael Stay

Proceedings of the Fourth International Conference on Applied Category Theory, 2021

Abstract Congruence Criteria for Weak Bisimilarity.

Stelios Tsampas, Christian Williams, Andreas Nuyts, Dominique Devriese, Frank Piessens

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Abstract Congruence Criteria for Weak Bisimilarity.

Stelios Tsampas, Christian Williams, Dominique Devriese, Frank Piessens

CoRR, 2020

2019

Enriched Lawvere Theories for Operational Semantics.

John C. Baez, Christian Williams

Proceedings of the Proceedings Applied Category Theory 2019, 2019