Jeongseok Son
Graduate Student in Computer Science @ UC Berkeley

About

I'm a graduate student in Computer Science at University of California, Berkeley (UC Berkeley). I'm working at RISELab (Real-time Intelligent Secure Explainable systems Lab), the successor of AMPLab (Algorithms, Machines, and People Lab) where Apache Spark was born. In the RISELab, I research computer systems and programming language techniques to strengthen the security of data processing. I am advised by Raluca Ada Popa and collaborating with other faculty and students in the lab. Previously, I worked as a software engineer for 3 years developing data infrastructure for processing a massive amount of search keyword logs using Apache Hadoop. I also did research internships for a year and improved the efficiency and reliability of cloud networking at Microsoft Research and other companies.

I received my B.S. in Computer Science from School of Computing of KAIST. I spent one year as an exchange student at UIUC. I was an undergraduate researcher/intern at ANLab (Advanced Networking Lab) of KAIST, Cloud and Mobile Research Group of Microsoft Research Asia, and CSAP (Computer Systems and Platforms Laboratory) of SNU. During my undergraduate years, I was involved in virtualization platform research projects and learned about the core technology of cloud computing hacking the Xen Hypervisor kernel.

My graduate study is supported in part by Kwanjeong Educational Foundation. I was previously supported by STX Foundation, Mirae Asset Park Hyeon Joo Foundation, and Samsung SDS.

Publications

Civet: An Efficient Java Partitioning Framework for Hardware Enclaves
Chia-Che Tsai, Jeongseok Son, Bhushan Jain, John McAvey, Raluca Ada Popa, and Donald E. Porter
(To appear) USENIX Security Symposium (Security), Boston, MA, USA, August 2020
Protego: Cloud-Scale Multitenant IPsec Gateway
Jeongseok Son, Yongqiang Xiong, Kun Tan, Paul Wang, Ze Gan, and Sue Moon
USENIX Annual Technical Conference (ATC), Santa Clara, CA, USA, July 2017
Efficiently Restoring Virtual Machines
Bernhard Egger, Erik Gustafsson, Changyeon Jo, and Jeongseok Son
IFIP International Conference on Network and Parallel Computing (NPC), Guiyang, China, September 2013, and Springer International Journal of Parallel Programming (IJPP), Volume 43, Issue 3, June 2015
Efficient Live Migration of Virtual Machines Using Shared Storage
Changyeon Jo, Erik Gustafsson, Jeongseok Son, and Bernhard Egger
ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE), Houston, TX, USA, March 2013

Projects

Program Partitioning Framework for Hardware Enclaves
Hardware enclaves like Intel SGX protect sensitive data of an application even when an OS is malicious. However, simply putting a legacy application into an enclave can be insecure and degrade the performance significantly. We devised a framework that automatically partitions an application into trusted and untrusted parts with program analysis techniques and an optimized language runtime implementation for hardware enclaves.
Cloud-Scale Multitenant IPsec Gateway
Cloud service providers dedicate an IPsec gateway VM to each tenant to offer VPN connections to the virtual networks. We found that this approach wastes a significant amount of resources due to over-provisioning and passive redundancy for high availability. We designed a new distributed IPsec gateway service which can serve multiple tenants using shared resources.
Data Plane Verification of Networks Containing Middleboxes
VeriFlow was designed to verify the correctness of Software Defined Network (SDN) in real-time. To check traditional networks, we modeled various network devices from different vendors to construct the vendor-agnostic abstraction of networks for verification. I survyed and studied various types of network devices and modeled one of them from scratch.
Efficient Virtual Machine Live Migration and Checkpoint
The high network bandwidth consumption and long migration time hinder the wide deployment of virtual machine (VM) live migration in data centers. We improved the performance of VM live migration and checkpoint by deduplicating data overlap between memory and disk.

Miscellany

  • 손정석 is my name in Hangul. Son Jeongseok is the romanization of it.
    How to pronounce?: My given name has two syllables: 정-석 (Jeong-Seok). 정 (Jeong) is pronounced as the "jung" in "jungle", and 석 (Seok) sounds like "suck" but with a softer S sound, like "s-huck". Here is the .
    I also go by the name of Jason, which sounds similiar to my initials "J. Son".
  • I grew up in Jeju, a beautiful island and popular tourist attraction in South Korea. I lived in Daejeon, where the largest research cluster in the nation is located, for college and then lived in Seoul for work. I also stayed in Champaign-Urbana, Illinois in the USA for a year and Beijing in PRC for 8 months. Now I live in Berkeley, California in the USA.
To Top