Jaebaek Seo

Ph.D. from Computer Science, KAIST Mar 2013 - Aug 2017

M.S. from Computer Science, KAIST Mar 2011 - Feb 2013

B.S. from Computer Science, KAIST Mar 2006 - Aug 2010

(KAIST stands for Korea Advanced Institute of Science and Technology.)

Google, Kotlin compiler/IDE team (Jun 2022 ~ present)

• Support Android Studio features including Jetpack Compose editing, LiveEdit, Compose compiler for new Kotlin (K2) compiler.
• Contibution to IntelliJ, Kotlin compiler open-source project for IDE features and Kotlin compiler bug fixes, in particular, triggered by Compose compiler plugin.

Google, Vulkan GPU shader compiler team (Mar 2018 ~ May 2022)

• Vulkan is a next generation graphics and compute API for GPU applications. Jaebaek mostly worked on compilers for IR generation and IR optimization.
• DXC: HLSL to SPIR-V compiler based on Clang (136 PRs, TL Feb/2021 - May/2022).
• TL compiler part of Vulkan shader debugger: debug info generation from front-end compiler, preservation through all optimization passes.
• spirv-opt: SPIR-V optimization passes (80 spirv-opt/spirv-val PRs).
• Others: SPIR-V extension specs e.g., OpenCL.DebugInfo.100, and shader testing tools (62 Amber commits).

Google, Chrome for Android (Apr 2017 ~ Feb 2018)

• Engineer multiple layers from Blink to UI to merge device and page zoom scale factors (almost 40 commits). See this bug.

CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs [ slides | video]
Adil Ahmad, Juhee Kim, Jaebaek Seo, Insik Shin, Pedro Fonseca, Byoungyoung Lee,
Proceedings of the 2021 Network and Distributed System Security Symposium
(NDSS '21), San Diego, CA, US, February 2021.
(Acceptance ratio: 15.2%)

• Design the two-way sandbox mechanism for multithread Enclave program
• Implemented LLVM X86_64 backend for instrumentation
• Implemented dynamic ELF loader from scratch

SGX-Shield: Enabling Address Space Layout Randomization for SGX Programs [ slide-pdf | slide-ppt]
Jaebaek Seo, Byoungyoung Lee, Seongmin Kim, Ming-Wei Shih, Insik Shin, Dongsu Han, Taesoo Kim,
Proceedings of the 2017 Network and Distributed System Security Symposium
(NDSS '17), San Diego, CA, US, February 2017.
[ BibTex ]
(Acceptance ratio: 68/423=16.1%)

• Design and Implemention of fine-grained ASLR (32 bytes level) and software-based Data Execution Prevention (DEP) in SGX
• Implemented dynamic loader and static linker from scratch
• Engineered LLVM backend for X86_64
• Source code in github: SGX-Shield

FLEXDROID: Enforcing In-App Privilege Separation in Android [ slide-pdf | slide-ppt]
Jaebaek Seo, Daehyeok Kim, Donghyun Cho, Taesoo Kim, Insik Shin,
Proceedings of the 2016 Network and Distributed System Security Symposium
(NDSS '16), San Diego, CA, US, February 2016.
[ BibTex ]
(Acceptance ratio: 60/389=15.4%)

• Design and Implemention an extension of Android permission system
• Protect the thread in Dalvik VM from Java Native Interface (JNI) functions of malicious third-party library using in-process memory isolation based ARM domain
• Implemented inter-process communication using a charater device driver
• Engineered Dalvik VM, Android's linker, page table in kernel to support ARM domain
• Source code in github: FLEXDROID

Presenting SGX-Shield in Intel research lab, Hillsboro, Oregon (2/24/2017)

• SGX-Shield project (See above)

Visiting in Systems Software & Security Lab, Georgia Tech (2016.03 ~ 2016.04)

• Work with prof. Taesoo Kim link and prof. Byoungyoung Lee link
• SGX-Shield project (See above)

Research Internship in Microsoft Research Asia (2011.09 ~ 2012.02)

• Work in Mobile And Sensor System (MASS) group
• Cloud gaming project

Software Engineer Internship in Google Korea (2010.09 ~ 2010.11)

• Work in Blogger team
• Implemented the mobile web BlogSpot