Seong-Heon Jung

I am a first-year PhD student in parallel programming languages at New York University (Courant).

I currently work on space-safe parallel programming: parallel programs that only incur a predictable and bounded memory overhead. Without thoughtful design, parallel programs can undergo a superlinear space blowup, meaning a P processor run may use more than P times the memory of a single-threaded run. This results in higher memory usage of course, and sometimes even worse performance (cache misses, etc.).

I tackle this challenge from both practice and theory.

• Practice: reasoning/profiling tools for analyzing the worst-case space usage of off-the-shelf parallel programs.
• Theory: verifiably space-safe parallel programming primitives such as schedulers and memory allocators.

I am advised by Prof. Sam Westrick. During my undergrad, I was advised by Prof. Nikos Vasilakis at Brown University.

This site is built with a Jekyll theme I published myself, consolo.