Contact

📧 sungsoo.han at kaist ac kr

👾 github.com/lomotos10

🏃 Experience

Compiler Engineer

FuriosaAI, South Korea (2023.05 - )

• Currently onboarding, more to come soon!

Master’s Student

Concurrency and Parallelism Laboratory, KAIST, South Korea (2021.03 - 2023.02)

• Co-developer of ShakeFlow - a functional hardware description language embedded in Rust.
  • Implemented the language design and compiler to Verilog from given specifications.
  • Worked on compiler optimizations such as variable caching and dead code elimination.
  • Ported two open-source networking hardware designs to ShakeFlow, and performed Python-based testbenches.

• Stack: Rust (main development), Python, Verilog (testing)

Software Intern

Fine Digital, Pan-gyo, South Korea (2018.09 - 2019.02)

• Researched navigation assistance using deep learning, particularly within mobile Android environments using TensorFlow Mobile.

• Ported outsourced MATLAB code for IMU(inertial measurement unit)-based GPS assistance into C, and created a visual demo on Linux showcasing the performance of the ported code.

• Stack: TensorFlow Mobile, C, MATLAB

Open Source Development

GCM-bot - A Discord bot providing info about SEGA’s various games

• Scrapes information from various open-source APIs, JSON databases, and webpages, then processes & presents it to the user in Discord bot format.

• Uses Rust’s poise crate for back-end support.

🌱 Education

🔧 Skills

💡 Technology

Strong: Rust, Python

Knowledge: C, C++, Verilog, Vivado, Linux, Git

Beginner: Node.js, Express.js, Java

💬 Language

Korean (Native), English (Fluent; TOEIC 980, TEPS 594)

✍️ Publications

(ASPLOS 2023) ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators

Sungsoo Han*, Minseong Jang*, Jeehoon Kang (*: co-first authors in alphabetical order).

The International Conference on Architectural Support for Programming Languages and Operating Systems (to appear).

(KSC 2021) ShakeFlow: A Hardware Description Language with Bidirectional Interface Combinators

Minseong Jang*, Sungsoo Han*, Jeehoon Kang (*: co-first authors in Korean alphabetical order).

Korea Software Congress.

Best Programming Language Paper Award.

✏️ Teaching experience

Teaching Assistant, KAIST CS230: System Programming

2021.03. - 2021.06.

Teaching Assistant, World Friends ICT Volunteers Program

2016.07. - 2016.08.

• Assisted ASTU students in Ethiopia to participate in ACM-ICPC.

• Created problem sets for practice and mock contests. (Stack, DFS, etc.)