Kahfi Soobhan Zulkifli

Kahfi Soobhan Zulkifli

Ph.D. student at University of Virginia

About

Hi! My name is Kahfi, and I am currently a first-year Ph.D. student at the University of Virginia, advised by Prof. Chang Lou. I received my bachelor degree in Computer Science from Institut Teknologi Bandung (ITB), Indonesia.

I work on Computer Systems, with an emphasis on Systems Verification and Reliability. I have 3 years of experience in conducting research with Prof. Haryadi Gunawi on the intersection between machine learning and systems.

News

  • 2025/2: Our workshop paper on detecting silent errors in Large ML Models with Formal Verification has been accepted by EuroMLSys ‘25 (co-located with EuroSys 2025). Credits to Chang, Wenbo, and also AWS researchers for their insights.
  • 2025/1: Paper on reducing tail latencies in SSDs with machine learning-powered I/O admission policy just got accepted at EuroSys ‘25. Thanks Dan, Rani, Peiran, Ray, and Prof. Har.
  • 2024/8: Arrived at Charlottesville to start PhD
  • 2024/4: Graduated from Institut Teknologi Bandung.
  • 2024/2: Accepted PhD offer at University of Virginia.
  • 2023/12: I successfully defended my Bachelor’s thesis!

Publications

EuroMLSys ‘25Verifying Semantic Equivalence of Large Models with Equality Saturation
Kahfi S. Zulkifli*, Wenbo Qian* (co-first author), Shaowei Zhu, Yuan Zhou, Zhen Zhang, Chang Lou
EuroSys ‘25Heimdall: Optimizing Storage I/O Admission with Extensive Machine Learning Pipeline
Daniar H. Kurniawan, Rani Ayu Putri, Peiran Qin, Kahfi S. Zulkifli, Ray A. O. Sinurat, Janki Bhimani, Sandeep Madireddy, Achmad Imam Kistijantoro, Haryadi Gunawi
ASPLOS ‘23EVStore: Storage and Caching Capabilities for Scaling Embedding Tables in Deep Recommendation Systems
Daniar H. Kurniawan, Ruipu Wang, Kahfi S. Zulkifli, Fandi A. Wiranata, John Bent, Ymir Vigfusson, and Haryadi S. Gunawi.
[slides] [code]

Helpful resources