Mincheol Sung
Software Engineer at Microsoft
Redmond, Washington, United States
Summary
👤
Senior🎓
Top SchoolMincheol Sung is a systems-focused software engineer with nine years of experience building and optimizing virtualization and cloud infrastructure. Currently on Azure Compute Host Storage Client at Microsoft, he works on transporting storage IO for Transport VMs and enhancing infrastructure efficiency with Azure Boost DPU. Previously at VMware he advanced VM monitor capabilities, implementing power-aware metrics, per-VM power attribution, GPU power tracking, and SEV-ES attestation and suspend/resume features that bridge hardware security and hypervisor software. He holds an MS and is pursuing a PhD in Computer Engineering from Virginia Tech, pairing deep research grounding with production engineering. Based in Redmond, he combines low-level expertise (MSR/RAPL, kernel subsystems) with practical cloud-scale delivery, and has a proven knack for turning hardware features into robust platform services.
9 years of coding experience
2 years of employment as a software developer
Doctor of Philosophy - PhD, Computer Engineering, Doctor of Philosophy - PhD, Computer Engineering at Virginia TechBachelor of Science - BS, Computer Engineering, Bachelor of Science - BS, Computer Engineering at Sungkyunkwan University
Korean, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (36)
rust9
compiler8
operating-system8
kernel8
cloud-computing7
virtualization7
chrome-extension7
osdev7
crate7
sel47
unikernel7
rust-language6
garbage-collection6
multicore6
microkernel6
Programming languages (6)
Github contributions (5)
ssrg-vt/libhermitMPK
Aug 2019 - Mar 2020
Intra-Unikernel Isolation with Intel Memory Protection Keys
Contributions:151 commits, 1 PR, 113 pushes in 6 months
unikernel
mincheolsung/Virtualization_Technologies_Projects
Oct 2018 - Feb 2021
ECE 5984 Virtualization Technologies Projects, Spring 2018
Contributions:1 PR, 4 pushes, 1 branch in 2 years 5 months
virtualization
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.