iCheck: Leveraging RDMA and Malleability for Application-Level Checkpointing in HPC Systems. - Jophin John; Isaac David Núñez Araya; Michael Gerndt (ICPADS, 2022)

HAS-GPU: Efficient Hybrid Auto-scaling with Fine-Grained GPU Allocation for SLO-Aware Serverless Inferences. - Jianfeng Gu; Puxuan Wang; Isaac David Núñez Araya; Kai Huang; Michael Gerndt (Euro-Par (1), 2025)

Serverless IoT Framework. - Isaac David Núñez Araya; Michael Gerndt; Shajulin Benedict (IPDPS (Workshops), 2025)