2025
PipeOffload: Improving Scalability of Pipeline Parallelism with Memory Optimization.
CoRR, March, 2025

Sailor2: Sailing in South-East Asia with Inclusive Multilingual LLMs.
CoRR, February, 2025

A state of the art in digital twin for intelligent fault diagnosis.
Adv. Eng. Informatics, 2025

2024
Balancing Pipeline Parallelism with Vocabulary Parallelism.
CoRR, 2024

AI in radiological imaging of soft-tissue and bone tumours: a systematic review evaluating against CLAIM and FUTURE-AI guidelines.
CoRR, 2024

Zero Bubble Pipeline Parallelism.
CoRR, 2024

Pipeline Parallelism with Controllable Memory.
Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Randomly COMMITting: Iterative Convex Optimization for Microstructure-Informed Tractography.
Proceedings of the Computational Diffusion MRI - 15th International Workshop, 2024

Zero Bubble (Almost) Pipeline Parallelism.
Proceedings of the Twelfth International Conference on Learning Representations, 2024

2023
Coq Formalization of ZFC Set Theory for Teaching Scenarios.
Int. J. Softw. Informatics, 2023

Formalization of Lambda Calculus with Explicit Names as a Nominal Reasoning Framework.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

2020
Feel Vibration: Challenge-Response Mobile Authentication with Covert Channel.
Proceedings of the 20th IEEE International Conference on Communication Technology, 2020