- 2026
- 2025
- 2024
- 2023
- 2022
- 2021
- 2020
- 2019
- 2018
- 2017
- 2016
- 2015
- 2014
- 2013
- 2012
- 2011
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
Chen, Liang-Ting
- Liang-Ting Chen and Fredrik Nordvall Forsberg and Tzu-Chun Tsai, Can we formalise type theory intrinsically without any compromise? A case study in Cubical Agda, Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs, January 2026
Huang, Hen-Hsen
- Hen-Hsen Huang, Democratizing LLM Efficiency: From Hyperscale Optimizations to Universal Deployability, The 40th AAAI Conference on Artificial Intelligence (AAAI 2026), Blue Sky Ideas Track, January 2026
Lu, Chun-Shien
- Cheng-Chang Tsai, Kevin Cheng, and Chun-Shien Lu, FedSDA: Federated Stain Distribution Alignment for Non-IID Histopathological Image Classification, The 40th Annual AAAI Conference on Artificial Intelligence (AAAI), January 2026