Gangmuk Lim

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Formal Verification

Data Clustering

Top Venues

USENIX Annual Technical Conference

Publications

Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Philip Brighten Godfrey
Kivi: Verification for Cluster Management. USENIX ATC (2024)
Bingzhe Liu, Gangmuk Lim, Ryan Beckett, Philip Brighten Godfrey
Kivi: Verification for Cluster Management. CoRR (2023)
Gangmuk Lim, Jeongseob Ahn, Wencong Xiao, Youngjin Kwon, Myeongjae Jeon
Zico: Efficient GPU Memory Sharing for Concurrent DNN Training. USENIX Annual Technical Conference (2021)
Gangmuk Lim, Mohamed S. Hassan, Ze Jin, Stavros Volos, Myeongjae Jeon
Approximate Quantiles for Datacenter Telemetry Monitoring. ICDE (2020)
Gangmuk Lim, Mohamed S. Hassan, Ze Jin, Stavros Volos, Myeongjae Jeon
Approximate Quantiles for Datacenter Telemetry Monitoring. CoRR (2019)