Jongsok Choi

Engineering Manager at Meta

United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

👤
Senior
🎓
Top School
Jongsok Choi is an engineering manager and ex-startup founder with 8+ years of experience building compiler and FPGA toolchains, currently leading work on the PyTorch Compiler Backend at Meta. He co-founded LegUp Computing, developed a patented LLVM-based HLS compiler that enabled multi-threaded C/C++ to FPGA flows, and successfully exited when Microchip acquired the company and integrated SmartHLS into its product line. At Microchip he scaled cross-functional teams and served as Toronto site director, architecting a unified system-level design environment for RISC-V SoCs and HLS IPs. His background blends deep academic research (PhD work on LegUp at University of Toronto) with hands-on hardware and compiler engineering across Intel, Qualcomm, and other firms. He’s comfortable shipping complex toolchains that bridge software and hardware, and quietly accumulates practical wins—like patentable compiler optimizations and university-community open-source impact—that drive commercial adoption.
code8 years of coding experience
job12 years of employment as a software developer
bookDoctor of Philosophy (Ph.D.) Electrical and Computer Engineering, Doctor of Philosophy (Ph.D.) Electrical and Computer Engineering at University of Toronto
bookB.A.Sc Honours Electrical Engineering, B.A.Sc Honours Electrical Engineering at University of Waterloo
github-logo-circle

Github Skills (8)

stress-testing5
memcached5
benchmark5
benchmarking4
redis4
traffic4
load-testing3
nosql2

Programming languages (1)

C++

Github contributions (2)

github-logo-circle
Contributions:6 commits, 5 pushes in 9 months
RedisLabs/memtier_benchmark

Apr 2018 - Apr 2018

NoSQL Redis and Memcache traffic generation and benchmarking tool.
Contributions:2 comments, 1 issue in 1 day
stress-testingredisbenchmarkingmemcachenosql
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.
Request Free Trial
Jongsok Choi - Engineering Manager at Meta