Seong-Heon Jung

According to our database, Seong-Heon Jung authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Caruca: Effective and Efficient Specification Mining for Opaque Software Components.

Evangelos Lamprou, Seong-Heon Jung, Mayank Keoliya, Lukas Lazarek, Konstantinos Kallas, Michael Greenberg, Nikos Vasilakis

CoRR, October, 2025

From Ahead-of- to Just-in-Time and Back Again: Static Analysis for Unix Shell Programs.

Lukas Lazarek, Seong-Heon Jung, Evangelos Lamprou, Zekai Li, Anirudh Narsipur, Eric Zhao, Michael Greenberg, Konstantinos Kallas, Konstantinos Mamouras, Nikos Vasilakis

Proceedings of the 2025 Workshop on Hot Topics in Operating Systems, 2025